ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-14 02:44:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,159 Commits 49 Branches 43 Tags 377 MiB
187f738811
Commit Graph

74 Commits

Author SHA1 Message Date
howardwu
4f50b44a63 itemize imports 2021-03-04 10:33:51 -08:00
bors[bot]
4253ac9133
Merge #674 
674: implicit value at start of array failing fix r=collinc97 a=gluax

Resolves #607.

Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
 2021-03-01 23:57:43 +00:00
howardwu
77a0af18fe chore(leo): bump version for new release 2021-02-26 19:42:35 -08:00
François Garillot
0d7c6d0b65
Simplifies a number of pattern-matches 
Into the direct `Result` / `Option` combinator they correspond to, for concision / clarity.

Reviewed from automated suggestions generated from [comby-rust](https://github.com/huitseeker/comby-rust).
 2021-02-26 13:03:04 -08:00
gluax
c7bcab3ccc merge master, slight clean up 2021-02-26 10:36:10 -05:00
Protryon
ed8d2fb11d remove uuid dependency 2021-02-25 07:40:47 -08:00
howardwu
2e00ff451e Rename all instances of 'ctx' to 'context' 2021-02-24 18:13:36 -08:00
gluax
34b8e766ac merge master and resolve bors failing test 2021-02-18 11:50:13 -05:00
Collin Chin
9baa9388a0
Merge branch 'master' into feature/515-eliminate-const-vars 2021-02-17 22:06:12 -08:00
Protryon
cc82fc7722 fix conflict 2021-02-17 08:38:14 -08:00
gluax
e0fdb73435 forgot to push fmted code 2021-02-17 11:33:54 -05:00
gluax
317fc08fc5 implicit value at start of array failing fix 2021-02-17 11:27:33 -05:00
gluax
b96dc782f9 add a test to check const statements fail 2021-02-17 09:06:30 -05:00
Protryon
91795af973 format 2021-02-16 13:33:21 -08:00
Protryon
8b8937c5be clippy 2021-02-16 13:33:05 -08:00
Protryon
bf61820115 asg refactor 2021-02-16 13:32:34 -08:00
gluax
f952da330c re-add syntax in, then add deprecation warning for it 2021-02-16 15:33:31 -05:00
gluax
d549fda7b5 rebase and replace const keyword in tests 2021-02-16 14:19:20 -05:00
gluax
42bea9e93a Merge branch 'master' of github.com:AleoHQ/leo into feature/515-eliminate-const-vars 2021-02-16 14:02:49 -05:00
bors[bot]
217ecca4d6
Merge #655 
655: Fix circuit resolution r=collinc97 a=Protryon

Fixes #642. Issues was that we didn't properly recursively resolve circuits when converting AST types -> ASG types

Co-authored-by: Protryon <max.bruce12@gmail.com>
 2021-02-12 04:54:15 +00:00
Protryon
b0de29e275 fix circuit resolution 2021-02-11 11:59:14 -08:00
Protryon
198230d604 fix field/group addition 2021-02-11 09:05:43 -08:00
Collin Chin
20a046bbbb
Merge pull request #643 from AleoHQ/feat/readme_license 
Adds READMEs and LICENSEs to each Leo workspace member
 2021-02-11 00:58:22 -08:00
bors[bot]
b72b5ac125
Merge #620 
620: Feature/254 strengthen import rules r=collinc97 a=gluax

Grammar changes are a bit different than what was suggested in the original feature request #254. However, it should be logically equivalent and I think makes more sense on the rust side.

Closes #254 

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
 2021-02-11 07:31:56 +00:00
howardwu
777a67fb40 Adds README.md 2021-02-10 22:27:37 -08:00
howardwu
55db999a9e Adds LICENSE.md 2021-02-10 22:23:45 -08:00
gluaxspeed
d211d729d1 refactor pacakge_type -> package_or_packages 2021-02-09 10:57:37 -05:00
gluaxspeed
f1bf6c90eb remove const keyword 2021-02-08 10:34:33 -05:00
howardwu
1898cc6840 chore(leo): bump version for new release 2021-02-07 08:14:56 -08:00
gluaxspeed
26f9973e14 resolve merge conflict, asg + grammar tests 2021-02-05 14:20:48 -05:00
gluaxspeed
6aea561a52 forgot to push fix for Multiple enum resolve 2021-02-05 11:40:56 -05:00
Collin Chin
770f660f3a
Merge pull request #617 from AleoHQ/const-args 
[Feature] Const Function Arguments
 2021-02-04 23:05:51 -08:00
Collin Chin
a239e17bb6
Merge pull request #622 from AleoHQ/refactor/compiler 
Adds ASG struct, updates ASG to support debug
 2021-02-04 22:52:40 -08:00
howardwu
79ce27b861 Fix clippy 2021-02-04 19:34:19 -08:00
howardwu
1b99c42470 Adds ASG struct, updates ASG to support debug 2021-02-04 19:21:17 -08:00
howardwu
f80c3d236a Renames InnerProgram to InternalProgram 2021-02-04 17:31:44 -08:00
Howard Wu
fd5ce2f393
Merge pull request #585 from AleoHQ/feature/228-implied-circuit-name 
[Feature] 228 implied circuit name
 2021-02-04 14:28:14 -08:00
gluaxspeed
6ba556ceda fixed imports, but with different syntax that should be logical equivalent 2021-02-04 14:52:57 -05:00
Collin Chin
bd2bd1f40f
Merge pull request #619 from AleoHQ/implicit-groups 
[Feature] Implicit groups
 2021-02-04 09:03:04 -08:00
Protryon
431aca1f81 implicit groups 2021-02-04 07:57:04 -08:00
Protryon
81e758466d clippy 2021-02-04 07:40:52 -08:00
Protryon
9c6eb23a1e const func arguments 2021-02-04 07:35:12 -08:00
collin
ebfc888e00 remove double license headers in files 2021-02-03 15:03:49 -08:00
howardwu
90fc6a9c12 chore(leo): bump version for new release 2021-02-03 13:34:03 -08:00
howardwu
0d907bbb26 chore(leo): bump version for new release 2021-02-03 12:36:17 -08:00
gluaxspeed
cd5811dfd6 merge asg/master, clean up ast implied circuit var 2021-02-03 10:26:08 -05:00
howardwu
cbd45e56d7 Resolves unknown clippy flags 2021-02-01 20:39:01 -08:00
howardwu
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
collin
aa01421bdf resolve todos 2021-02-01 11:42:34 -08:00
collin
ebe730b387 merge asg-asg 2021-02-01 09:05:28 -08:00