2278 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
damirka	60519275c9	added test for non const input as const	2021-03-16 23:18:10 +03: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
Howard Wu	3f78874d25	Merge pull request #775 from AleoHQ/refactor/gadget-int ... Refactor Int gadgets	2021-03-15 21:12:50 -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
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	8e6b9f0fdd	remove old sign extend files	2021-03-11 17:11:59 -08:00
collin	c541183f42	refactor to use snarkvm sign extend gadget	2021-03-11 17:11:19 -08:00
collin	5d16f70c96	Merge branch 'refactor/gadget-sub' of https://github.com/AleoHQ/leo into refactor/gadget-comparator	2021-03-11 17:00:43 -08:00
collin	a255cbd018	remove unused dependency from benchmark	2021-03-11 17:00:15 -08:00
collin	514afc0cea	Merge branch 'refactor/gadget-sub' of https://github.com/AleoHQ/leo into refactor/gadget-comparator	2021-03-11 16:51:27 -08:00
collin	7f3916e679	remove unused dependencies from tests	2021-03-11 16:50:56 -08:00
collin	34c2d24bf1	remove old comparator files	2021-03-11 16:46:29 -08:00
collin	14063f723b	refactor to use snarkvm evaluatelt and comparator gadgets	2021-03-11 16:44:46 -08:00
collin	e7745bad80	remove old sub and arithmetic gadget files	2021-03-11 16:28:22 -08:00
collin	522e3b6ea6	refactor to use snarkvm sub gadget	2021-03-11 16:27:06 -08:00
collin	a3a91676bb	remove unused dependencies	2021-03-11 16:22:24 -08:00
collin	284ef310de	remove unused neg dependency	2021-03-11 16:21:27 -08:00
collin	b5ae6dee64	remove old pow gadget files	2021-03-11 16:19:20 -08:00
collin	adce376675	refactor to use snarkvm pow gadget	2021-03-11 16:18:00 -08:00
collin	fd41c70250	remove old neg gadget files	2021-03-11 16:13:21 -08:00
collin	faacfbc97e	refactor to use snarkvm neg gadget	2021-03-11 16:12:33 -08:00
collin	c02b281ed0	remove old mul gadget files	2021-03-11 16:03:20 -08:00
collin	d4b8bbbe50	refactor to use snarkvm mul gadget	2021-03-11 16:02:28 -08:00
collin	e9e8fae279	remove old div gadget files	2021-03-11 15:55:23 -08:00
collin	11ddb1f761	refactor to use snarkvm div gadget	2021-03-11 15:54:55 -08:00
collin	4e26ca5a40	fix integer_arithmetic benchmark	2021-03-11 15:40:03 -08:00
Collin Chin	6d378c37e6	Merge pull request #760 from ljedrz/clippy_lints ... clippy: 1.50 lints	2021-03-11 15:20:53 -08:00
Collin Chin	88db9455c5	Merge pull request #759 from ljedrz/simplify_circuit_synthesizer ... introduce a helper ConstraintSet object	2021-03-11 15:20:40 -08:00
Collin Chin	8333f61e75	Merge pull request #740 from AleoHQ/constant-folding ... Constant Folding	2021-03-11 15:20:22 -08:00
collin	55965e48bb	remove add trait file	2021-03-11 14:53:01 -08:00
collin	8cbce25b5f	fix pedersen hash example	2021-03-11 14:51:54 -08:00
collin	deb3847b8e	remove add trait and uint impls	2021-03-11 14:47:34 -08:00
damirka	344d7886ea	change grouping in imports	2021-03-11 23:10:05 +03:00
damirka	1551a82e18	Adds [constants] section to input file: ... ``` [constants] x: bool = true; // will be constant in program y: u32 = 100; ```	2021-03-11 23:07:01 +03:00
damirka	47e4d23ab1	staging commit with const input syntax and constants processing	2021-03-11 19:05:08 +03:00
ljedrz	25458835dc	clippy: fix 1.50 lints ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-03-11 14:12:43 +01:00