Alessandro Coglio
48635e5dbe
[ABNF] Fix typos in documentation.
2021-04-06 14:22:15 -07:00
gluax
ac9414590f
reduce type and the basis for type_inference ast
2021-04-06 17:09:36 -04:00
gluax
541b83d492
working on directing expressions so far
2021-04-06 14:07:37 -04:00
dependabot-preview[bot]
751b42ab5b
Bump abnf from 0.10.1 to 0.10.2
...
Bumps [abnf](https://github.com/duesee/abnf ) from 0.10.1 to 0.10.2.
- [Release notes](https://github.com/duesee/abnf/releases )
- [Commits](https://github.com/duesee/abnf/commits )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2021-04-06 10:36:36 +00:00
damirka
bbc70d927b
build -> compiling in log
2021-04-06 10:51:05 +03:00
Alessandro Coglio
880f2cd200
[ABNF] Remove explicit author info, as discussed.
2021-04-05 21:55:19 -07:00
Alessandro Coglio
797e8ceffd
[ABNF] Tweak some layout.
...
Just for consistency with the rest of the file.
2021-04-05 21:54:18 -07:00
Alessandro Coglio
c0ea8798a2
[ABNF] Remove leftover reference.
...
This was uncovered by running the grammar through the ACL2 build: among other
things, the build checks that every nonterminal referenced in the right side of
each rule has a definition in the grammar.
2021-04-05 21:47:28 -07:00
Alessandro Coglio
5f875a4e93
[ABNF] Allow const self.
...
This still needed to be updated. The rules only supported self and mut self.
2021-04-05 21:27:37 -07:00
Collin Chin
9b9fe0b8c7
Merge pull request #822 from AleoHQ/dependabot/cargo/abnf-0.10.1
...
Bump abnf from 0.10.0 to 0.10.1
2021-04-05 21:13:23 -07:00
Collin Chin
ea5bc5d693
Merge pull request #825 from AleoHQ/bug/815-mutable-method-imuttable-context
...
Bug/815 mutable method imuttable context
2021-04-05 21:12:39 -07:00
Collin Chin
f3f569b233
Merge pull request #824 from AleoHQ/feature/no-space-between-literals
...
Feature/no space between literals
2021-04-05 21:11:57 -07:00
Collin Chin
0682dd01ee
Merge pull request #816 from AleoHQ/unused-code-bye-bye
...
Unused code removal + improving coverage
2021-04-05 21:02:04 -07:00
Collin Chin
8396014e32
Update verification_key.rs
2021-04-05 21:01:49 -07:00
Alessandro Coglio
b535a5fde3
[ABNF] Allow spaces in affine group literals.
2021-04-05 13:55:05 -07:00
gluax
38c36cc305
tests for all the integers
2021-04-05 12:59:08 -04:00
gluax
f0ce9d400e
testing the changes
2021-04-05 12:54:27 -04:00
damirka
2578be4287
fix test
2021-04-05 19:37:16 +03:00
damirka
03b2af4aaa
Merge branch 'master' into unused-code-bye-bye
2021-04-05 16:40:30 +03:00
damirka
a588c18100
clippy
2021-04-05 16:39:38 +03:00
damirka
044dc96e58
adds tests for outputfile
2021-04-05 16:08:54 +03:00
dependabot-preview[bot]
b51471a6a8
Bump abnf from 0.10.0 to 0.10.1
...
Bumps [abnf](https://github.com/duesee/abnf ) from 0.10.0 to 0.10.1.
- [Release notes](https://github.com/duesee/abnf/releases )
- [Commits](https://github.com/duesee/abnf/commits )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2021-04-05 10:40:52 +00:00
gluax
dbf069d215
no whitepsace between types and integers/group coords
2021-04-02 06:20:08 -04:00
gluax
f60e4331c7
merge master
2021-04-02 04:51:57 -04:00
gluax
f44dcc1e96
test for bug
2021-04-02 04:50:14 -04:00
gluax
952ce8c17e
allow mutable method from immutable context
2021-04-02 04:45:02 -04:00
Howard Wu
6b3aa7a7d0
Update config
2021-04-01 14:27:25 -07:00
damirka
25551a7c13
Merge remote-tracking branch 'origin/master' into feature/leo-path-cli
2021-04-01 23:23:02 +03:00
Howard Wu
2541a55901
Merge pull request #817 from AleoHQ/feat/noconfig
...
Adds a noconfig feature for release builds, updates CI to rust 1.51
2021-04-01 13:17:15 -07:00
damirka
f76793572c
added --path to leo init ci
2021-04-01 23:10:34 +03:00
Howard Wu
2a2b9994d0
Lock the cargo file
2021-03-31 23:20:10 -07:00
Howard Wu
54192f2589
Update CI to 1.51
2021-03-31 23:14:01 -07:00
Howard Wu
2aabb09468
Adds a noconfig feature for release builds
2021-03-31 22:14:03 -07:00
Howard Wu
19e3bfc253
Merge pull request #639 from dev-sptg/fix-windows-build
...
Fix build for windows 64 bit
2021-03-31 21:26:27 -07:00
Collin Chin
848872de15
Merge pull request #809 from AleoHQ/bug/807-compound-operator-access-fix
...
Bug-807 Compound Access fix.
2021-03-31 12:30:35 -07:00
gluax
dc8a04e872
fix test
2021-03-31 14:59:45 -04:00
Collin Chin
48edaaf9bc
Merge pull request #813 from AleoHQ/dependabot/cargo/anyhow-1.0.40
...
Bump anyhow from 1.0.39 to 1.0.40
2021-03-31 11:43:19 -07:00
dependabot-preview[bot]
cd6ec7eba9
Bump anyhow from 1.0.39 to 1.0.40
...
Bumps [anyhow](https://github.com/dtolnay/anyhow ) from 1.0.39 to 1.0.40.
- [Release notes](https://github.com/dtolnay/anyhow/releases )
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.39...1.0.40 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2021-03-31 18:24:44 +00:00
Collin Chin
7f89f35f96
Merge pull request #799 from AleoHQ/feature/abnf-grammar
...
initial commit, so I can open retroactive pr
2021-03-31 11:22:51 -07:00
gluax
24e5d5365b
resolve all the merge conflicts
2021-03-31 14:08:38 -04:00
damirka
a1d48d4251
makes --path global
2021-03-31 20:54:16 +03:00
gluax
bcb0838e0d
last bit of clippy, push grammar md it should now be in the repo
2021-03-31 13:22:25 -04:00
collin
ba53d143ee
cargo clippy
2021-03-31 09:57:02 -07:00
damirka
ed8ff4468c
ast and imports a bit
2021-03-31 18:58:29 +03:00
damirka
41600d0261
removed unused errors in compiler
2021-03-31 18:06:22 +03:00
damirka
7fea0533fa
removed unused code in leo-package
2021-03-31 17:39:33 +03:00
Protryon
bc06d5f443
Merge branch 'feature/abnf-grammar' of github.com:AleoHQ/leo into feature/abnf-grammar
2021-03-30 16:26:06 -07:00
Protryon
25ae030e1a
fix tokenizer test
2021-03-30 16:24:11 -07:00
gluax
56a51e92a8
fix test_tokenizer
2021-03-30 19:14:17 -04:00
gluax
144f3ee439
fix test_tokenizer
2021-03-30 19:13:17 -04:00
