ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 09:02:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,751 Commits 53 Branches 44 Tags 331 MiB
4b64fbe03a
Commit Graph

2148 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
4b64fbe03a Fix error message 2023-04-18 17:22:59 -07:00
Pranav Gaddamadugu
98574495ff Update check 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
6a660c4ceb Remove gates check 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
581a671e31 Update maximum number of transitions 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
a613f35c07 Check that finalize block does not return a value 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
0b99135962 Update Mapping::get_or to Mapping::get_or_init 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
76693533b0 Update code gen for Mapping::set 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
e2749eebb9 Update snarkVM dep 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
f9851e1b97 Add support for associated methods on mappings 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
cff63e9918 Address feedback; remove leo-core 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
7bef7c401f Regen expectations 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
be3c58cf53 Update codegen 2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu
1a129ac375 Add test framework for finalize contexts 2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu
a0b00ac78c Update examples; fmt 2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu
bb5c793bb3 Fix code gen 2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu
8426f824ff Fix passes 2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu
da7537344b Rename Mapping::put to Mapping::set 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
aeab0c59ec Disallow records in finalize contexts 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
d4eb6441d7 Enable warnings in compiler output 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
37fe6f5bb1 Enable warnings for failing tests 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
ebe7f7ab00 DCE marks mapping core operations as necessary 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
4870b5badf Fix deprecation warning for increment/decrement statements 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
4f27c92f15 Remove Increment, Decrement statements from AST 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
4ee06d4342 Deprecate increment and decrement in language 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
30c9800e01 Check that mapping operations are invoked within a finalize block 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
15187edfcf Add codegen for core mapping ops 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
defb657e5a Implement tyc for mapping operations 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
10875c7edb Add core mapping functions to AST 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
34fb0d1815 Add tyc for core functions 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
d4230705e0 Remove CoreInstruction; leaving leo_core as a placeholder 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
0bc04791b6 Add CoreFunction to AST 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
cbd0663fa7 Add comment 2023-04-12 17:41:54 -07:00
Collin Chin
68eabc38ae simplify logic 2023-04-12 15:52:10 -07:00
Collin Chin
09aa6ce63a fix dependency nits 2023-04-12 15:41:57 -07:00
Pranav Gaddamadugu
59f418f5d0 Fix issue in codegen 2023-04-12 12:38:44 -07:00
Pranav Gaddamadugu
64548699a9 Fmt 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
98bbcacebb Update compiler test framework 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
acc358bbb4 Update build config 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
77ee8910a0 Refactor CompilerOptions 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
d26a5f693d DCE eliminates expr statements that are not function calls 2023-04-12 12:38:43 -07:00
d0cd
c55ec9894e
Merge pull request #2347 from AleoHQ/fix/issue-2346 
[Fix] Fixes variable renaming for inlined functions.
 2023-04-12 12:27:54 -07:00
d0cd
d039543c47
Merge pull request #2344 from AleoHQ/fix/issue-2343 
[Fix] Fix parsing for negative `scalar`, `field`, and `group` literals.
 2023-04-12 08:47:49 -07:00
Pranav Gaddamadugu
e460ce1c8e Support negative group literals 2023-04-11 10:44:26 -07:00
Pranav Gaddamadugu
0f8838c870 Fix bug 2023-04-11 10:11:08 -07:00
dependabot[bot]
5ea92392e5
Bump serde from 1.0.159 to 1.0.160 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.159 to 1.0.160.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.159...v1.0.160)

---
updated-dependencies:
- dependency-name: serde
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-11 10:59:01 +00:00
Pranav Gaddamadugu
b193d511ca Update test and regen expectations 2023-04-09 19:58:08 -07:00
Pranav Gaddamadugu
9181b23347 Fix parser 2023-04-09 19:53:29 -07:00
Pranav Gaddamadugu
fd22fb9ec4 Fix bug 2023-04-05 09:13:37 -07:00
Pranav Gaddamadugu
2b010b6992 Update snarkVM to 0.9.15, aleo to 0.3.6 2023-03-31 19:50:35 -07:00
d0cd
c74772cfac
Merge pull request #2328 from AleoHQ/fix/issue-2324 
[Fix] Fixes unwrapping panic when unwrapping `lookup_struct` in `ProgramVisitor::visit_function`
 2023-03-31 16:06:51 -07:00