2319 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Collin Chin	94e7509690	Merge pull request #784 from AleoHQ/dead-code-elimination ... Dead code elimination	2021-03-23 16:26:22 -07:00
collin	113ba12959	add tests for dead code elim	2021-03-23 15:49:56 -07:00
collin	99efdf00cb	add comments to asg passes	2021-03-23 15:33:13 -07:00
Collin Chin	46220aa889	Merge pull request #761 from AleoHQ/feature/const-inputs ... [Feature, Compiler] Adds constant inputs	2021-03-23 15:19:44 -07:00
collin	b9d676a404	assign todos	2021-03-23 15:17:31 -07:00
collin	d410d84153	add reduce_statement_alloc comment	2021-03-23 15:04:55 -07:00
collin	3a6ca5018d	edit main input comments	2021-03-23 14:44:16 -07:00
collin	8172d73a71	fix bit not error	2021-03-23 14:38:20 -07:00
collin	68afcadfa4	update error descriptions	2021-03-23 14:36:22 -07:00
collin	ee30ad97cc	modify macro names	2021-03-23 14:28:22 -07:00
collin	f16bb70da9	test pedersen hash constraint numbers	2021-03-23 14:16:51 -07:00
collin	ae9ba51b7d	update pedersen hash example to use constant inputs	2021-03-22 15:24:32 -07:00
Max Bruce	d120e90d6e	Merge branch 'master' into dead-code-elimination	2021-03-22 07:04:38 -07:00
damirka	b5ae4e1ca4	extended errors, added more error cases	2021-03-19 15:15:06 +03:00
Howard Wu	19e40a89a3	Merge pull request #774 from AleoHQ/transparent-keywords ... Transparent keywords	2021-03-18 15:47:06 -07:00
Howard Wu	b5d3d09b17	Merge pull request #776 from AleoHQ/fix/const-loop-range ... Check loop ranges are constant	2021-03-18 15:45:52 -07:00
damirka	2b6f39fd14	added macro for const and main inputs sections	2021-03-18 11:57:25 +03:00
collin	f1f8b99690	add passing iteration test with loop variable	2021-03-17 12:35:16 -07:00
damirka	0eb7b972c7	Merge branch 'master' into feature/const-inputs	2021-03-17 20:54:52 +03:00
damirka	2862549603	removed unwraps	2021-03-17 13:23:58 +03: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
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
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