ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,468 Commits 54 Branches 46 Tags 340 MiB
8a753eaa64
Commit Graph

3468 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
dependabot[bot]
f0d0ea081b
Bump snarkvm-dpc from 0.7.6 to 0.7.7 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-04 10:16:06 +00:00
dependabot[bot]
b3129b5bb4
Bump snarkvm-r1cs from 0.7.6 to 0.7.7 
Bumps [snarkvm-r1cs](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-04 10:15:58 +00:00
gluaxspeed
162949185f code cleanup 2021-08-04 00:42:48 -07:00
Alessandro Coglio
ad6e27000d
Merge pull request #1229 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.7 
Bump snarkvm-curves from 0.7.6 to 0.7.7
 2021-08-03 16:13:06 -07:00
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support 
[Feature] Deprecate Nightly + OS CIs
 2021-08-03 14:59:07 -07:00
Alessandro Coglio
dbc09e9815
Merge pull request #1228 from AleoHQ/dependabot/cargo/snarkvm-fields-0.7.7 
Bump snarkvm-fields from 0.7.6 to 0.7.7
 2021-08-03 13:32:50 -07:00
Alessandro Coglio
87db1bfdb6 [RFC] Add an RFC for bit and byte conversions. 2021-08-03 13:28:57 -07:00
Alessandro Coglio
3d31d89631
Merge pull request #1227 from AleoHQ/abnf 
[ABNF] Rename digit => decimal-digit
 2021-08-03 13:02:55 -07:00
Alessandro Coglio
5758b8440c
Merge pull request #1224 from AleoHQ/dependabot/cargo/serde-1.0.127 
Bump serde from 1.0.126 to 1.0.127
 2021-08-03 12:44:07 -07:00
Alessandro Coglio
5abb1fcab5
Merge pull request #1223 from AleoHQ/dependabot/cargo/assert_cmd-1.0.8 
Bump assert_cmd from 1.0.7 to 1.0.8
 2021-08-03 11:22:42 -07:00
dependabot[bot]
ab1880e6f3
Bump serde from 1.0.126 to 1.0.127 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.126 to 1.0.127.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.126...v1.0.127)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:43 +00:00
dependabot[bot]
7f0c0f0b7a
Bump snarkvm-curves from 0.7.6 to 0.7.7 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:29 +00:00
dependabot[bot]
4373ce980d
Bump snarkvm-fields from 0.7.6 to 0.7.7 
Bumps [snarkvm-fields](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:19 +00:00
Alessandro Coglio
93e45e8842
Merge pull request #1226 from AleoHQ/bump-snarkvm-0.7.6 
Bump snarkvm to 0.7.6
 2021-08-03 11:03:23 -07:00
gluaxspeed
88e0e32317 formatting fixes, regen outs, still have a few things to do 2021-08-03 04:49:07 -07:00
gluaxspeed
76b8b3f0a6 merge master, clippy fixes 2021-08-03 04:00:15 -07:00
gluaxspeed
c8be870471 Compiles, still need to handle state and input eventually 2021-08-03 02:43:21 -07:00
Alessandro Coglio
a2919e9dd7 [ABNF] Re-generate the markdown. 2021-08-02 18:01:22 -07:00
Alessandro Coglio
33831779c7 [ABNF] Rename digit => decimal-digit. 
Since, with the introduction of (ASCII and Unicode escapes for) characters, we
now have digits in base 10, 8, and 16, it seems worth being more explicit in the
naming of decimal digits in the grammar.

Just a nonterminal name change, not a structural change to the grammar.
 2021-08-02 17:59:13 -07:00
Alessandro Coglio
14f0163d2c [ABNF] Move a rule and update some comments. 
Move the rule for 'digit' just before the ones for 'octal-digit' and
'hexadecimal-digit'.

Update the comments accordingly.

No real change to the grammar here.
 2021-08-02 17:56:47 -07:00
damirka
da9f65ba4a bump all snarkvm dependencies to 0.7.6 2021-08-03 02:39:44 +03:00
damirka
fd7fcebe73 Merge remote-tracking branch 'origin/master' into bump-snarkvm-0.7.6 2021-08-03 02:36:28 +03:00
Alessandro Coglio
bfc995be34
Merge pull request #1225 from AleoHQ/fix-1217-self-not-canonicalized 
[Fix] Adds Self canonicalization for static calls
 2021-08-02 16:35:55 -07:00
damirka
14a5fbb33e bump snarkvm-dpc to 0.7.6 2021-08-03 02:16:51 +03:00
damirka
36423caaaf bump snarkvm to 0.7.6 2021-08-03 02:05:38 +03:00
damirka
82f8e8a5ca clippy fixes 2021-08-03 01:46:18 +03:00
damirka
34f1c00da2 clippy & test fixes 2021-08-02 23:45:33 +03:00
damirka
7d2ba89cae Merge branch 'master' into leo-manifest-dependencies 2021-08-02 18:51:01 +03:00
damirka
a9a684ef2b adds self canonicalization for static calls 2021-08-02 18:25:12 +03:00
dependabot[bot]
80126aa5e2
Bump assert_cmd from 1.0.7 to 1.0.8 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 1.0.7 to 1.0.8.
- [Release notes](https://github.com/assert-rs/assert_cmd/releases)
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md)
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v1.0.7...v1.0.8)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-02 10:17:46 +00:00
gluaxspeed
0eda3fcbb4 forgot to convert state errors 2021-07-31 00:03:32 -07:00
gluaxspeed
753039c4b4 code re-organization, dsl for errors 2021-07-31 00:01:23 -07:00
gluaxspeed
0012f9b37b Error refactoring thus far 2021-07-30 19:01:12 -07:00
Alessandro Coglio
15599c71ce
Merge pull request #1212 from AleoHQ/abnf 
[ABNF] Add a rule for lexemes (i.e. lexical units).
 2021-07-30 17:26:18 -07:00
Alessandro Coglio
f1ba77f9ed
Merge pull request #1207 from AleoHQ/fix/address-issue 
Fix the AssignmentMissing error involving non-constant addresses
 2021-07-30 13:46:50 -07:00
howardwu
c37d7bcd39 chore(leo): bump version for new release 2021-07-29 18:59:08 -07:00
gluaxspeed
e8ad50446a errors are causing a dep cycle those need to be refactored first 2021-07-29 04:58:29 -07:00
gluaxspeed
39203492f8 add tests for fixes 2021-07-28 16:56:05 -07:00
Alessandro Coglio
70c6af11c5 [ABNF] Re-generated the markdown file. 2021-07-28 16:33:44 -07:00
Alessandro Coglio
6f03b9df26 [ABNF] Add a notion of lexeme. 
This is just for nomenclature. It does not change the language or anything.
 2021-07-28 16:33:14 -07:00
Alessandro Coglio
d2fe35c0b9
Merge pull request #1208 from AleoHQ/feature/console-refactor-and-outs 
[Bugfix]Fix recently merged tests failing
 2021-07-28 12:32:33 -07:00
gluaxspeed
72e2bb1fb6 Some test fixes 2021-07-28 11:53:45 -07:00
Alessandro Coglio
806e16f5bb
Merge pull request #1201 from AleoHQ/feature/console-refactor-and-outs 
[Feature Implmentation] Stderr and debug remove
 2021-07-28 11:44:36 -07:00
gluaxspeed
7d48c2fb75 merge master 2021-07-28 11:18:35 -07:00
weikeng
a3f5f5b71d fix the missing assignment issue 2021-07-28 11:10:02 -07:00
Alessandro Coglio
16947a2808
Merge pull request #1202 from AleoHQ/rfc-built-in-decls 
[RFC] Initial draft of RFC for built-in declarations.
 2021-07-28 11:07:41 -07:00
Alessandro Coglio
c655b636d3
Merge pull request #1187 from AleoHQ/rfc-type-aliases 
[RFC] Initial RFC for type aliases.
 2021-07-28 11:03:35 -07:00
Alessandro Coglio
07f7f65685
Merge pull request #1191 from AleoHQ/rfc-arrays-without-size 
[RFC] Expand discussion on length operator.
 2021-07-28 10:00:57 -07:00
damirka
fbb3364711 fix featureset 2021-07-28 17:38:24 +03:00
damirka
ede19e09c7 Merge branch 'master' into leo-manifest-dependencies 2021-07-28 16:37:30 +03:00