gluaxspeed
|
478bb83f70
|
regen tests after removing dead errors, docs
|
2021-08-10 22:56:46 -07:00 |
|
gluaxspeed
|
d9769b4c37
|
remove canonicalization from asg, merge master
|
2021-08-09 14:10:36 -07:00 |
|
damirka
|
9d3d76fc63
|
allow dashes in member access
|
2021-08-05 17:53:08 +03:00 |
|
damirka
|
eb0863cda9
|
closes #1183
|
2021-08-04 23:34:11 +03:00 |
|
gluaxspeed
|
b1f93e95b3
|
dep clean up, clippy, leo result
|
2021-08-04 05:52:08 -07:00 |
|
gluaxspeed
|
88e0e32317
|
formatting fixes, regen outs, still have a few things to do
|
2021-08-03 04:49:07 -07:00 |
|
damirka
|
34f1c00da2
|
clippy & test fixes
|
2021-08-02 23:45:33 +03:00 |
|
Alessandro Coglio
|
f1ba77f9ed
|
Merge pull request #1207 from AleoHQ/fix/address-issue
Fix the AssignmentMissing error involving non-constant addresses
|
2021-07-30 13:46:50 -07:00 |
|
gluaxspeed
|
39203492f8
|
add tests for fixes
|
2021-07-28 16:56:05 -07:00 |
|
gluaxspeed
|
72e2bb1fb6
|
Some test fixes
|
2021-07-28 11:53:45 -07:00 |
|
gluaxspeed
|
7d48c2fb75
|
merge master
|
2021-07-28 11:18:35 -07:00 |
|
gluaxspeed
|
745f6c2275
|
variable shadow error
|
2021-07-27 13:39:34 -07:00 |
|
gluaxspeed
|
9a53905a55
|
Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs
|
2021-07-27 12:33:37 -07:00 |
|
gluaxspeed
|
011d405e00
|
fix output file types from CRLF to LF
|
2021-07-27 09:48:00 -07:00 |
|
gluaxspeed
|
42f58ff33e
|
added more tests
|
2021-07-27 09:31:23 -07:00 |
|
gluaxspeed
|
3f890c9f30
|
fix reverse loop have to add range, which is always 1 for now
|
2021-07-26 17:22:05 -07:00 |
|
gluaxspeed
|
20d64970ab
|
merge master, color only at cli as it breaks tests, remove debug
|
2021-07-26 16:49:33 -07:00 |
|
Alessandro Coglio
|
49a51d6026
|
Merge pull request #1185 from AleoHQ/bug/ternary-different-types
[Bugfix] Ternary Type Check
|
2021-07-24 13:21:59 -07:00 |
|
gluaxspeed
|
1c3362d191
|
ternary different types errors out
|
2021-07-23 17:12:30 -07:00 |
|
gluaxspeed
|
1d72107119
|
inclusive range
|
2021-07-23 15:14:37 -07:00 |
|
gluaxspeed
|
b69dd4e277
|
remove debug, realized it was crlf vs lf whoops
|
2021-07-23 00:34:52 -07:00 |
|
gluaxspeed
|
61253031b4
|
countdown loops
|
2021-07-22 22:17:33 -07:00 |
|
gluaxspeed
|
83e6edd12a
|
write test for import strings being canonicalized
|
2021-07-22 12:53:42 -07:00 |
|
gluaxspeed
|
2544a680f1
|
forgot to regen tests after merging
|
2021-07-21 14:57:40 -07:00 |
|
gluaxspeed
|
8028766cb4
|
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings
|
2021-07-21 14:43:37 -07:00 |
|
Alessandro Coglio
|
e0b586a9a1
|
Merge pull request #1164 from AleoHQ/feature/theorem-tests
[Feature-Impl] Ast generation tests
|
2021-07-21 11:04:19 -07:00 |
|
gluaxspeed
|
c1879e6e1c
|
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings
|
2021-07-21 02:51:35 -07:00 |
|
gluaxspeed
|
a9593971b9
|
format string and grammar changes
|
2021-07-20 14:52:35 -07:00 |
|
gluaxspeed
|
a2577231fd
|
add test
|
2021-07-19 11:33:18 -07:00 |
|
gluaxspeed
|
98d47ab32a
|
Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests
|
2021-07-18 20:00:48 -07:00 |
|
weikeng
|
fef7fe6c90
|
update the test as well as ci
|
2021-07-17 01:55:11 -07:00 |
|
gluaxspeed
|
b456488758
|
merge master
|
2021-07-16 03:39:32 -07:00 |
|
gluaxspeed
|
8b44cfa9c7
|
Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests
|
2021-07-16 03:28:37 -07:00 |
|
gluaxspeed
|
470a4075f8
|
refactor theorem to ast for out file hashes, migrate old tests
|
2021-07-16 03:20:36 -07:00 |
|
gluaxspeed
|
8695b11ce0
|
Forgot to refactor in compiler tests
|
2021-07-14 05:04:09 -07:00 |
|
gluaxspeed
|
baca9ca4a5
|
Hash the ast in the .out file
|
2021-07-14 02:58:10 -07:00 |
|
gluaxspeed
|
af147449be
|
"fix type, more test coverage"
|
2021-07-14 00:39:09 -07:00 |
|
gluaxspeed
|
c5c5bce2f0
|
Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs
|
2021-07-13 22:27:24 -07:00 |
|
gluaxspeed
|
650a729763
|
Add theorem generations to tests
|
2021-07-12 11:45:51 -07:00 |
|
gluaxspeed
|
c0628a04c7
|
Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs
|
2021-07-11 22:55:29 -07:00 |
|
gluaxspeed
|
39e21e5d93
|
add more tests
|
2021-07-09 12:15:29 -07:00 |
|
gluaxspeed
|
d4d122e59e
|
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs
|
2021-07-09 11:55:10 -07:00 |
|
gluaxspeed
|
01717ee86f
|
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs
|
2021-07-08 04:07:00 -07:00 |
|
gluaxspeed
|
0bd580e3d1
|
fmt fixes, realized they have to be in that format for outputs
|
2021-07-08 04:05:00 -07:00 |
|
gluax
|
a496841563
|
the identifiers differ, change it to name
|
2021-07-02 18:29:48 -07:00 |
|
gluax
|
9ace3243d2
|
forgot to regenerate tests
|
2021-07-02 15:29:50 -07:00 |
|
gluax
|
376d713fb3
|
add test for missed case from fixed bugs
|
2021-07-02 15:13:38 -07:00 |
|
gluax
|
bcb50ae27f
|
change equality_expressions
|
2021-07-01 13:40:29 -07:00 |
|
gluax
|
eee9cfc1be
|
fix parser to match abnf conditional
|
2021-06-30 22:20:06 -07:00 |
|
gluax
|
f35b120588
|
test cases for lest test
|
2021-06-29 21:12:24 -07:00 |
|
gluax
|
bb63e13edf
|
fix all the bugs for the new array indexes
|
2021-06-29 20:55:48 -07:00 |
|
gluax
|
5c3b48a25b
|
slight rework to access to clean it up and fix other missed cases, added tests
|
2021-06-28 14:10:26 -07:00 |
|
gluax
|
5ebea328fb
|
const_value for array_init, and canonicalization fixes
|
2021-06-26 00:00:09 -07:00 |
|
Alessandro Coglio
|
b6065c34d4
|
Merge pull request #1060 from AleoHQ/bugs/array-type-inference-issues
array type inference bugs
|
2021-06-25 11:12:21 -07:00 |
|
gluax
|
068958a2f4
|
array type inference bugs
|
2021-06-23 07:08:32 -07:00 |
|
damirka
|
77301e98bd
|
add tests
|
2021-06-23 14:16:44 +03:00 |
|
gluax
|
957d73f33f
|
more tests
|
2021-06-22 14:31:45 -07:00 |
|
gluax
|
af1aca3d9f
|
parse returns leo error not rust error
|
2021-06-21 23:10:55 -07:00 |
|
gluax
|
b969774b85
|
check input integer types at all stages
|
2021-06-21 19:53:01 -07:00 |
|
Alessandro Coglio
|
b414cde00d
|
Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes
canonicalization fixes
|
2021-06-18 09:01:39 -07:00 |
|
gluax
|
a2850bbd02
|
Self bug fix, and string canonicalization fix
|
2021-06-17 12:47:19 -07:00 |
|
gluax
|
1f35308f47
|
depend on improved tests branch
|
2021-06-15 11:44:20 -07:00 |
|
gluax
|
076aafa097
|
resolve merge conflicts
|
2021-06-15 11:32:46 -07:00 |
|
gluax
|
a6f4052dde
|
type inference char reducer fixed, outputs fixed
|
2021-06-15 11:23:08 -07:00 |
|
gluax
|
7d29ef0d5e
|
custom serializer/deserializer
|
2021-06-14 15:56:39 -07:00 |
|
gluax
|
d1ca1108fb
|
scalar chars refactor, some stuff got fixed, some stuff broke
|
2021-06-11 16:16:21 -07:00 |
|
Alessandro Coglio
|
04c809c0dc
|
Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string
fix slice assignment for strings
|
2021-06-11 11:36:08 -07:00 |
|
gluax
|
debaf9cd61
|
more byte failing tests
|
2021-06-11 10:05:08 -07:00 |
|
gluax
|
5b4cc494c1
|
fix parser bug allowing illegal unicode escape
|
2021-06-10 10:59:35 -07:00 |
|
gluax
|
d6266102c3
|
more tests, hex fix
|
2021-06-09 15:54:05 -07:00 |
|
gluax
|
9eedd61ccd
|
rebase master, redo tests
|
2021-06-08 14:59:38 -07:00 |
|
p
|
e816ae4ac3
|
fix array dyn mut
|
2021-06-08 14:52:12 -07:00 |
|
gluax
|
0a71466c41
|
pull snarkvm deps, for test fix
|
2021-06-08 14:01:10 -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 |
|
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 |
|
Protryon
|
a0acc915e9
|
dynamic array index assignment
|
2021-06-04 06:14:09 -07:00 |
|
damirka
|
3bcb0ef942
|
fix test expectations
|
2021-06-03 19:34:10 +03: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 |
|
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 |
|
damirka
|
a3416c1e3e
|
added max value for \x7F escape
|
2021-05-24 15:13:33 +03:00 |
|
damirka
|
497b039d60
|
added few more test cases for strings
|
2021-05-24 13:10:28 +03:00 |
|
gluax
|
91f27bc046
|
explicit type resolves issue, will make bug for implict
|
2021-05-22 22:26:24 -04:00 |
|
gluax
|
7145a751d9
|
console.log refactor, concat test... has asg or TIPhase reducer bug
|
2021-05-22 21:15:07 -04:00 |
|
gluax
|
bce10cc885
|
quick test fix
|
2021-05-22 18:21:11 -04:00 |
|
gluax
|
1c57eb4196
|
input string syntax
|
2021-05-22 17:57:05 -04:00 |
|
gluax
|
329b330c15
|
merge remote
|
2021-05-22 10:47:08 -04:00 |
|
gluax
|
ddbdd485d2
|
Revert "change pest according to suggestion fixes it"
This reverts commit c8e63a21d6 .
|
2021-05-22 10:41:54 -04:00 |
|
gluax
|
cd95f48f77
|
forgot to remove debug stmt, and regen tests
|
2021-05-21 15:11:48 -04:00 |
|
gluax
|
3971a6100d
|
revert parsing char change, clean up lexing
|
2021-05-21 14:43:05 -04:00 |
|
gluax
|
cce0f597de
|
Revert "refactor for better errors, code shouldn't have been in the lexer"
This reverts commit 1e1486f4ef .
|
2021-05-21 12:33:39 -04:00 |
|
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 |
|
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
|
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
|
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
|
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 |
|
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 |
|
gluax
|
733bc90bbe
|
chars done, should merge in compiler tests
|
2021-05-13 17:25:33 -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
|
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
|
6138f8e719
|
removed old compiler tests
|
2021-05-12 19:39:27 +03:00 |
|
damirka
|
b20f8a0369
|
added doc
|
2021-05-11 21:16:55 +03:00 |
|
damirka
|
5d018f4ad2
|
u*
|
2021-05-10 21:11:31 +03:00 |
|
damirka
|
1a15ad3a8f
|
i*
|
2021-05-10 20:19:19 +03:00 |
|
gluax
|
f32a1e9ddb
|
merge master, add a parser test to try and improve code coverage
|
2021-05-07 13:34:10 -04:00 |
|
damirka
|
4fcce10329
|
remove unnecessary mod
|
2021-05-06 14:58:36 +03:00 |
|
damirka
|
a39197af62
|
add const test
|
2021-05-06 14:52:20 +03:00 |
|
damirka
|
ac57fe6410
|
test conflicts + clippy
|
2021-05-06 14:27:42 +03:00 |
|
damirka
|
e3983bfa90
|
array
|
2021-05-06 14:01:42 +03:00 |
|
gluax
|
5587d8dd8d
|
don't allow mixing of semi-colons and commas
|
2021-05-05 14:53:46 -04:00 |
|
damirka
|
91c9969ff9
|
arrays 1/2
|
2021-05-05 21:25:24 +03:00 |
|
damirka
|
7f390d4d5c
|
global const
|
2021-05-05 21:06:15 +03:00 |
|
damirka
|
d5e8fb3718
|
imports
|
2021-05-05 19:31:25 +03:00 |
|
damirka
|
925afef17c
|
function
|
2021-05-05 18:29:44 +03:00 |
|
damirka
|
032341089b
|
program state
|
2021-05-05 17:48:33 +03:00 |
|
damirka
|
72648c993c
|
program inputs
|
2021-05-05 17:35:34 +03:00 |
|
damirka
|
dd4d909998
|
Merge branch 'master' into compiler-tests
|
2021-05-05 11:56:00 +03:00 |
|
damirka
|
71486fb628
|
circuits
|
2021-05-05 11:37:51 +03:00 |
|
damirka
|
8464c5b9d2
|
i8 + mutability
|
2021-05-03 17:28:53 +03:00 |
|
damirka
|
0b798dc950
|
console + definition + core
|
2021-05-03 16:47:33 +03:00 |
|
gluax
|
e0cf988261
|
hacky, but optional comma only allowed on last member variable
|
2021-04-29 15:22:17 -04:00 |
|
Protryon
|
534f36a077
|
compiler tests
|
2021-04-19 18:08:14 -07:00 |
|
Protryon
|
d933a49eb0
|
extract test framework
|
2021-04-19 06:46:22 -07:00 |
|
collin
|
c728fb4b19
|
fix error spacing
|
2021-04-15 12:37:22 -07:00 |
|
collin
|
1fee0d3101
|
fix parser tests
|
2021-04-15 12:11:22 -07:00 |
|
gluax
|
2f7ed99f76
|
pull max's required semi-colon branch to ensure sameness, MD file renamed to readme
|
2021-04-14 18:38:49 -04:00 |
|
gluax
|
a666ef2a05
|
regen parser tests
|
2021-04-14 18:31:27 -04:00 |
|
Protryon
|
51920b5df7
|
require semicolons on return
|
2021-04-14 15:27:57 -07:00 |
|
gluax
|
6e595bd845
|
remove escaped double quote for now, address(...) removed
|
2021-04-14 17:43:02 -04:00 |
|
gluax
|
1803925b08
|
semi-colon after return statements are required
|
2021-04-14 16:59:07 -04:00 |
|
gluax
|
91634d6479
|
implicit input, removed from function input
|
2021-04-14 16:00:19 -04:00 |
|
Protryon
|
7aeb8f15ee
|
ns -> namespace
|
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
|
1d9befc0ac
|
function input mutable by default
|
2021-03-19 11:30:24 -04:00 |
|
gluax
|
b50919085b
|
deprecate let mut, undeprecate const, let is now mutable by default
|
2021-03-18 15:19:07 -04:00 |
|
Protryon
|
a4f2101aaf
|
remove if from ternary expression
|
2021-03-08 14:45:38 -08:00 |
|
Protryon
|
d400764e00
|
parser rewrite
|
2021-03-03 09:59:24 -08:00 |
|