aiken/examples/acceptance_tests
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