Commit Graph

109 Commits

Author SHA1 Message Date
Protryon
ed8d2fb11d remove uuid dependency 2021-02-25 07:40:47 -08:00
Protryon
bf61820115 asg refactor 2021-02-16 13:32:34 -08:00
howardwu
fb7a9f4a18 Simplify compiler calls 2021-02-04 17:26:29 -08:00
Protryon
80d5c87b8a asg 2021-02-02 11:08:56 -08:00
howardwu
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
howardwu
2d64515763 Migrate to snarkVM 2020-12-30 12:40:45 -04:00
collin
ca36d06022 undeprecate parse_program_from_string and add test 2020-12-11 13:31:13 -05:00
collin
674caf5902 use include_str in all program tests 2020-12-04 15:34:51 -05:00
collin
7976c739e9 use include_str in program input + state tests 2020-12-04 15:20:59 -05:00
collin
675937ba13 use include_str in program input tests 2020-12-04 12:57:08 -05:00
collin
b2246f1151 use include_str in program state tests 2020-12-04 12:51:39 -05:00
collin
69a8b61efe add type-inference module 2020-11-12 10:28:24 -08:00
collin
667392237f add symbol-table module 2020-11-11 14:57:39 -08:00
collin
d4b6a6d1f8 separate symbol-table module 2020-11-11 14:42:57 -08:00
collin
eb301d310b separate type-inference module 2020-11-11 14:32:46 -08:00
collin
a8c5885836 rename core-ast -> ast 2020-10-30 17:31:09 -07:00
collin
7589fa65c5 rename dynamic-check -> type-inference 2 2020-10-30 12:49:01 -07:00
collin
7e7d1e58a0 rename typed -> core-ast 2 2020-10-30 11:48:40 -07:00
collin
b5a05be09d rename static-check -> symbol-table 2 2020-10-30 10:44:44 -07:00
Collin Chin
1a39ae93ca
Use matches macro 2020-10-27 10:06:50 -07:00
collin
46f585e2ff refactor compiler methods 2020-10-27 00:31:36 -07:00
collin
fe79cfcf71 merge master 2020-10-26 22:05:03 -07:00
collin
9bae1037f7 fix core package tests 2020-10-26 12:55:00 -07:00
collin
f2a808cbe7 impl membership type assertion error handling 2020-10-23 17:31:41 -07:00
ljedrz
4591a0eb04 refactor: use &Path instead of (&)PathBuf in tests 2020-10-16 17:23:22 +02:00
ljedrz
98baae93c1 clippy: assorted fixes to tests and benches
Signed-off-by: ljedrz <ljedrz@gmail.com>
2020-10-06 15:09:03 +02:00
collin
38d7397c2c add unit and integration tests for core unstable blake2s circuit 2020-09-16 13:41:50 -07:00
collin
60db15596d fix parser syntax errors. fix tests 2020-09-02 23:23:50 -07:00
collin
f675e895f5 merge master 2020-08-18 11:22:56 -07:00
raychu86
ae10a78eb5 Add license header 2020-08-18 03:50:26 -07:00
collin
3f49eb0e3f comment out group and field tests 2020-08-16 19:52:33 -07:00
collin
e58a5f4e0e clean up 2020-08-16 19:45:35 -07:00
collin
4533915438 support conditional console functions 2020-08-16 16:10:07 -07:00
collin
24df4ae57a allow integers. do not allow field or group equality or comparison 2020-08-13 12:11:56 -07:00
collin
a0195c3180 add tuple tests 2020-08-10 19:40:49 -07:00
collin
9c7e14cf4d comment out integer tests 2020-08-10 14:46:36 -07:00
collin
168561f340 comment out integers 2020-08-08 02:17:20 -07:00
collin
3d1edefedb add definition parsing to typed. add tests 2020-08-05 22:45:52 -07:00
collin
1fd3e946f8 use compound atomic rules in pest, update tests 2020-08-05 18:13:50 -07:00
howardwu
f40ba91784 Rename types -> typed 2020-08-02 20:56:22 -07:00
howardwu
8410e68fb6 Resolve merge of tests 2020-08-02 19:01:15 -07:00
howardwu
5375d97b40 Resolve merge conflict 2020-08-02 18:51:44 -07:00
howardwu
2d1b93e5f8 Merge with master 2020-08-02 17:24:31 -07:00
collin
3d35fb026b outputs -> output 2020-07-31 21:15:33 -07:00
collin
070fa0edea fix all tests 2020-07-31 20:59:50 -07:00
collin
fb45ac7498 rename inputs -> input 2020-07-31 19:39:30 -07:00
collin
02833b80e0 add .in and .state tests 2020-07-30 18:17:55 -07:00
collin
e62a2a066a fix syntax tests 2020-07-30 17:19:10 -07:00
collin
6eb9ef41c3 fix statement tests 2020-07-30 17:11:58 -07:00
collin
f334ba646d fix mutability tests 2020-07-30 16:37:01 -07:00