| .. |
|
001
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
002
|
fix: rename test module to tests
|
2022-12-23 22:00:59 -05:00 |
|
003
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
004
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
005
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
006
|
Fix and re-apply formatter on all acceptance tests
|
2023-01-14 20:23:17 +01:00 |
|
007
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
008
|
chore: fmt most of the acceptance tests
|
2023-02-09 00:57:14 -05:00 |
|
009
|
chore: fmt most of the acceptance tests
|
2023-02-09 00:57:14 -05:00 |
|
010
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
011
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
012
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
013
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
014
|
fix: rename test module to tests
|
2022-12-23 22:00:59 -05:00 |
|
015
|
Fix and re-apply formatter on all acceptance tests
|
2023-01-14 20:23:17 +01:00 |
|
016
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
017
|
chore: fmt most of the acceptance tests
|
2023-02-09 00:57:14 -05:00 |
|
018
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
019
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
020
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
021
|
fix: rename test module to tests
|
2022-12-23 22:00:59 -05:00 |
|
022
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
023
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
024
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
025
|
fix: rename test module to tests
|
2022-12-23 22:00:59 -05:00 |
|
026
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
027
|
Fix and re-apply formatter on all acceptance tests
|
2023-01-14 20:23:17 +01:00 |
|
028
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
029
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
030
|
fix: rename test module to tests
|
2022-12-23 22:00:59 -05:00 |
|
031
|
fix: acceptance test 031
|
2022-12-27 22:33:09 -05:00 |
|
032
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
033
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
034
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
035
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
036
|
refactor the rest of the term builders to use more concise code
|
2023-03-21 00:50:13 -04:00 |
|
037
|
Add acceptance test scenario: 037
|
2022-12-29 17:40:21 +01:00 |
|
038
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
039
|
chore: fmt most of the acceptance tests
|
2023-02-09 00:57:14 -05:00 |
|
040
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
041
|
feat: add identity, always, & flip
|
2023-01-14 23:33:49 -05:00 |
|
042
|
feat: add identity, always, & flip
|
2023-01-14 23:33:49 -05:00 |
|
043
|
feat: add identity, always, & flip
|
2023-01-14 23:33:49 -05:00 |
|
044
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
045
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
046
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
047
|
feat(codegen): support multi-validators
|
2023-03-17 18:40:44 -04:00 |
|
048
|
create struct Air Env
|
2023-03-27 20:00:32 -04:00 |
|
049
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
050
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
051
|
test: verify schnorr and ecdsa
|
2023-02-04 22:07:56 -05:00 |
|
052
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
053
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
054
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
055
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
056
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
057
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
058
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
059
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
060
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
061
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
062
|
Fix acceptance tests to use new syntax.
|
2023-02-19 10:10:40 +01:00 |
|
063
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
064
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
065
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
067
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
068
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
071
|
fix last 2 acceptance tests
|
2023-03-27 20:00:32 -04:00 |
|
072
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
074
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
076
|
Enforce newline after assignment / clause.
|
2023-03-16 19:46:46 +01:00 |
|
077
|
refactor the rest of the term builders to use more concise code
|
2023-03-21 00:50:13 -04:00 |
|
078
|
refactor the rest of the term builders to use more concise code
|
2023-03-21 00:50:13 -04:00 |
|
079
|
refactor the rest of the term builders to use more concise code
|
2023-03-21 00:50:13 -04:00 |
|
script_context
|
fix: trace and scope issues
|
2023-03-21 12:38:13 -04:00 |
|
.gitignore
|
feat: add trace
|
2022-12-21 14:39:46 -05:00 |
|
ci
|
Fix CI script + add script interactions.
|
2023-02-15 09:42:46 +01:00 |
|
fmt
|
chore: fmt most of the acceptance tests
|
2023-02-09 00:57:14 -05:00 |
|
fmt-all
|
chore: fmt most of the acceptance tests
|
2023-02-09 00:57:14 -05:00 |
|
run
|
Fix 'run' script, also do 'check' on modules that have validators.
|
2023-03-16 23:04:24 +01:00 |
|
run-all
|
Add new acceptance test scenario: 036
|
2022-12-29 12:11:55 +01:00 |
b2dcb112c9