ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,382 Commits 54 Branches 46 Tags 340 MiB
64307d075c
Commit Graph

4382 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
64307d075c [ABNF] Add new operators. 
This adds shift (`<<` `>>`) and bitwise logical (`&` `|` `^`) operators.

Their precedence is between the additive and ordering operations, in this order
(higher to lower):
- ... others, to additive
- `<<` and `>>`
- `&`
- `|`
- `^`
- ... others, from ordering

This is consistent with Rust, but not with C and Java, both of which make the
bitwise logical operators lower-precedence than equalities.

The previous ABNF rule names for `conjunctive-expression` and
`disjunctive-expression` have been renamed to be more consistent with the newly
added ones. Also, the rule names "abbreviate" 'conjunctive' and 'disjunctive'
with 'and' and 'or', otherwise the names were a bit too long.
 2022-06-16 14:02:22 -07:00
Collin Chin
db963aabea
Merge pull request #1879 from AleoHQ/test-framework-fix 
fixed critical test-framework bug
 2022-06-15 16:31:12 -07:00
0rphon
0daffb267b reverted filename path 2022-06-15 16:19:20 -07:00
0rphon
4d07cd4722 clippy 2022-06-15 16:10:49 -07:00
0rphon
d0cfa983b5 fixed bug 2022-06-15 16:06:26 -07:00
Collin Chin
64c47f8bf9
Merge pull request #1865 from AleoHQ/feature/compiler-benchmarking 
[Feature] compiler benchmarking
 2022-06-15 10:56:42 -07:00
collin
007d1d0265 merge testnet3 2022-06-15 10:19:33 -07:00
Collin Chin
f45aecd91e
Merge pull request #1875 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.11.11 
Bump reqwest from 0.11.10 to 0.11.11
 2022-06-14 16:07:53 -07:00
dependabot[bot]
69fa8a8a98
Bump reqwest from 0.11.10 to 0.11.11 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.10 to 0.11.11.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.11.10...v0.11.11)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-14 23:07:47 +00:00
Collin Chin
62541d0ae9
Merge pull request #1870 from AleoHQ/abnf-line-terminators 
[ABNF] Fix/improve handling of line terminators.
 2022-06-14 16:07:39 -07:00
Collin Chin
abe9ce948a
Merge pull request #1874 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.1 
Bump clap from 3.1.18 to 3.2.1
 2022-06-14 16:07:13 -07:00
Collin Chin
3f6c9b8d4b
Merge pull request #1869 from AleoHQ/fix-spelling 
fix emitted file name
 2022-06-14 16:06:12 -07:00
collin
8f4cdb3705 remove unused crates and code 2022-06-14 16:05:27 -07:00
gluax
7b4e97c3af Merge branch 'feature/compiler-benchmarking' of github.com:AleoHQ/leo into feature/compiler-benchmarking 2022-06-14 11:43:22 -07:00
gluax
503956131a remove some comments to clean up 2022-06-14 11:43:00 -07:00
dependabot[bot]
6cb1f0b940
Bump clap from 3.1.18 to 3.2.1 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.18 to 3.2.1.
- [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.18...clap_complete-v3.2.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-14 10:33:33 +00:00
0rphon
a738ae67a0 fixed expectation pathing 2022-06-13 11:32:35 -07:00
gluax
274dd461cd some more suggested changes 2022-06-13 09:55:42 -07:00
gluax
2c9a91552c Merge branch 'testnet3' of github.com:AleoHQ/leo into feature/compiler-benchmarking 2022-06-12 09:26:30 -07:00
gluax
3a056220ff doing some recommended changes 2022-06-12 09:26:14 -07:00
Alessandro Coglio
894e0af225 [ABNF] Fix/improve handling of line terminators. 
Prohibit line terminators inside string literals. (This does not prohibit
escapes for line feed and/or carriage return; it prohibits actual line feeds and
carriage returns, which would break the string literal across lines.)

Explicate line terminators in block comments, so that an accurate line count can
be obtained more readily from the CSTs. (This is more relevant to the ACL2
formal development than to the Rust implementation, which does not have explicit
CSTs.)

Also reorder slightly some rules within the file.
 2022-06-11 15:56:49 -07:00
collin
44fdcab6b0 fix emitted file name 2022-06-10 12:42:38 -07:00
Collin Chin
e8bff31356
Merge pull request #1864 from AleoHQ/misc-bug-fixes 
[Fix] Misc Bug Fixes
 2022-06-10 12:24:24 -07:00
gluax
36440719fb resolve merge conflicts 2022-06-09 12:46:59 -07:00
gluax
540fdccffe Update abnf, and give docs over parser keywords 2022-06-09 12:45:52 -07:00
gluax
041bd57c5b missed merge conflicts in cargo lock 2022-06-09 12:39:48 -07:00
gluax
ba7aef7f1e merge conflicts fix 2022-06-09 12:35:26 -07:00
gluax
4607f2955a add some more checks and namespaces for benchmarks, docs 2022-06-09 12:23:57 -07:00
gluax
267ab16810 fix benchmark symbol table, some more clean up 2022-06-09 11:43:10 -07:00
Collin Chin
38be98f947
Merge pull request #1860 from AleoHQ/clap 
replaced structopt with clap
 2022-06-08 16:02:55 -07:00
0rphon
32d07583c5 integrated benches to test-framework 2022-06-08 15:33:12 -07:00
Collin Chin
60c8ef097b
Merge pull request #1859 from AleoHQ/dependabot/cargo/testnet3/indexmap-1.8.2 
Bump indexmap from 1.8.1 to 1.8.2
 2022-06-08 15:31:44 -07:00
gluax
5ce5102a37 the rest of the test-framework rework and clean up start 2022-06-08 14:06:25 -07:00
gluax
8972674dec test-framework rework and clean up start 2022-06-08 13:44:40 -07:00
gluax
3c7de6e389 some compiler lib cleanup 2022-06-08 10:53:41 -07:00
gluax
5129276a4b some compiler lib cleanup 2022-06-08 10:50:23 -07:00
gluax
f6990e75fc fixed some bugs 2022-06-08 06:46:54 -07:00
0rphon
d43fd813f7 fixed compiler benchmarks 2022-06-08 00:20:09 -07:00
gluax
9aae2faff6 remove input file 2022-06-07 09:22:16 -07:00
gluax
384a7b24b8 add back compiler options for asts, set up compiler benchmarking 2022-06-06 11:45:33 -07:00
0rphon
0af9622cd9 replaced structopt with clap 2022-06-06 11:00:08 -07:00
dependabot[bot]
ef4fb36bd8
Bump indexmap from 1.8.1 to 1.8.2 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.8.1 to 1.8.2.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Changelog](https://github.com/bluss/indexmap/blob/1.8.2/RELEASES.rst)
- [Commits](https://github.com/bluss/indexmap/compare/1.8.1...1.8.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-06 10:17:58 +00:00
Collin Chin
18b71d225b
Merge pull request #1857 from AleoHQ/more-tyc-bug-fixes 
[Fix] Type Checking Bugs
 2022-06-03 12:09:12 -04:00
Collin Chin
2429b72312
Merge pull request #1856 from AleoHQ/abnf-string-type 
[ABNF] Add string type.
 2022-06-02 12:46:56 -04:00
Collin Chin
0c7736e319
Merge pull request #1854 from AleoHQ/no-tendrils 
Remove remnant mentions of tendrils.
 2022-06-02 12:46:39 -04:00
gluax
8ad69944c0 bug fixes 2022-06-02 09:39:49 -07:00
gluax
af0e0da6b7 add tests for known bugs 2022-06-02 09:37:55 -07:00
collin
d419e3b7d8 merge testnet3 2022-06-02 11:51:46 -04:00
Collin Chin
53e5dfbb02
Merge pull request #1853 from AleoHQ/abnf-in-out-exprs 
[ABNF] Relax input and output expressions.
 2022-06-02 11:45:50 -04:00
Collin Chin
6227419653
Merge pull request #1851 from AleoHQ/feature/core-lib 
[Feature] core lib
 2022-06-02 11:45:25 -04:00