ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-12 06:08:57 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,019 Commits 46 Branches 43 Tags 368 MiB
bccc8e908d
Commit Graph

4019 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
377c65be21 fix issues from fixing a panic 2022-03-09 12:08:15 -08:00
gluax
a227e7c113 add tests, fix namespaces on older tests, fix another bug 2022-03-09 11:11:30 -08:00
gluax
91c0f5ae9d resolve some error messages panicing 2022-03-09 09:46:07 -08:00
dependabot[bot]
e534cbb0df
Bump tracing-subscriber from 0.3.7 to 0.3.9 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.7 to 0.3.9.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.7...tracing-subscriber-0.3.9)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-03-09 10:18:25 +00:00
dependabot[bot]
bd68eefb45
Bump regex from 1.5.4 to 1.5.5 
Bumps [regex](https://github.com/rust-lang/regex) from 1.5.4 to 1.5.5.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.5.4...1.5.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-03-09 10:18:18 +00:00
Alessandro Coglio
f735ca8864 [ABNF] Update some documentation. 
This does not change the grammar. It merely updates some text in the comments,
which shows a rule that was changed at some point but its copy in the comments
was not properly updated.

Thanks to @bendyarm for noticing this.
 2022-03-08 23:23:38 -08:00
Alessandro Coglio
7e930d8670 [ABNF] Fix use of integers in literals. 
This removes the rule for `integer` and uses `natural` for all numeric literals.

Otherwise, lexing would be context-dependent for no good reason.

This is consistent with the lexer and parser of the Leo compiler.

Note that, for instance, `-1field` is not a literal, but rather a unary
expression where `-` is applied to the literal `1field`. This is consistent with
other languages too.
 2022-03-08 21:08:59 -08:00
0rphon
874edd8fcc Merge branch 'testnet3' into improve-parser-tests 2022-03-08 18:25:43 -08:00
Collin Chin
646c5eb697
Merge pull request #1665 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.6 
Bump clap from 3.1.5 to 3.1.6
 2022-03-08 11:42:48 -08:00
Collin Chin
db60376204
Merge pull request #1664 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.56 
Bump anyhow from 1.0.55 to 1.0.56
 2022-03-08 11:42:35 -08:00
dependabot[bot]
343da2071c
Bump clap from 3.1.5 to 3.1.6 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.5 to 3.1.6.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.5...v3.1.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-03-08 10:18:16 +00:00
dependabot[bot]
bf7b646b31
Bump anyhow from 1.0.55 to 1.0.56 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.55 to 1.0.56.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.55...1.0.56)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-03-08 10:18:01 +00:00
0rphon
9afee5e328 updated tests 2022-03-08 01:01:30 -08:00
0rphon
39ea7a3ceb Merge branch 'testnet3' into improve-parser-tests 2022-03-08 00:57:32 -08:00
Collin Chin
5e2ba78750
Merge pull request #1656 from AleoHQ/remove/unsized-array 
Remove/unsized array
 2022-03-07 17:14:03 -08:00
collin
ac016822c3 Merge branch 'remove/unsized-array' of https://github.com/AleoHQ/leo into remove/unsized-array 2022-03-07 15:01:19 -08:00
collin
6a33035257 remove unsized array parser tests 2022-03-07 14:50:53 -08:00
Collin Chin
ec3a265b80
Merge pull request #1660 from AleoHQ/abnf-require-types 
[ABNF] Require types to avoid type inference.
 2022-03-07 12:22:36 -08:00
Collin Chin
181fc2dc6a
Merge pull request #1659 from AleoHQ/remove/unsized-array-abnf 
[ABNF] Adapt ABNF to removal of unsized arrays.
 2022-03-07 12:21:56 -08:00
Collin Chin
11b4a2702a
Merge pull request #1655 from AleoHQ/bug/misc-parser-discrep-bugs 
[Fix] Mix Parser bugs & discreps
 2022-03-07 12:19:09 -08:00
Alessandro Coglio
6cbf206f86 [ABNF] Require types to avoid type inference. 
Types are now required in variable and constant declarations (including for loop
variables), and for literals (i.e. there are no longer untyped literals).
 2022-03-05 23:52:34 -08:00
Alessandro Coglio
6aca970b88 [ABNF] Re-generate markdown. 
(Forgot to do this in the previous commit.)
 2022-03-04 19:51:14 -08:00
Alessandro Coglio
c30df925ef [ABNF] Adapt ABNF to removal of unsized arrays. 
This "merges" the two previous slightly different notions of array type
dimensions and array expression dimension(s) into one notion of array
dimensions, in which the dimensions have to be natural numbers. (Previously,
array type dimensions were allowed to be unspecified (via underscores), while
array expression dimensions had to be specified.)
 2022-03-04 19:42:42 -08:00
Collin Chin
8398b3181e
Merge pull request #1653 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.5 
Bump clap from 3.1.3 to 3.1.5
 2022-03-04 13:08:38 -08:00
collin
1a45295372 remove redundant array dimension struct 2022-03-04 13:06:22 -08:00
collin
1f7b1b57cc remove unsized array tests 2022-03-04 12:27:17 -08:00
collin
10bea676a8 remove unsized arrays 2022-03-04 12:23:46 -08:00
gluax
060c13dd8d clippy fix 2022-03-04 11:21:42 -08:00
gluax
789862103e another char bug fix 2022-03-04 11:18:28 -08:00
gluax
308512fab9 add tests 2022-03-04 10:26:34 -08:00
gluax
85764aa394 fix self discrep 2022-03-04 10:03:42 -08:00
gluax
bd1d602f6d fix annotation error msg 2022-03-04 09:28:29 -08:00
dependabot[bot]
1d01e6ada6
Bump clap from 3.1.3 to 3.1.5 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.3 to 3.1.5.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.3...v3.1.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-03-03 10:18:43 +00:00
0rphon
7d2cbb2ec2 done with coverage 
finished coverage tests. adding case by case tests from the parser fuzzer next
 2022-03-02 14:13:37 -08:00
Collin Chin
f2c4d8d078
Merge pull request #1650 from AleoHQ/fix/ast-file-spelling 
Fix ast file spelling
 2022-03-02 12:48:04 -08:00
collin
54beb505c3 fix spelling typo 2022-03-02 12:19:22 -08:00
Collin Chin
9162a81a2a
Merge pull request #1649 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.3 
Bump clap from 3.1.2 to 3.1.3
 2022-03-02 09:47:25 -08:00
0rphon
2b4751e7e1 regenned tests 2022-03-01 12:15:54 -08:00
0rphon
9d1714d779 Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests 2022-03-01 12:00:10 -08:00
dependabot[bot]
8080ae0b79
Bump clap from 3.1.2 to 3.1.3 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.2 to 3.1.3.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.2...v3.1.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-03-01 10:17:02 +00:00
gluax
029a42df0a regen tests so far 2022-02-28 14:47:22 -08:00
gluax
736c6af72d a bunch of parser bug fixes so far 2022-02-28 14:45:32 -08:00
Collin Chin
639643e01b
Merge pull request #1648 from AleoHQ/bug/1618-span-content-discrep 
[Fix] Change Span Documetnation To match Behavior
 2022-02-28 14:34:14 -08:00
gluax
751f147c7a Merge branch 'testnet3' of github.com:AleoHQ/leo into bug/1618-span-content-discrep 2022-02-28 13:56:05 -08:00
gluax
9730f90361
Merge pull request #1631 from AleoHQ/restructure-compiler 
Restructure compiler
 2022-02-28 13:55:12 -08:00
gluax
dd4f51a218 fix testframework path 2022-02-28 13:40:43 -08:00
collin
9ff0d3fed3 move tools/test-framework -> tests/test-framework 2022-02-28 10:29:05 -08:00
collin
22f605349c merge testnet3 2022-02-28 09:42:37 -08:00
gluax
1ca40d80f4 change comment to match behavior 2022-02-28 09:39:21 -08:00
Collin Chin
18179cf6ec
Merge pull request #1645 from AleoHQ/bug/1615-rename-ampersand-to-at 
Fix Ampersand and At Symbols
 2022-02-28 08:58:05 -08:00