118 Commits

Author	SHA1	Message	Date
damirka	17744f7f7d	removes import tests, fix ci, add constraint number check, more tests	2021-05-13 16:56:17 +03:00
damirka	e2492ba9e4	more constraints checks	2021-05-12 20:47:03 +03:00
damirka	6138f8e719	removed old compiler tests	2021-05-12 19:39:27 +03:00
Protryon	534f36a077	compiler tests	2021-04-19 18:08:14 -07:00
gluax	dceb8a9744	fix Self inside of circuit giving an error, tests	2021-03-17 14:33:04 -04:00
ljedrz	25458835dc	clippy: fix 1.50 lints ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-03-11 14:12:43 +01:00
howardwu	2e7b542b8b	Format and clean up, enable default on snarkvm_algorithms	2021-03-04 11:09:24 -08:00
howardwu	24f5b168aa	Updates r1cs traits	2021-03-04 10:45:37 -08:00
howardwu	4f50b44a63	itemize imports	2021-03-04 10:33:51 -08:00
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