25 Commits

Author	SHA1	Message	Date
ljedrz	b20308f049	chore: update the license headers (#2252) ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2023-02-02 14:27:06 -08:00
Pranav Gaddamadugu	f51a36aeaf	Rename in compiler	2022-09-30 11:52:06 -07:00
Pranav Gaddamadugu	792867406b	Allow records and circuits for core functions	2022-09-18 02:32:35 +02:00
collin	6b7c38cc4d	merge testnet3	2022-08-15 16:10:51 -07:00
collin	a5b6557460	add ped64 ped128 tests	2022-08-15 11:56:17 -07:00
collin	71b7d10efe	uncomment ped64 ped128 code	2022-08-15 11:47:23 -07:00
Pranav Gaddamadugu	dcbdb1bd85	Reintroduce IntegerType	2022-08-09 19:53:17 -07:00
Mazdak Farrokhzad	a77d3b4092	forbid unsafe_code in all crates	2022-08-05 00:36:41 +02:00
collin	eaa04a5f7e	core algorithm tests working	2022-07-28 15:27:43 -07:00
collin	6724d2abe9	remove unused code 1	2022-07-25 14:17:36 -07:00
Pranav Gaddamadugu	641c98b69e	Use refactored types in parsing and tyc	2022-07-11 07:19:00 -07:00
collin	07288e4662	update licenses	2022-07-02 13:47:53 -07:00
collin	4a80445bd8	test hashing u128 with ped64 fails	2022-06-22 21:29:04 -10:00
collin	a79196c945	fix circuit type checking, addresses review comments 2/2	2022-06-21 19:37:23 -07:00
collin	811eaadc98	remove poseidon prfs	2022-06-20 13:06:47 -07:00
collin	52395bba45	fix circuit type checking	2022-06-17 18:32:49 -07:00
collin	5a0186b93d	cargo fmt	2022-06-17 15:42:09 -07:00
collin	26810a15ae	impl bhp, pedersen, poseidon instructions	2022-06-17 15:37:48 -07:00
collin	d527a88a3a	impl core circuit instructions	2022-06-17 11:17:46 -07:00
collin	b9f8bafc91	pull latest testnet3	2022-06-15 16:52:49 -07:00
collin	26f04e2eaf	core circuit wip	2022-06-15 16:50:21 -07:00
collin	9797175f16	remove method call expr and type checking	2022-06-09 13:07:30 -07:00
collin	df08cd1e26	order dependencies	2022-06-08 14:47:34 -07:00
collin	5dba9cf07f	impl method call type checking	2022-06-08 14:44:08 -07:00
collin	85eb1adcce	rename corelib -> core, update readme	2022-06-02 11:22:08 -04:00