25 Commits

Author	SHA1	Message	Date
gluax	b50919085b	deprecate let mut, undeprecate const, let is now mutable by default	2021-03-18 15:19:07 -04:00
howardwu	2e7b542b8b	Format and clean up, enable default on snarkvm_algorithms	2021-03-04 11:09:24 -08:00
howardwu	1735038dee	Update algorithms, curves, and gadget traits	2021-03-04 11:02:31 -08:00
howardwu	4f50b44a63	itemize imports	2021-03-04 10:33:51 -08:00
howardwu	be398437c6	Updates snarkVM to 0.0.5, updates rand usage	2021-02-25 08:56:20 -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	2352ebaf2c	rename all bytes variables to string	2020-12-04 15:48:43 -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	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	04f4e685ed	array type refactor finished. all tests pass	2020-11-10 13:22:18 -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	b3c140d5bb	fix array function input bug	2020-10-26 13:14:36 -07:00
collin	9bae1037f7	fix core package tests	2020-10-26 12:55:00 -07:00
collin	a76f4f6767	fix test	2020-09-18 12:57:44 -07:00
collin	733561cc93	remove unused test dependencies	2020-09-16 13:45:53 -07:00
collin	38d7397c2c	add unit and integration tests for core unstable blake2s circuit	2020-09-16 13:41:50 -07:00