Commit graph

21 commits

Author SHA1 Message Date
Folkert
0ad975113c fix Bag import in tests 2021-02-08 23:40:50 +01:00
Folkert
ca04411523 fix tests/more uniq removal 2021-02-07 22:50:33 +01:00
Folkert
d211ca7e61 WIP 2021-02-03 20:21:12 +01:00
Folkert
5ce8e3a9d6 make tests compile 2021-02-02 22:09:29 +01:00
Folkert
728298d15a automatic clippy fixes 2021-01-01 00:05:45 +01:00
Folkert
099584f4ee SendMap -> MutMap in tests 2020-12-26 18:37:30 +01:00
Folkert
bde82c3bb6 add Store constraint that does not report errors 2020-11-12 15:47:56 +01:00
Folkert
09ad286123 remove unused function 2020-10-31 15:29:36 +01:00
Folkert
58467d6515 get tests back up an running 2020-10-30 16:58:53 +01:00
Richard Feldman
5b27e10095 Reproduce empty string parsing bug 2020-08-31 23:13:50 -04:00
Richard Feldman
5643c4b921 wip 2020-07-28 22:57:23 -04:00
Richard Feldman
9f9ce327d4 Lazily validate that input bytes are valid UTF-8 2020-07-27 01:10:04 -04:00
Richard Feldman
269da82840 Make VarStore no longer use atomics 2020-06-13 21:59:01 -04:00
Richard Feldman
4295dec955 Fix load_builtin_aliases ordering 2020-05-26 00:04:59 -04:00
Richard Feldman
c386192e8b Reorganize when solving and constraint gen happen 2020-05-26 00:04:42 -04:00
Richard Feldman
94801f1011 Use expanded stack on load tests 2020-04-05 17:32:06 -04:00
Folkert
106a3646bf add category to Eq constraint 2020-04-01 20:09:10 +02:00
Folkert
14ad793bd7 hook up TypeError 2020-04-01 16:28:10 +02:00
Folkert
21bbfd3c94 Merge remote-tracking branch 'origin/trunk' into use-fewer-variables 2020-03-07 00:53:13 +01:00
Richard Feldman
df4533296b fix some tests 2020-03-06 18:24:37 -05:00
Richard Feldman
a18e023326 Move load to its own crate 2020-03-06 18:24:37 -05:00