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,865 Commits 54 Branches 46 Tags 340 MiB
c8e63a21d6
Commit Graph

2865 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
c8e63a21d6 change pest according to suggestion fixes it 2021-05-20 20:10:00 -04:00
gluax
ca59ff3177 tests for now should be changed to use input strings when they are in 2021-05-20 14:30:12 -04:00
gluax
c4a1bd6955 merge and print strings like strings, rather than arrays 2021-05-20 12:50:49 -04:00
gluax
947f13b77b Merge branch 'feature/string-parsing' of github.com:AleoHQ/leo into feature/string-canonicalization 2021-05-20 12:40:08 -04:00
gluax
4fe91f0f39 string canonicalization to char array 2021-05-20 12:39:36 -04:00
damirka
a5f994ad88 Merge remote-tracking branch 'origin/feature/char-type' into feature/string-parsing 2021-05-20 19:27:51 +03:00
gluax
1e1486f4ef refactor for better errors, code shouldn't have been in the lexer 2021-05-19 18:14:56 -04:00
damirka
86fc23942b more comment fixes 2021-05-20 00:36:40 +03:00
damirka
f404c426ed fix comments 2021-05-20 00:33:39 +03:00
damirka
f96c4ad37e Merge branch 'feature/char-type' into feature/string-parsing 2021-05-20 00:24:22 +03:00
damirka
ed03a385b5 fix unicode chars 2021-05-19 23:59:54 +03:00
gluax
b6479b754f tests are passing interestingly but idk if they should be, == doesn't work for input on fields 2021-05-19 16:48:34 -04:00
damirka
737985034b fix tests 2021-05-19 23:46:47 +03:00
damirka
2f9fde8a0f removes commented blocks 2021-05-19 23:42:19 +03:00
damirka
39b61a0669 added character parsing 2021-05-19 23:36:53 +03:00
Alessandro Coglio
7aa3fa3b1a
Merge pull request #920 from AleoHQ/compiler-tests 
[Tests] Compiler tests
 2021-05-19 12:56:18 -07:00
gluax
3cc3c7ab02 call the char methods 2021-05-19 14:24:57 -04:00
damirka
c4616254d4 follow up, fixed wrong test 2021-05-19 20:53:41 +03:00
damirka
ca6b8695b5 disabled blake2s for now 2021-05-19 20:50:43 +03:00
gluax
768a597e04 merge in field operator updates 2021-05-19 13:25:58 -04:00
Alessandro Coglio
75ffcd1d60
Merge pull request #966 from AleoHQ/field-type-refactor 
Field type refactor
 2021-05-19 09:23:21 -07:00
gluax
6f8df3c84d clean up lexing char 2021-05-19 12:09:02 -04:00
gluax
8cea284427 wasn't capped at 10FFF for unicode 2021-05-19 11:46:50 -04:00
collin
c4461f4ef4 bump snarkvm module versions to 0.3.1 2021-05-18 21:08:19 -07:00
collin
c936ca5f11 remove old field type code 2021-05-18 18:57:44 -07:00
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
gluax
0ef7ca3d8e just need to fix input file parsing for chars to work 2021-05-12 18:56:27 -04:00