ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 01:01:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,583 Commits 54 Branches 46 Tags 340 MiB
d933a49eb0
Commit Graph

2583 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
dependabot-preview[bot]
634889de33
Bump anyhow from 1.0.38 to 1.0.39 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.38 to 1.0.39.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.38...1.0.39)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-22 10:34:10 +00: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
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
gluax
b50919085b deprecate let mut, undeprecate const, let is now mutable by default 2021-03-18 15:19:07 -04:00
damirka
2b6f39fd14 added macro for const and main inputs sections 2021-03-18 11:57:25 +03:00
gluax
0e9bff8419
Delete test.report 
Delete debug file
 2021-03-17 18:00:02 -04:00
gluax
e2817f9b8d
Delete HEAD 
Not sure when I accidentally made this
 2021-03-17 17:58:21 -04:00
collin
f1f8b99690 add passing iteration test with loop variable 2021-03-17 12:35:16 -07:00
gluax
dceb8a9744 fix Self inside of circuit giving an error, tests 2021-03-17 14:33:04 -04: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
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