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 |
|