ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-13 06:43:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,105 Commits 49 Branches 43 Tags 377 MiB
9a609991e4
Commit Graph

24 Commits

Author SHA1 Message Date
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
b96dc782f9 add a test to check const statements fail 2021-02-17 09:06:30 -05:00
Protryon
bf61820115 asg refactor 2021-02-16 13:32:34 -08:00
gluax
d549fda7b5 rebase and replace const keyword in tests 2021-02-16 14:19:20 -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
gluaxspeed
26f9973e14 resolve merge conflict, asg + grammar tests 2021-02-05 14:20:48 -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
howardwu
1b99c42470 Adds ASG struct, updates ASG to support debug 2021-02-04 19:21:17 -08: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
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
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
collin
ebe730b387 merge asg-asg 2021-02-01 09:05:28 -08:00
Protryon
a042e9f2df ignore swap test 2021-02-01 08:57:02 -08:00
collin
d033abf15a use @test annotation 2021-02-01 08:34:08 -08:00
Protryon
7c216bd07d fix integer contextual inference 2021-01-25 11:01:28 -08:00
Protryon
2bd3a194fb allow non-u32 in various const places 2021-01-25 10:29:23 -08:00
Protryon
ddfffd7c7b asg base implementation 2021-01-25 07:19:38 -08:00