2519 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
damirka	2862549603	removed unwraps	2021-03-17 13:23:58 +03:00
gluax	e9bc1159ff	merge master and fix last bug	2021-03-16 17:28:59 -04:00
gluax	6ffcb48822	asg now handles Circuit name in Circuit name, some bug fixes	2021-03-16 16:49:18 -04:00
damirka	60519275c9	added test for non const input as const	2021-03-16 23:18:10 +03:00
collin	0a28945262	Merge branch 'master' of https://github.com/AleoHQ/leo into dead-code-elimination	2021-03-16 12:19:01 -07:00
collin	71618f8aec	Merge branch 'master' of https://github.com/AleoHQ/leo into transparent-keywords	2021-03-16 12:18:34 -07:00
collin	078f0b4351	Merge branch 'master' of https://github.com/AleoHQ/leo into fix/const-loop-range	2021-03-16 12:18:15 -07:00
damirka	8c228cc6b7	forced const inputs for const variables	2021-03-16 20:37:27 +03:00
gluax	b83d6e9b05	error fixes, Self replacements extended	2021-03-16 13:15:10 -04:00
Collin Chin	039c295b20	Merge pull request #791 from AleoHQ/feat/circleci ... Switch test infrastructure to CircleCI	2021-03-16 08:28:59 -07:00
damirka	037851e703	Merge branch 'master' into feature/const-inputs	2021-03-16 16:34:29 +03:00
damirka	40f4b1cb65	covered type mismatch in constant inputs	2021-03-16 16:32:55 +03:00
howardwu	d78692b4dd	Clean up	2021-03-15 23:15:03 -07:00
howardwu	7259dbabb3	Revert codecov	2021-03-15 22:53:26 -07:00
howardwu	5325a38643	Update kcov	2021-03-15 21:44:26 -07:00
howardwu	0a324ec817	Fix merge conflict with master	2021-03-15 21:14:04 -07:00
Howard Wu	3f78874d25	Merge pull request #775 from AleoHQ/refactor/gadget-int ... Refactor Int gadgets	2021-03-15 21:12:50 -07:00
howardwu	284bee6fe8	Update to ToBitsBEGadget, update to snarkVM v0.2.1	2021-03-15 21:02:03 -07:00
howardwu	05fa6402a4	Update leo executable cache	2021-03-15 20:44:37 -07:00
howardwu	f9ccffdccb	Fix description in circleci	2021-03-15 20:41:04 -07:00
howardwu	cf315f4ed6	Switch test infrastructure to CircleCI	2021-03-15 20:34:37 -07:00
damirka	a516f36e4f	remove pub visibility in program_input	2021-03-16 00:50:04 +03:00
damirka	2508ec7ef1	array dimensions check added, const tuples added	2021-03-15 22:58:34 +03:00
gluax	7d2a71c668	Merge master	2021-03-15 13:52:51 -04:00
gluax	ac13542638	Proper Errors	2021-03-15 13:37:23 -04:00
damirka	258255102a	expect fail in mismatch	2021-03-15 17:09:50 +03:00
damirka	229141a06e	Merge branch 'master' into feature/const-inputs	2021-03-15 16:45:30 +03:00
damirka	234eabd81c	fixes comments	2021-03-15 16:32:43 +03:00
damirka	b58db80005	updates after @collinc97 comments	2021-03-15 16:29:45 +03:00
Protryon	5f79a261e7	add cond_mut test	2021-03-13 07:02:18 -08:00
Protryon	ba9444ecc4	dead code elimination pass	2021-03-13 06:58:09 -08:00
Collin Chin	1c15fb5eff	formatting 2	2021-03-12 21:13:17 -08:00
Collin Chin	45316e90d9	formatting	2021-03-12 21:02:38 -08:00
Collin Chin	712d2fbd02	add test for non-constant loop ranges	2021-03-12 20:39:58 -08:00
Collin Chin	6ce003fd6c	fix program parsing formatted errors	2021-03-12 20:35:34 -08:00
Collin Chin	0aa71ed3f9	Add consty checks. Closes #749.	2021-03-12 19:14:31 -08:00
gluax	3a1c29e3b2	ready to return real errors, fixed Self outside circuit bugs	2021-03-12 20:41:49 -05:00
gluax	88166a64f9	error on Self outside of cicuits	2021-03-12 18:29:53 -05:00
collin	e369cb7049	remove leo-gadgets crate	2021-03-12 15:08:44 -08:00
collin	6962e1c2e1	refactor to use snarkvm int16 int32 int64 int128 gadgets	2021-03-12 15:03:22 -08:00
collin	bec4a15c12	refactor to use snarkvm int8 gadget	2021-03-12 14:23:41 -08:00
gluax	04f62cdd8c	missing function output types	2021-03-12 16:59:08 -05:00
gluax	02e5f57eed	compound assignments	2021-03-12 16:47:57 -05:00
gluax	4185f6f6d2	array types and expressions expanded	2021-03-12 16:19:07 -05:00
Collin Chin	1fbd337fec	Merge pull request #773 from AleoHQ/refactor/gadget-sign-extend ... Refactor sign extend gadget	2021-03-12 11:48:02 -08:00
gluax	e302f839ed	fix spelling	2021-03-12 14:34:20 -05:00
gluax	250c8ce5ec	reducer clean up	2021-03-12 14:32:20 -05:00
Protryon	0c72e3e264	ident -> identifier	2021-03-12 10:40:05 -08:00
Protryon	344f6a2d8e	transparent keywords	2021-03-12 04:29:25 -08:00
damirka	14d167a725	added tests for constants	2021-03-12 13:56:38 +03:00