AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-19 15:41:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,581 Commits 54 Branches 46 Tags 340 MiB
242e34279d
Commit Graph

3581 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
damirka
31786a9180 try acl2 version v0.1.1 2021-08-24 21:57:50 +03:00
gluaxspeed
1576f776f3 resolve master conflicts 2021-08-24 03:00:08 -07:00
gluaxspeed
4d89d122d5 turn back to identifiers, looked into inlining imports in asg 2021-08-24 02:39:09 -07:00
Alessandro Coglio
378599afba [RFC] Add more proposed mods to ABNF grammar. 2021-08-23 14:39:59 -07:00
Alessandro Coglio
b2cce0e140 [RFC] Avoid repeated word. 2021-08-23 14:25:15 -07:00
Eric McCarthy
d8c89f257d also update number of private variables and R1CS checksum expectations 2021-08-23 10:41:39 -07:00
Eric McCarthy
b516a8449d update ast checksum expectations 2021-08-23 10:32:21 -07:00
Eric McCarthy
2abc553d02 update ast checksum expectations 2021-08-23 10:26:06 -07:00
Alessandro Coglio
7a5979660b
Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type 
[Implmentation] Adds Type to Circuit Member Access Expressions
 2021-08-23 08:50:41 -07:00
dependabot[bot]
695a949cff
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>
 2021-08-23 17:25:19 +03:00
dependabot[bot]
fd3d7d0624
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>
 2021-08-23 17:25:05 +03: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
Alessandro Coglio
84e972c9ad
Merge pull request #1267 from AleoHQ/bug/implicit-ternary-type-inference 
[Bugfix] Ternary Implicit and Explicit Unkown Type
 2021-08-21 18:44:39 -07:00
Eric McCarthy
76cb8f6ed7
Update nonprinting.leo 
Change duplicate 'in32' to 'in33'
 2021-08-21 17:53:34 -07:00
Alessandro Coglio
d609bb28d1
Merge pull request #1260 from AleoHQ/feature-tgc-ci 
[CI] ACL2 tgc CI
 2021-08-21 11:23:53 -07:00
damirka
63ac4b79a3 update implementation, follow recent changes in imports 2021-08-21 21:04:58 +03:00
damirka
c4fcccd33e Merge branch 'master' into feature-tgc-ci 2021-08-21 21:00:51 +03:00
damirka
05d04e2a43 disable type inference checks 2021-08-21 20:56:08 +03:00
Alessandro Coglio
92351d0fb3
Merge pull request #1119 from AleoHQ/leo-manifest-dependencies 
[Feature] Imports Stabilization
 2021-08-20 09:30:36 -07:00
damirka
9389e4f6ec improved directory naming and skip pattern now allows multiple 2021-08-19 20:50:48 +03:00
damirka
5453225b5d fix bash variables 2021-08-19 20:28:43 +03:00
damirka
529c06623b fix logging, print list of failures first 2021-08-19 20:21:59 +03:00
damirka
cddc0d62b1 skip access_all test 2021-08-19 20:10:15 +03:00
gluaxspeed
93509bf5c1 alias node type 2021-08-19 09:16:50 -07:00
Alessandro Coglio
b3bcf1c6cf
Merge pull request #1270 from AleoHQ/feature-clean-ast-snapshots 
[Feature] Removes AST snapshots on leo clean
 2021-08-19 09:07:30 -07:00
damirka
a04249976e Merge branch 'master' into leo-manifest-dependencies 2021-08-19 18:04:05 +03:00
damirka
79fb41eac4 fmt 2021-08-19 17:03:12 +03:00
gluaxspeed
3f3d84dcdd accidentally copied half a block in ci.yml 2021-08-19 06:09:19 -07:00
gluaxspeed
e90228b295 type aliases 2021-08-19 06:04:44 -07:00
damirka
df0d129947 Merge branch 'master' into feature-clean-ast-snapshots 2021-08-19 13:37:20 +03:00
damirka
060513bffa cleanup and remove panic 2021-08-19 13:28:22 +03:00
damirka
35f56cd648 more intelligent system for printing out failures 2021-08-19 11:14:13 +03:00
damirka
a8cf416a77 Merge branch 'master' into feature-tgc-ci 2021-08-19 10:58:22 +03:00
damirka
2c7a2b804d adds type inference stage 2021-08-19 10:46:28 +03:00
gluaxspeed
4fc6c5f586 core function imports 2021-08-18 18:52:56 -07:00
gluaxspeed
d1350d7cd8 Merge branch 'master' of github.com:AleoHQ/leo into feature/type-aliases 2021-08-18 16:35:17 -07:00
gluaxspeed
88bd065d8a merge master, regen tests 2021-08-18 16:25:23 -07:00
gluaxspeed
fbc3dfb4c9 merge master, regen tests 2021-08-18 16:14:14 -07:00
Alessandro Coglio
235daa9ee4
Merge pull request #1242 from AleoHQ/feature/better-errors 
[WIP Implementation] Better Errors
 2021-08-18 16:08:24 -07:00
gluaxspeed
0feccf6353 m1 test was infinitely looping 2021-08-18 15:37:42 -07:00
gluaxspeed
4e32efb9e3 Merge branch 'master' of github.com:AleoHQ/leo into feature/better-errors 2021-08-18 14:42:19 -07:00
gluaxspeed
484ebd3467 clean up todos 2021-08-18 14:40:51 -07:00
gluaxspeed
56c66fa4ba testing and clean up 2021-08-18 14:31:06 -07:00
gluaxspeed
a91c8b9e6a Revert "type on call expression" 
This reverts commit cf5a23b38f.
 2021-08-18 13:38:50 -07:00
Alessandro Coglio
0732ea15b6
Merge pull request #1248 from AleoHQ/rfc/primitive-types-as-circuits 
[RFC] Add an RFC for Scalar Methods
 2021-08-18 10:53:08 -07:00
Alessandro Coglio
9c3c57c9cd
Merge pull request #1252 from AleoHQ/rfc-native-functions 
[RFC] Initial proposal for better native functions.
 2021-08-18 10:18:09 -07:00
Alessandro Coglio
2dc02bc559
Merge pull request #1262 from AleoHQ/abnf-fix 
ABNF grammar fix
 2021-08-18 10:15:55 -07:00
Alessandro Coglio
fdde4e0158
Merge pull request #1268 from AleoHQ/dependabot/cargo/serde_yaml-0.8.18 
Bump serde_yaml from 0.8.17 to 0.8.18
 2021-08-18 09:04:22 -07:00
damirka
9caca65409 alphabetical in package/outputs/mod 2021-08-18 18:07:05 +03:00
damirka
52b2a4a3cb final cleanup 2021-08-18 17:51:50 +03:00