ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,256 Commits 53 Branches 44 Tags 331 MiB
b8780e888d
Commit Graph

129 Commits

Author SHA1 Message Date
collin
b8780e888d merge testnet3 2022-05-20 10:39:21 -04:00
Collin Chin
416d8d5ad9
fix nit 2022-05-17 11:36:04 -04:00
Alessandro Coglio
1761b80578 [parser] Fix to disallow including loop ending bound. 
This is not part of the current version of Leo (cf. ABNF grammar and Leo
Reference).

Adapt tests.
 2022-05-16 21:24:42 -07:00
0rphon
38fa7a9608 added more tests/generated expectations for the ones that pass 2022-05-15 21:53:28 -07:00
0rphon
92cac97a84 added scalar tests 2022-05-14 20:27:08 -07:00
collin
f6aa7a578a merge testnet3 2022-05-13 12:33:35 -07:00
Collin Chin
f4e241efad
Merge pull request #1815 from AleoHQ/int-pow-tests 
[tests] make integer pow tests consistent
 2022-05-13 09:44:52 -07:00
Eric McCarthy
e3c3b6d79a [tests] make integer pow tests consistent 2022-05-12 23:20:35 -07:00
Eric McCarthy
b08ab82cbc [tests] fix (x,y)group test 2022-05-12 10:41:57 -07:00
Eric McCarthy
06cb450593 [tests] add block comment annotation to field/sub.leo and field/ternary.leo and add expectations files 2022-05-10 13:38:41 -07:00
gluax
b79b961610 make new tests 2022-05-05 15:44:33 -07:00
gluax
d33e69bac8 re-introduce some disabled tests, fix some 2022-05-05 15:38:55 -07:00
gluax
b97bf4c9bc started going through deprecated tests, noticed parts of testframework were broken 2022-05-04 15:37:59 -07:00
gluax
2c252f7878 all current compiler tests pass, need to add more 2022-05-04 13:37:53 -07:00
gluax
18bd03318f use input_file for each, as now inline input content is ignored 2022-05-02 20:34:37 -07:00
gluax
a7c3696e90 merge testnet3 into required types, also remove identifier type 2022-05-02 19:43:46 -07:00
gluax
5108cab460 most compiler tests passing 2022-04-27 12:04:45 -07:00
gluax
8c86407b91 cleaning up tests, fixed compiler bug, found input parse bug 2022-04-27 11:44:05 -07:00
collin
1f7b1b57cc remove unsized array tests 2022-03-04 12:27:17 -08:00
collin
22b16a0bcb regenerate all tests 2022-01-25 16:17:36 -08:00
collin
31f90a9032 deprecate blake2s 2022-01-25 13:31:02 -08:00
damirka
a1aa5326ad fixes eq for arrays with unspecified size 2021-09-28 11:09:56 +03:00
Alessandro Coglio
a5f74195cf
Merge pull request #1333 from AleoHQ/array-len-function 
[Feature] Adds .len() postfix to arrays
 2021-09-15 10:10:32 -07:00
damirka
4f41f09ef2 Merge branch 'master' into array-len-function 2021-09-13 14:26:38 +03:00
damirka
158576f8f5 changed length() to len() 2021-09-10 16:55:32 +03:00
gluaxspeed
c1e9c72d2a merge master and resolve conflicts 2021-09-10 06:53:47 -07:00
damirka
093517109b renaming, now .length() 2021-09-10 16:11:55 +03:00
gluaxspeed
64e88404d2 prelude stuff auto included 2021-09-10 05:55:07 -07:00
gluaxspeed
a9c81d6596 fix canoncialization of function inputs 2021-09-08 04:18:11 -07:00
gluaxspeed
2e51e81be1 mere conflicts, try to fix duplicate definition fail test 2021-09-07 02:05:15 -07:00
gluaxspeed
dac71a8001 Merge branch 'master' of github.com:AleoHQ/leo into bug/shadowing-fixes 2021-09-07 01:57:39 -07:00
gluaxspeed
589c0623f2 resolve conflicts 2021-09-06 23:04:26 -07:00
gluaxspeed
dcdb234637 fix imported circuit return from function in import 2021-09-06 06:12:58 -07:00
gluaxspeed
cfb8720af7 fix scope shadowing, and importing global consts 2021-09-06 03:53:02 -07:00
damirka
041faa28db adds tests 2021-09-02 15:53:54 +03:00
gluaxspeed
8827bcdf05 add a inputfile so possible no constraints error doesn't happen 2021-08-27 22:08:48 -07:00
gluaxspeed
a059e09ae2 merge master 2021-08-27 09:46:24 -07:00
gluaxspeed
a4652829df update conflicting tests 2021-08-27 04:50:42 -07:00
gluaxspeed
c56a54c62e Merge branch 'master' of github.com:AleoHQ/leo into bug/canonicalization-Self-fixes 2021-08-27 04:40:06 -07:00
Eric McCarthy
d7a948a5bd merge 2021-08-26 20:09:27 -07:00
Alessandro Coglio
062994e4fe
Merge pull request #1284 from AleoHQ/dup-in32-patch-1 
Update nonprinting.leo
 2021-08-26 19:55:54 -07:00
gluaxspeed
a5b6780c3b big self canonicalization fixes 2021-08-25 08:55:26 -07:00
gluaxspeed
d100db7396 aliases tests, and some bug fixes, errors 2021-08-25 07:30:17 -07:00
damirka
034ef90e62 Revert "Squashed commit of the following:" 
This reverts commit dfa15b1a4f.
 2021-08-24 22:27:37 +03:00
damirka
dfa15b1a4f Squashed commit of the following: 
commit 7a5979660b
Merge: 695a949c 88bd065d
Author: Alessandro Coglio <acoglio@aleo.org>
Date:   Mon Aug 23 08:50:41 2021 -0700

    Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type

    [Implmentation] Adds Type to Circuit Member Access Expressions

commit 695a949cff
Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Date:   Mon Aug 23 17:25:19 2021 +0300

    Bump serde from 1.0.127 to 1.0.128 (#1288)

    Bumps [serde](https://github.com/serde-rs/serde) from 1.0.127 to 1.0.128.
    - [Release notes](https://github.com/serde-rs/serde/releases)
    - [Commits](https://github.com/serde-rs/serde/compare/v1.0.127...v1.0.128)

    ---
    updated-dependencies:
    - dependency-name: serde
      dependency-type: direct:production
      update-type: version-update:semver-patch
    ...

    Signed-off-by: dependabot[bot] <support@github.com>

    Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

commit fd3d7d0624
Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Date:   Mon Aug 23 17:25:05 2021 +0300

    Bump serde_yaml from 0.8.18 to 0.8.19 (#1289)

    Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.18 to 0.8.19.
    - [Release notes](https://github.com/dtolnay/serde-yaml/releases)
    - [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.18...0.8.19)

    ---
    updated-dependencies:
    - dependency-name: serde_yaml
      dependency-type: direct:production
      update-type: version-update:semver-patch
    ...

    Signed-off-by: dependabot[bot] <support@github.com>

    Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

commit 84e972c9ad
Merge: d609bb28 fbc3dfb4
Author: Alessandro Coglio <acoglio@aleo.org>
Date:   Sat Aug 21 18:44:39 2021 -0700

    Merge pull request #1267 from AleoHQ/bug/implicit-ternary-type-inference

    [Bugfix] Ternary Implicit and Explicit Unkown Type

commit 88bd065d8a
Merge: 56c66fa4 235daa9e
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 16:25:23 2021 -0700

    merge master, regen tests

commit fbc3dfb4c9
Merge: 56996f98 235daa9e
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 16:14:14 2021 -0700

    merge master, regen tests

commit 56c66fa4ba
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 14:31:06 2021 -0700

    testing and clean up

commit a91c8b9e6a
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 13:38:50 2021 -0700

    Revert "type on call expression"

    This reverts commit cf5a23b38f.

commit cf5a23b38f
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 02:04:41 2021 -0700

    type on call expression

commit 56996f989e
Author: gluaxspeed <jonathan.t.pavlik@gmail.com>
Date:   Wed Aug 18 01:09:45 2021 -0700

    fix ternary bug
 2021-08-24 22:21:40 +03:00
gluaxspeed
1576f776f3 resolve master conflicts 2021-08-24 03:00:08 -07:00
Eric McCarthy
26cbb3ffcf
Update circuit.leo 
Change the 2nd variable named `character` in scope to be `character2`.
 2021-08-21 22:08:46 -07:00
Eric McCarthy
76cb8f6ed7
Update nonprinting.leo 
Change duplicate 'in32' to 'in33'
 2021-08-21 17:53:34 -07:00
gluaxspeed
4fc6c5f586 core function imports 2021-08-18 18:52:56 -07:00
gluaxspeed
fbc3dfb4c9 merge master, regen tests 2021-08-18 16:14:14 -07:00