105 Commits

Author	SHA1	Message	Date
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
collin	d4eae685a3	fix macros tests	2020-07-30 16:27:31 -07:00
collin	2f983180b7	fix uint tests	2020-07-30 15:41:03 -07:00
collin	1b6a2b55d4	fix inputs tests	2020-07-30 14:38:31 -07:00
collin	4566ac8e03	fix import tests	2020-07-30 13:01:04 -07:00