waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
a686ac023dbae97ee444364998f6906a830ad497
aiken/examples/acceptance_tests
History
microproofs fc1b8738df fix: fixed how the ir was generating for expect Void, expect Bool, let Void 
add some acceptance tests for the various scenarios
2023-04-12 22:37:33 -04:00
..
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
fix some typos
2023-04-07 16:51:18 -04:00
036
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -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
fix some typos
2023-04-07 16:51:18 -04: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
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -04:00
048
Add new failing test case for 048 (clause guards)
2023-04-12 08:24:18 +02: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
Fix formatter inconsistency with record spread patterns.
2023-03-30 13:02:20 +02: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
Fix formatter inconsistency with record spread patterns.
2023-03-30 13:02:20 +02:00
068
Enforce newline after assignment / clause.
2023-03-16 19:46:46 +01:00
071
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -04:00
072
now tests are passing
2023-04-09 17:43:56 -04:00
074
Fix formatter inconsistency with record spread patterns.
2023-03-30 13:02:20 +02:00
076
fix: fixed how the ir was generating for expect Void, expect Bool, let Void
2023-04-12 22:37:33 -04:00
077
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -04:00
078
Correctly nest multiline pipeline expressions.
2023-03-30 12:48:15 +02:00
079
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -04:00
080
fix: fixed how the ir was generating for expect Void, expect Bool, let Void
2023-04-12 22:37:33 -04:00
script_context
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -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