ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 07:07:07 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,189 Commits 53 Branches 44 Tags 331 MiB
c37d7bcd39
Commit Graph

3189 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
b305d84510 Merge branch 'fix-var-usize' of github.com:AleoHQ/leo into fix-var-usize 2021-06-08 14:52:25 -07:00
gluax
77c3b9872a fmt fix 2021-06-08 14:52:13 -07:00
Max Bruce
e4b88f3095 Update compiler/src/value/integer/integer.rs 
Co-authored-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2021-06-08 14:52:12 -07:00
p
e816ae4ac3 fix array dyn mut 2021-06-08 14:52:12 -07:00
p
a8f687f904 fix treating inputs as constants in to_usize 2021-06-08 14:52:12 -07:00
gluax
3ec91dc01f fmt fix 2021-06-08 14:26:15 -07:00
gluax
0a71466c41 pull snarkvm deps, for test fix 2021-06-08 14:01:10 -07:00
Collin Chin
9a14f4f48f
Merge pull request #1026 from AleoHQ/feat/update-snarkvm-0.5.4 
bump snarkvm module versions to 0.5.4
 2021-06-08 13:52:39 -07:00
gluax
d4cdd93d15 Merge branch 'feat/update-snarkvm-0.5.4' of github.com:AleoHQ/leo into bug/1025-assigning-slice-to-string 2021-06-08 13:44:22 -07:00
Max Bruce
61c20f2706
Update compiler/src/value/integer/integer.rs 
Co-authored-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2021-06-08 13:24:08 -07:00
collin
1b5f2728e5 deprecate abnf, regenerate tests 2021-06-08 13:15:26 -07:00
gluax
c9b565cbfb fix slice assignment for strings 2021-06-08 12:29:49 -07:00
collin
04907c3e84 bump snarkvm module versions to 0.5.4 2021-06-08 10:25:41 -07:00
Alessandro Coglio
c33facbff0
Merge pull request #1018 from AleoHQ/rfc-strings 
Update status of strings RFC.
 2021-06-07 18:33:57 -07:00
p
48bbdd6a73 fix array dyn mut 2021-06-07 17:24:12 -07:00
p
5b32c6934f fix treating inputs as constants in to_usize 2021-06-07 15:20:27 -07:00
Alessandro Coglio
316e781c19 Update status of strings RFC. 2021-06-07 14:09:38 -07:00
Alessandro Coglio
9f6a1828f7
Merge pull request #1010 from AleoHQ/no-underbars-in-unicode-escapes 
RFC mod: Disallow underbars in \u{} escapes.
 2021-06-07 09:21:55 -07:00
Alessandro Coglio
60cf8f9437
Merge pull request #1014 from AleoHQ/dependabot/cargo/zip-0.5.13 
Bump zip from 0.5.12 to 0.5.13
 2021-06-07 09:16:12 -07:00
dependabot-preview[bot]
41fb525a4e
Bump zip from 0.5.12 to 0.5.13 
Bumps [zip](https://github.com/zip-rs/zip) from 0.5.12 to 0.5.13.
- [Release notes](https://github.com/zip-rs/zip/releases)
- [Commits](https://github.com/zip-rs/zip/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-06-07 10:39:21 +00:00
Alessandro Coglio
8a2c6b81fd
Merge pull request #1000 from AleoHQ/dependabot/cargo/assert_cmd-1.0.5 
Bump assert_cmd from 1.0.4 to 1.0.5
 2021-06-06 22:32:22 -07:00
Alessandro Coglio
02b42f816d
Merge pull request #982 from AleoHQ/dependabot/cargo/thiserror-1.0.25 
Bump thiserror from 1.0.24 to 1.0.25
 2021-06-06 22:31:27 -07:00
Alessandro Coglio
696f877e5b Add RFC for bounded recursion. 2021-06-06 22:01:18 -07:00
Eric McCarthy
b59b77df30
Disallow underbars in \u{} escapes. 
Rust allows `\u{1_____0__F____F______FF__________________________}` to mean `\u{10FFFF}`, in both char and string literals.  This PR, if accepted, would disallow this syntax in Leo char and string literals.
 2021-06-06 20:10:06 -07:00
Alessandro Coglio
e1b59a283c
Merge pull request #1007 from AleoHQ/dyn-array-index-assignment 
Dynamic array index assignment
 2021-06-04 12:10:52 -07:00
p
5cd05d7376 fix bounds check 2021-06-04 11:42:14 -07:00
Protryon
e6b7f0fce3 bounds check 2021-06-04 07:35:50 -07:00
Protryon
dc91b07e5c clippy 2021-06-04 06:14:09 -07:00
Protryon
936a35ebd2 fmt 2021-06-04 06:14:09 -07:00
Protryon
f8c4139c3a misc cleanup 2021-06-04 06:14:09 -07:00
Protryon
a0acc915e9 dynamic array index assignment 2021-06-04 06:14:09 -07:00
Alessandro Coglio
c67ef6a3b5
Merge pull request #996 from AleoHQ/fix-unicode-escapes 
[Bug] More strict rule for unicode escapes in char and string
 2021-06-03 23:16:40 -07:00
damirka
3bcb0ef942 fix test expectations 2021-06-03 19:34:10 +03:00
damirka
d979a06eac fix output of characters in out file 2021-06-03 15:38:58 +03:00
dependabot-preview[bot]
860bbf6c96
Bump assert_cmd from 1.0.4 to 1.0.5 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 1.0.4 to 1.0.5.
- [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.4...v1.0.5)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-06-03 10:51:09 +00:00
damirka
1478e1be22 fix expectations for parser test 2021-06-02 15:48:11 +03:00
damirka
ecff3d6f2b fixes #995 2021-06-02 14:53:32 +03:00
dependabot-preview[bot]
3bd23de6e6
Bump thiserror from 1.0.24 to 1.0.25 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.24 to 1.0.25.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.24...1.0.25)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-06-01 02:55:40 +00:00
howardwu
eaadb29448 chore(leo): bump version for new release 2021-05-31 19:53:31 -07:00
Alessandro Coglio
b1e15f4219
Merge pull request #983 from AleoHQ/add-rust-string-syntax-refs 
Update 001-initial-strings.md
 2021-05-27 09:49:59 -07:00
Alessandro Coglio
059de410ba
Merge pull request #954 from AleoHQ/abnf-strings-epic 
ABNF grammar updates for strings epic
 2021-05-26 10:30:58 -07:00
Alessandro Coglio
c56208fa4b
Merge pull request #957 from AleoHQ/feature/char-type 
Feature/char type
 2021-05-26 09:22:35 -07:00
Eric McCarthy
37e9e35bf4
Update 001-initial-strings.md 
Add references to Rust documentation on character literal syntax and string literal syntax.  Remove example of empty string.
 2021-05-26 09:10:00 -07:00
gluax
bdcd945716 Merge branch 'feature/char-type' of github.com:AleoHQ/leo into feature/char-type 2021-05-25 16:37:55 -04:00
gluax
e53c35f3f2 made suggested changes 2021-05-25 16:36:59 -04:00
damirka
d578a1084e fix field tests for inputs, improves string and char inputs 2021-05-25 21:06:45 +03:00
damirka
760a0d545f Merge branch 'feature/char-type' of github.com:AleoHQ/leo into feature/char-type 2021-05-25 20:59:36 +03:00
damirka
8959d3e44b adds char and string tests for inputs and const inputs 2021-05-25 20:59:24 +03:00
gluax
bdcf7ce944 resolve direct unicode in a string 2021-05-25 13:49:26 -04:00
gluax
53a668ae14 resolve multiple chars in a char, tests for it 2021-05-25 12:18:01 -04:00