ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 12:17:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,897 Commits 53 Branches 44 Tags 331 MiB
059de410ba
Commit Graph

2897 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
9c94422530 bump snarkvm module versions to 0.2.3 2021-05-18 18:53:07 -07:00
collin
2b1b2839b0 add field type refactor code 2021-05-18 18:35:54 -07:00
gluax
edf236158d add unimplemented other comparators in fields so chars can call them 2021-05-18 12:29:01 -04:00
gluax
08022bb383 char eq operators in, they just call the field ones for now, so when those are in they will work 2021-05-18 12:04:58 -04:00
damirka
32bd282030 1st draft for string parsing and ast type 
- currently uses back quotes "`" for strings, change later
- ast -> asg unimplemented, strings need to be processed on
canonicalization stage
 2021-05-18 18:56:55 +03:00
collin
abeb796cbb use field eq method 2021-05-17 16:32:44 -07:00
collin
d24623d9d2 fix field subtraction 2021-05-17 16:16:42 -07:00
Collin Chin
89d00c55b6
Merge pull request #963 from AleoHQ/dependabot/cargo/notify-4.0.17 
Bump notify from 4.0.16 to 4.0.17
 2021-05-17 11:15:43 -07:00
Collin Chin
2e93ab9751
Merge pull request #956 from AleoHQ/dependabot/cargo/assert_cmd-1.0.4 
Bump assert_cmd from 1.0.3 to 1.0.4
 2021-05-17 11:15:32 -07:00
Collin Chin
36414aa11b
Merge pull request #955 from AleoHQ/dependabot/cargo/serde-1.0.126 
Bump serde from 1.0.125 to 1.0.126
 2021-05-17 11:15:16 -07:00
Collin Chin
11422cbca9
Merge pull request #953 from AleoHQ/dependabot/cargo/sha2-0.9.5 
Bump sha2 from 0.9.4 to 0.9.5
 2021-05-17 11:15:02 -07:00
gluax
1377fc5d75 output file now does 'a', swapped to compiler tests, we fail char tests for now since no constraints 2021-05-14 15:34:39 -04:00
gluax
0435b7ce83 remove octal, fix ascii hex 2021-05-14 13:07:54 -04:00
damirka
c11ca98268 removed cwd arg from compiler tests 2021-05-14 16:42:20 +03:00
dependabot-preview[bot]
48f8a90cb4
Bump notify from 4.0.16 to 4.0.17 
Bumps [notify](https://github.com/notify-rs/notify) from 4.0.16 to 4.0.17.
- [Release notes](https://github.com/notify-rs/notify/releases)
- [Changelog](https://github.com/notify-rs/notify/blob/4.0.17/CHANGELOG.md)
- [Commits](https://github.com/notify-rs/notify/compare/v4.0.16...4.0.17)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-14 10:53:00 +00:00
Howard Wu
49cb956bf3
Update manifest.rs 2021-05-13 17:22:35 -07:00
gluax
733bc90bbe chars done, should merge in compiler tests 2021-05-13 17:25:33 -04:00
gluax
53cd6e2a12 clippy 2021-05-13 14:33:42 -04:00
gluax
6e71c8ab4f addex hex, octal, and direct unicode 2021-05-13 14:33:01 -04:00
damirka
fc385feeca returned parser expectations, removed cwd from compiler tests 2021-05-13 17:07:03 +03:00
damirka
17744f7f7d removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00
gluax
29cd920075 input, output and compiler tests 2021-05-13 07:16:59 -04:00
dependabot-preview[bot]
16e3e6224e
Bump assert_cmd from 1.0.3 to 1.0.4 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 1.0.3 to 1.0.4.
- [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.3...v1.0.4)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-13 10:28:53 +00:00
dependabot-preview[bot]
fa780c187f
Bump serde from 1.0.125 to 1.0.126 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.125 to 1.0.126.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.125...v1.0.126)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-13 10:28:31 +00:00
Alessandro Coglio
8ba720bf43 [ABNF] Re-generate markdown file. 2021-05-12 19:15:27 -07:00
Alessandro Coglio
7d21990db1 [ABNF] Tweak documentation. 2021-05-12 19:13:23 -07:00
Alessandro Coglio
566365e501 [ABNF] Move a rule a bit within the file. 
No changes to rules.

Just putting two rules close that are somewhat related (as they are used to
define comments).
 2021-05-12 19:11:31 -07:00
Alessandro Coglio
7e378545e0 [ABNF] Replace format strings with string literals. 
Given that we have string literals now, there is no need for the special notion
of format strings. Some other grammar rules go away as they were only involved
in the definition of format strings.

The well-formedness of containers in format strings is now delegated to the
static semantics of Leo: at the grammar level, any string literals is accepted
in console print calls.
 2021-05-12 19:08:02 -07:00
Alessandro Coglio
e304866696 [ABNF] Add string literals. 
These are a new kind of literals that denote arrays of characters, which is how
we initially represent strings in Leo.
 2021-05-12 19:04:42 -07:00
Alessandro Coglio
d869e17033 [ABNF] Add character literals. 
These are a new kind of literals that denote char values.
 2021-05-12 18:41:58 -07:00
Alessandro Coglio
19d3bf0125 [ABNF] Add char type. 
This is a new scalar type for characters.
 2021-05-12 18:22:08 -07:00
gluax
0ef7ca3d8e just need to fix input file parsing for chars to work 2021-05-12 18:56:27 -04:00
gluax
602300ea64 chars are implemented with no operations 2021-05-12 16:34:34 -04:00
gluax
10b97023ba type inference test update - though I would like to wait for compilers test merge? 2021-05-12 15:42:41 -04:00
gluax
90f9215a0b char lexer/tokenize/parsing done 2021-05-12 15:33:37 -04:00
damirka
e2492ba9e4 more constraints checks 2021-05-12 20:47:03 +03:00
damirka
cb2bd62ea9 Merge branch 'master' into compiler-tests 2021-05-12 20:02:03 +03:00
damirka
17b59fe96f remove otests folder 2021-05-12 19:45:01 +03:00
damirka
6138f8e719 removed old compiler tests 2021-05-12 19:39:27 +03:00
gluax
819fc9087f char type added to ast and asg 2021-05-12 08:39:55 -04:00
dependabot-preview[bot]
2812248a2b
Bump sha2 from 0.9.4 to 0.9.5 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.9.4 to 0.9.5.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.4...sha2-v0.9.5)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-12 10:51:08 +00:00
damirka
b20f8a0369 added doc 2021-05-11 21:16:55 +03:00
Collin Chin
b3ec8ca8b9
Merge pull request #938 from AleoHQ/dependabot/cargo/self_update-0.27.0 
Bump self_update from 0.26.0 to 0.27.0
 2021-05-11 10:37:18 -07:00
Collin Chin
c084a3f5a6
Merge pull request #925 from AleoHQ/dependabot/cargo/sha2-0.9.4 
Bump sha2 from 0.9.3 to 0.9.4
 2021-05-11 09:54:06 -07:00
Collin Chin
0795b79016
Merge pull request #911 from AleoHQ/dependabot/cargo/tracing-subscriber-0.2.18 
Bump tracing-subscriber from 0.2.17 to 0.2.18
 2021-05-11 09:53:43 -07:00
Collin Chin
eda84a6264
Merge pull request #910 from AleoHQ/dependabot/cargo/tracing-0.1.26 
Bump tracing from 0.1.25 to 0.1.26
 2021-05-11 09:53:17 -07:00
Alessandro Coglio
602a2da067
Merge pull request #936 from AleoHQ/rfc-strings-clarify 
[RFC] Add a clarification.
 2021-05-11 09:26:43 -07:00
dependabot-preview[bot]
90d247daaf
Bump self_update from 0.26.0 to 0.27.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.26.0 to 0.27.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-11 10:50:33 +00:00
Alessandro Coglio
31bb04b395 [RFC] Add a clarification. 2021-05-10 19:47:34 -07:00
damirka
5d018f4ad2 u* 2021-05-10 21:11:31 +03:00