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
2,544 Commits 54 Branches 46 Tags 340 MiB
ccd7a197ca
Commit Graph

2544 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
damirka
ccd7a197ca changed context-specific to specific in loops 2021-04-14 18:01:14 +03:00
Collin Chin
b6c5f4d60f
Merge pull request #861 from AleoHQ/windows-zip-fix 
[CLI] Fixes issue with `leo publish` on Windows
 2021-04-13 17:32:19 -07:00
Collin Chin
93493a467b
Merge pull request #860 from AleoHQ/windows-colors-cli 
[CLI] Adds colors to Windows cmd
 2021-04-13 17:31:43 -07:00
Collin Chin
817b7e0157
Merge pull request #853 from AleoHQ/bug/nested-access-fix 
Reversed-Accesses
 2021-04-13 17:30:38 -07:00
Collin Chin
f9e6c9d86a
Merge pull request #859 from AleoHQ/dependabot/cargo/reqwest-0.11.3 
Bump reqwest from 0.11.2 to 0.11.3
 2021-04-13 15:19:57 -07:00
Collin Chin
ef99406743
Merge pull request #856 from AleoHQ/dependabot/cargo/bincode-1.3.3 
Bump bincode from 1.3.2 to 1.3.3
 2021-04-13 15:19:02 -07:00
Collin Chin
5b989db49d
Merge pull request #849 from AleoHQ/feature/exponentiation-associativity 
[ABNF] Make ** right-associative.
 2021-04-13 15:18:25 -07:00
Collin Chin
d1847747c0
Merge pull request #831 from AleoHQ/test-framework 
Test Framework for Parser
 2021-04-13 15:16:40 -07:00
damirka
7213273f5f used deprecated methods instead 2021-04-13 21:16:54 +03:00
damirka
2a9ed0b432 adds colors to Windows CLI 2021-04-13 20:18:11 +03:00
damirka
fc3c45e056 try ansi_color package for Windows builds 2021-04-13 19:16:04 +03:00
damirka
79e6b6a33c fixes compression method to deflate 2021-04-13 18:09:12 +03:00
dependabot-preview[bot]
20b8879a66
Bump reqwest from 0.11.2 to 0.11.3 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.2 to 0.11.3.
- [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.2...v0.11.3)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-04-13 10:41:51 +00:00
Protryon
8c8089e870 fix test 2021-04-12 15:39:57 -07:00
Protryon
7e3fb20eb1 fix ast test 2021-04-12 13:15:40 -07:00
collin
da0c7b86c4 remove unused code 2021-04-12 13:15:40 -07:00
collin
a9ee01b418 fix clippy checks 2021-04-12 13:15:40 -07:00
Protryon
7aeb8f15ee ns -> namespace 2021-04-12 13:15:40 -07:00
Protryon
960f6b2d91 EOF -> Eof 2021-04-12 13:15:40 -07:00
Protryon
aa4c97c9fd remove full path from span outputs 2021-04-12 13:15:40 -07:00
Protryon
899b8b3efd tests 2021-04-12 13:15:39 -07:00
gluax
29b8b2e301 add another test for tuple defined arrays 2021-04-12 11:47:19 -04:00
dependabot-preview[bot]
9da1f9eb6b
Bump bincode from 1.3.2 to 1.3.3 
Bumps [bincode](https://github.com/servo/bincode) from 1.3.2 to 1.3.3.
- [Release notes](https://github.com/servo/bincode/releases)
- [Commits](https://github.com/servo/bincode/compare/v1.3.2...v1.3.3)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-04-12 11:32:41 +00:00
gluax
2bb85f52c1 quick fix, it's in order in this location not reversed, add tests 2021-04-09 22:52:14 -04:00
howardwu
c336f5a704 Fix asg-passes cargo toml bug 2021-04-09 14:19:35 -07:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
howardwu
ed19537408 Order workspace members 2021-04-09 14:02:15 -07:00
howardwu
ccea624184 Remove no defaults on synthesizer 2021-04-09 13:56:03 -07:00
howardwu
34a719d5a5 Update metadata for grammar toml 2021-04-09 13:50:39 -07:00
howardwu
513c6f00ac Remove keyword from grammar toml 2021-04-09 13:49:11 -07:00
howardwu
bec813b014 chore(leo): bump version for new release 2021-04-09 13:45:30 -07:00
Alessandro Coglio
f26114afa5 [ABNF] Make ** right-associative. 
As agreed on Slack.
 2021-04-09 13:01:59 -07:00
Collin Chin
3b76a2dfd8
Merge pull request #814 from AleoHQ/feature/leo-path-cli 
[CLI] Adds --path argument to Leo CLI
 2021-04-08 13:07:06 -07:00
Collin Chin
e291f8e3ed
Update build.rs 2021-04-08 13:06:31 -07:00
Collin Chin
a157944215
Merge pull request #839 from AleoHQ/abnf-md-fix 
[ABNF] Adds %s to ANBF converter and resulting Markdown
 2021-04-08 13:00:22 -07:00
Collin Chin
8b254b6b10
Merge pull request #838 from AleoHQ/fix-package-name-check 
Fix package name checks
 2021-04-08 12:59:44 -07:00
damirka
3b649f32f4 fixes CI 2021-04-08 18:12:34 +03:00
damirka
66e30ba0e1 makes -d and -q global 2021-04-08 17:49:08 +03:00
damirka
166be0874c Merge branch 'master' into feature/leo-path-cli 2021-04-08 17:47:20 +03:00
damirka
45986d598c adds %s to abnf converter and md 2021-04-08 10:45:04 +03:00
collin
0a3fb30035 package names cannot start with a number 2021-04-07 17:18:14 -07:00
collin
34fd7283c8 fix package name check 2021-04-07 17:10:07 -07:00
Collin Chin
23bca1e595
Merge pull request #796 from ljedrz/align_integers_with_snarkvm 
Align with snarkVM's Integer changes
 2021-04-07 15:28:39 -07:00
Collin Chin
bd7ec477c9
Merge pull request #837 from AleoHQ/bug-duplicate-functions 
Adds error when function defined more than once
 2021-04-07 14:32:47 -07:00
collin
aa0e576773 edit duplicate function message 2021-04-07 14:31:44 -07:00
Collin Chin
68419f4e10
Merge pull request #835 from AleoHQ/feature/abnf-doc-improvements 
[ABNF] Improve the documentation of the grammar and fix a rule
 2021-04-07 14:26:52 -07:00
damirka
8ac7440daa adds test, expects asg error 2021-04-07 20:20:58 +03:00
damirka
f55e880c43 adds check for already existing functions 2021-04-07 19:39:53 +03:00
ljedrz
dee5f7dc15 fix: use a hand-written impl of get_index 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
ljedrz
670e3c0b47 deps: update snarkVM 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00