waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
6a1b2db698e8bec08303629a8442d452196fe2ec
aiken/examples/acceptance_tests
History
microproofs bfa4cc2efc fix: some function dependency tree path was not being updated in order 
fix: revert to old implicit way of casting to data for now
2023-08-07 12:02:44 -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
chore: convert acceptance test 5
2023-04-19 16:08:55 -04:00
006
feat: add end to end tests to replace acceptance tests with strict uplc comparison.
2023-04-19 16:08:55 -04:00
007
chore: converted acceptance tests 5-7
2023-04-19 20:03:41 -04: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
fix: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -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: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -04: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
fix: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -04:00
071
fix: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -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
fix: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -04:00
078
Correctly nest multiline pipeline expressions.
2023-03-30 12:48:15 +02:00
079
fix: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -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
081
fix: issue with tuple clause
2023-06-23 12:36:15 -04:00
082
fix: gift card example stdlib update
2023-06-13 00:38:29 -04:00
083
chore: update tests
2023-06-22 18:20:31 -04:00
084
fix: expect _ = ... not including the cast from data logic if the type is data and right hand has a type annotation
2023-06-23 18:39:12 -04:00
085
fix: expect _ = ... not including the cast from data logic if the type is data and right hand has a type annotation
2023-06-23 18:39:12 -04:00
086
test: add acceptance test 86
2023-07-04 12:24:25 -04:00
087
Fixes evaluation of large positive bigint in the UPLC machine
2023-07-05 18:52:14 +02:00
script_context
fix: some function dependency tree path was not being updated in order
2023-08-07 12:02:44 -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