929 Commits

Author	SHA1	Message	Date
gluax	c78ab699b8	another test	2021-03-25 16:52:43 -04:00
gluax	793cbb9f27	add test for const self, no clippy issues locally	2021-03-25 14:30:06 -04:00
gluax	3efc705a8c	fix tests merged from master	2021-03-25 11:19:42 -04:00
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	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
gluax	0ea4f1e0e3	const_ self as function input properly	2021-03-23 11:49:27 -04:00
collin	ae9ba51b7d	update pedersen hash example to use constant inputs	2021-03-22 15:24:32 -07:00
gluax	2c6a34fea7	test that was failing coverage only existed on master	2021-03-22 11:47:34 -04:00
gluax	ef43230e98	merge master and see if it fixes coverage ci	2021-03-22 11:38:19 -04:00
Max Bruce	d120e90d6e	Merge branch 'master' into dead-code-elimination	2021-03-22 07:04:38 -07:00
gluax	1d9befc0ac	function input mutable by default	2021-03-19 11:30:24 -04:00
damirka	b5ae4e1ca4	extended errors, added more error cases	2021-03-19 15:15:06 +03:00
gluax	b50919085b	deprecate let mut, undeprecate const, let is now mutable by default	2021-03-18 15:19:07 -04: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	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
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	0a324ec817	Fix merge conflict with master	2021-03-15 21:14:04 -07:00
howardwu	284bee6fe8	Update to ToBitsBEGadget, update to snarkVM v0.2.1	2021-03-15 21:02:03 -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	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	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
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
damirka	14d167a725	added tests for constants	2021-03-12 13:56:38 +03:00
damirka	15906bd4d2	updates following @collinc97 review	2021-03-12 12:35:17 +03:00
damirka	8542afe838	added const values processing for tuple and array	2021-03-12 10:21:03 +03:00
damirka	9808b2fa7f	Merge branch 'master' into feature/const-inputs	2021-03-12 10:14:29 +03:00
collin	14063f723b	refactor to use snarkvm evaluatelt and comparator gadgets	2021-03-11 16:44:46 -08:00
collin	522e3b6ea6	refactor to use snarkvm sub gadget	2021-03-11 16:27:06 -08:00