ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 07:11:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,263 Commits 53 Branches 46 Tags 339 MiB
cf5a23b38f
Commit Graph

1193 Commits

Author SHA1 Message Date
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
d6266102c3 more tests, hex fix 2021-06-09 15:54:05 -07:00
howardwu
6f5c02ae6d chore(leo): bump version for new release 2021-06-08 22:51: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
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
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
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
damirka
d979a06eac fix output of characters in out file 2021-06-03 15:38:58 +03:00
howardwu
eaadb29448 chore(leo): bump version for new release 2021-05-31 19:53:31 -07: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
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
4fe91f0f39 string canonicalization to char array 2021-05-20 12:39:36 -04: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
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
gluax
768a597e04 merge in field operator updates 2021-05-19 13:25:58 -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
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
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
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
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
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
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
Alessandro Coglio
2ddb474dce
Merge pull request #903 from AleoHQ/bug/abnf-circuit-grammar 
Bug/abnf-circuit-grammar
 2021-05-06 11:50:20 -07:00
damirka
ac57fe6410 test conflicts + clippy 2021-05-06 14:27:42 +03:00
damirka
6bb14425fd Merge branch 'master' into compiler-tests 2021-05-06 14:15:03 +03:00
damirka
d5e8fb3718 imports 2021-05-05 19:31:25 +03:00
damirka
2ac3468d18 fixes constant tuples in inputs 2021-05-05 15:58:26 +03:00
damirka
dd4d909998 Merge branch 'master' into compiler-tests 2021-05-05 11:56:00 +03:00
gluax
ffb7cab142 bug fix 905, make sure values are constant when assign is constant 2021-05-03 15:32:11 -04: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
Collin Chin
aaa42bba4c
Merge pull request #705 from AleoHQ/feature/485-defines 
Feature/485 global consts
 2021-04-28 14:06:40 -07:00
Collin Chin
b4584399ef
Merge pull request #810 from AleoHQ/feature/opti-cli-flag 
[CLI] Adds CompilerOptions flags to Leo CLI
 2021-04-26 22:56:55 -07:00
gluax
e71c8d99e0 import global consts, clean up, test type inference on global consts 2021-04-26 17:51:19 -04:00
damirka
6ef9b86cc2 Merge branch 'feature/opti-cli-flag' of github.com:AleoHQ/leo into feature/opti-cli-flag 2021-04-26 23:42:57 +03:00
damirka
a1326d386e Merge branch 'master' into feature/opti-cli-flag 2021-04-26 23:39:10 +03:00
Collin Chin
b6f6f051f0
Merge pull request #896 from AleoHQ/feature-relative-imports 
[CLI] Makes import path relative to program directory
 2021-04-26 13:37:19 -07:00
damirka
1676d12f66 makes import path relative to program directory 2021-04-26 23:02:35 +03:00
damirka
5d359f23f5 Merge branch 'master' into feature/input-kebab 2021-04-26 22:25:10 +03:00
gluax
438c20c14d merge master, resolve conflicts, login test is failing 2021-04-26 14:43:21 -04:00
collin
de685928e2 rename stage -> phase 2021-04-21 15:22:20 -07:00
damirka
ad86b23c01 adds search for @test(custom) inputs path in kebab case 
- in Leo test envs can only be snake_cased
- while we suggest naming inputs and folders in kebab-case
- this patch searches for both test_input and test-input options in inputs
 2021-04-21 15:27:10 +03:00
Protryon
534f36a077 compiler tests 2021-04-19 18:08:14 -07:00
gluax
7031923921 clean up comments 2021-04-19 14:36:56 -04:00
gluax
8c497f0b7a more test coverage 2021-04-19 13:53:49 -04:00
gluax
f7ec5de7c9 fix address in test 2021-04-15 17:08:30 -04:00
gluax
0016a1beaa update to lastest master, with FormatString rename 2021-04-15 16:55:48 -04:00
howardwu
4eac040178 chore(leo): bump version for new release 2021-04-15 13:49:42 -07:00
Collin Chin
5f46ccc026
Merge pull request #869 from AleoHQ/bug/calling-mut-method-from-immutable-context 
bug-fix-852
 2021-04-15 11:51:11 -07:00
gluax
59f86c4b34 fix call for immutable context, add it to test 2021-04-15 14:34:22 -04: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
Protryon
df60874da9 fix tests 2021-04-14 15:27:57 -07: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
11c78da916 formatted string -> renamed format string 2021-04-14 16:15:27 -04:00
gluax
1231c5bc36 clippy fix 2021-04-14 16:03:53 -04:00
gluax
91634d6479 implicit input, removed from function input 2021-04-14 16:00:19 -04:00
damirka
fbe10b3aaf adds empty line to leo example 2021-04-14 20:06:14 +03:00
gluax
eaa07934ed resolve merge conflicts 2021-04-14 12:51:20 -04:00
damirka
794e0f1095 adds test for that scenario 2021-04-14 18:09:52 +03:00
Collin Chin
4ae6de4978
Add clippy flag 2021-04-13 15:22:31 -07:00
Collin Chin
e9988e9713
Add clippy flag 2021-04-13 15:22:01 -07:00
gluax
dc5d75da85 some clean up 2021-04-13 15:33:00 -04:00
gluax
a54488b45f use stage macro for cleaner type inference 2021-04-13 13:49:16 -04:00
gluax
fdf54ea9a1 make macro to make this easier 2021-04-13 13:36:16 -04:00
gluax
61e791c671 type inference tests 2021-04-13 11:52:01 -04:00
gluax
f612ed441a type inference, and canonicalization bug fixes 2021-04-12 16:21:44 -04:00
gluax
214d9e0f8c More generic errors for reducing 2021-04-12 12:33:06 -04:00
gluax
29b8b2e301 add another test for tuple defined arrays 2021-04-12 11:47:19 -04:00
gluax
2bb85f52c1 quick fix, it's in order in this location not reversed, add tests 2021-04-09 22:52:14 -04:00
damirka
1e1697b7fe Merge branch 'master' into feature/opti-cli-flag 2021-04-10 00:33:19 +03:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
gluax
bddcef732f merge master, clean up reducer and directors 2021-04-09 12:48:59 -04:00
gluax
f963782d90 some bug fixing 2021-04-08 17:56:56 -04:00
gluax
cb2f77c7e4 program in, time to test 2021-04-08 16:36:37 -04:00
gluax
97b434986d statements 2021-04-08 16:06:44 -04: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
gluax
55dae9bc14 push some expression solving, start statements 2021-04-07 13:21:10 -04:00
damirka
8ac7440daa adds test, expects asg error 2021-04-07 20:20:58 +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
ljedrz
74f02411e8 fix: align with snarkVM's Integer changes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
gluax
ac9414590f reduce type and the basis for type_inference ast 2021-04-06 17:09:36 -04:00
gluax
541b83d492 working on directing expressions so far 2021-04-06 14:07:37 -04:00
Collin Chin
ea5bc5d693
Merge pull request #825 from AleoHQ/bug/815-mutable-method-imuttable-context 
Bug/815 mutable method imuttable context
 2021-04-05 21:12:39 -07:00
Collin Chin
f3f569b233
Merge pull request #824 from AleoHQ/feature/no-space-between-literals 
Feature/no space between literals
 2021-04-05 21:11:57 -07:00
gluax
38c36cc305 tests for all the integers 2021-04-05 12:59:08 -04:00
gluax
f0ce9d400e testing the changes 2021-04-05 12:54:27 -04:00
damirka
2578be4287 fix test 2021-04-05 19:37:16 +03:00
damirka
03b2af4aaa Merge branch 'master' into unused-code-bye-bye 2021-04-05 16:40:30 +03:00
damirka
a588c18100 clippy 2021-04-05 16:39:38 +03:00
damirka
044dc96e58 adds tests for outputfile 2021-04-05 16:08:54 +03:00
gluax
f44dcc1e96 test for bug 2021-04-02 04:50:14 -04:00
gluax
dc8a04e872 fix test 2021-03-31 14:59:45 -04:00
gluax
24e5d5365b resolve all the merge conflicts 2021-03-31 14:08:38 -04:00
damirka
41600d0261 removed unused errors in compiler 2021-03-31 18:06:22 +03:00
gluax
34f0f1519a merge latest abnf branch 2021-03-30 19:38:37 -04:00
Collin Chin
bb8534bad1
Merge pull request #801 from ljedrz/dedup_code 
Deduplicate code in Integer::allocate_type
 2021-03-30 15:24:35 -07:00
collin
5bfca36fc7 fix array indexing bug and add test 2021-03-30 14:28:22 -07:00
Protryon
426cfbc88c address todos 2021-03-29 15:57:17 -07:00
Protryon
a763075e99 runtime array indexing 2021-03-29 14:16:53 -07:00
collin
9be13dfd51 update comments 2021-03-29 12:12:38 -07:00
collin
6774cbb01c fix canonicalization tests 2021-03-29 11:24:58 -07:00
gluax
e1a0838888 global consts work, time to add them to reducers and phases 2021-03-29 12:55:49 -04:00
damirka
c21114c161 adds compiler optimizations flags to build and other commands 
- optimizations can either be turned all together or specified
- removed deprecated clippy rules, followed clippy
- removed library file logic from build command, we don't have libraries
 2021-03-28 19:28:00 +03:00
damirka
5fdf86f415 added compiler options to constructor and factory methods 2021-03-28 17:49:49 +03:00
gluax
dadb518598 forgot to update test json 2021-03-26 17:14:37 -04:00
gluax
3e912ef165 access member fix 2021-03-26 17:02:59 -04:00
gluax
871e52006b quick bug fix 2021-03-26 16:51:03 -04:00
gluax
dd06df4b1d it almost fully works, need to fix arrays, circuits and function calls 2021-03-26 15:47:11 -04:00
gluax
406692c2aa merge master, next is parser 2021-03-26 12:07:48 -04:00
Protryon
63d1b1005f format 2021-03-26 05:19:42 -07:00
Protryon
5985d8da41 tendrilize spans 2021-03-26 05:18:55 -07:00
collin
dcc2844a50 fix canonicalization test 2021-03-25 22:52:58 -07:00
collin
6a1afdabb7 Merge branch 'master' of https://github.com/AleoHQ/leo into feature/constant-mutable-declarations 2021-03-25 22:46:11 -07:00
collin
28bca20b97 pray to the clippy gods (allow upper case acronyms in state module) 2021-03-25 16:03:32 -07:00
collin
ef8517b8ce allow clippy warns 2021-03-25 15:51:46 -07:00