ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 13:56:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,744 Commits 44 Branches 42 Tags 359 MiB
feat/constant-folding
Commit Graph

4744 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
906df51241 More error cleanup 2022-07-25 15:12:38 -07:00
Pranav Gaddamadugu
3e867010b4 Error cleanup; regen test expectations 2022-07-25 15:12:38 -07:00
Pranav Gaddamadugu
75e3e916e5 Test runner skips tests whose expectation mode is Skip 2022-07-25 14:18:53 -07:00
Pranav Gaddamadugu
53382d4d8c Constant folding for circuit init expressions 2022-07-25 14:18:53 -07:00
Pranav Gaddamadugu
950adda25e WIP more bug fixes 2022-07-25 14:18:32 -07:00
Pranav Gaddamadugu
3c80d18e25 WIP debugging corner cases 2022-07-25 14:04:53 -07:00
Pranav Gaddamadugu
1c0b34cb6d Regenerate parser test expectations 2022-07-25 14:02:03 -07:00
Pranav Gaddamadugu
8042271069 Remove debug prints 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
d5d8eee473 Pull tests/compiler and tests/parser from improved-flattening 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
c7a4895a6a Negating signed int minimum should fail by constant folding 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
63d697dcde Fix scope bug in constant folding 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
6ac9c76e66 Update input file format for some tests 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
ce50e2c36a Add scalar and string types for input 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
09e0b4670a Add constant folding pass to compiler, tests, and benches 2022-07-25 13:39:49 -07:00
Pranav Gaddamadugu
e9ab5944af Pull input/program_input.rs from improved-flattening 2022-07-25 13:38:01 -07:00
Pranav Gaddamadugu
524ce3b605 Initial impl of constant folding 2022-07-25 13:37:05 -07:00
Pranav Gaddamadugu
322e555286 WIP constant folding 2022-07-25 13:37:05 -07:00
Pranav Gaddamadugu
c289bd98ee Better names and cleanup 2022-07-25 13:37:05 -07:00
Pranav Gaddamadugu
dbd3d087ec Refactor InputValue; new input error 2022-07-25 13:31:46 -07:00
Pranav Gaddamadugu
7616ef4bdd WIP constant folding 2022-07-25 13:31:25 -07:00
Pranav Gaddamadugu
276df396c0 Remove spans from Value 2022-07-25 12:18:16 -07:00
Pranav Gaddamadugu
17c2088012 Rename Unroller to LoopUnroller; rename Flattener to ConstantFolder 2022-07-25 12:17:06 -07:00
Pranav Gaddamadugu
b196764800 Pull passes/flattening from improved-flattening 2022-07-25 12:13:41 -07:00
d0cd
9bd4db47fb
Merge pull request #1962 from AleoHQ/grammar-add-record-name-and-inner-rule 
[grammar] add missing record name identifier; factor circuit-componen…
 2022-07-24 21:53:24 -07:00
d0cd
06a11378e8
Merge pull request #1961 from AleoHQ/abnf-input-type 
[ABNF] Generalize input type.
 2022-07-24 21:53:08 -07:00
Eric McCarthy
9756714fd2 [grammar] add missing record name identifier; factor circuit-component-declarations into separate grammar rule 2022-07-23 23:32:17 -07:00
Alessandro Coglio
949aac14db [ABNF] Generalize input type. 2022-07-23 21:05:19 -07:00
d0cd
2a9cc42493
Merge pull request #1950 from AleoHQ/remove-unused-errors 
Remove unused errors
 2022-07-23 10:28:04 -07:00
Collin Chin
d8edb1b464
Merge pull request #1960 from AleoHQ/abnf-inclusive-loops 
[ABNF] Add inclusive loop bound.
 2022-07-22 09:24:18 -07:00
Alessandro Coglio
ba6c239964 [ABNF] Add inclusive loop bound. 
This is now part of the Leo compiler, so we need to update the grammar
accordingly.
 2022-07-21 13:35:39 -07:00
Collin Chin
70dab80358
Merge pull request #1957 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.15 
Bump tracing-subscriber from 0.3.14 to 0.3.15
 2022-07-21 11:17:27 -07:00
Collin Chin
77b447bda9
Merge pull request #1956 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.140 
Bump serde from 1.0.139 to 1.0.140
 2022-07-21 11:17:14 -07:00
Collin Chin
8082f9c5dc
Merge pull request #1955 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.14 
Bump clap from 3.2.12 to 3.2.14
 2022-07-21 10:48:54 -07:00
Collin Chin
188186f3c2
Merge pull request #1959 from AleoHQ/cleanup 
Minor cleanup
 2022-07-21 10:48:36 -07:00
Pranav Gaddamadugu
17efb7e9f3 Minor cleanup 2022-07-21 09:37:45 -07:00
dependabot[bot]
5423898495
Bump tracing-subscriber from 0.3.14 to 0.3.15 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.14 to 0.3.15.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.14...tracing-subscriber-0.3.15)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 10:14:30 +00:00
dependabot[bot]
e40735675f
Bump serde from 1.0.139 to 1.0.140 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.139 to 1.0.140.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.139...v1.0.140)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 10:14:23 +00:00
dependabot[bot]
108637cd8b
Bump clap from 3.2.12 to 3.2.14 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.12 to 3.2.14.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.12...v3.2.14)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 07:47:38 +00:00
Collin Chin
40c63fab7e
Merge pull request #1954 from AleoHQ/example/token 
add token example comments
 2022-07-21 00:46:14 -07:00
collin
eed9e215c8 Update dep 2022-07-21 00:28:14 -07:00
collin
97594cac4d add token example comments 2022-07-21 00:15:06 -07:00
Collin Chin
38d0108379
Merge pull request #1953 from AleoHQ/example/token 
fix groups example, add comments
 2022-07-20 23:33:09 -07:00
Collin Chin
adede74a2e
Merge pull request #1952 from AleoHQ/abnf-circuit-fix 
[ABNF] Fix rule for circuit declarations.
 2022-07-20 23:26:01 -07:00
collin
73fd21f198 fix groups example, add comments 2022-07-20 23:25:13 -07:00
Alessandro Coglio
f93ed1b15f [ABNF] Fix rule for circuit declarations. 
The identifier had been neglected.
 2022-07-20 18:36:23 -07:00
Collin Chin
b940ad01fc
Merge pull request #1951 from AleoHQ/example/token 
Example/token
 2022-07-20 16:13:03 -07:00
collin
a3e2944d55 add other examples 2022-07-20 16:07:37 -07:00
collin
f8582c398d fix manifest run bug 2022-07-20 15:56:48 -07:00
collin
92f97a4428 update deps 2022-07-20 15:29:59 -07:00
Pranav Gaddamadugu
a6feb314a7 Produce a valid record as input 2022-07-20 15:02:33 -07:00