waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 502a13756a
         remove irrelevant comment. KtorZ 2024-03-13 13:06:17 +0100
  • 961806617f
         Add more failing tests for expecting on into opaque types. KtorZ 2024-03-13 13:05:44 +0100
  • 3820d2af14
         Remove potentially problematic use of ".." in pattern-match KtorZ 2024-03-13 10:03:08 +0100
  • 7af4ef53ab
         feat: block expects on opaque types rvcas 2024-03-12 17:31:13 -0400
  • 1d72838f83 fix: awkward assignment formatting microproofs 2024-03-13 19:10:06 -0400
  • b16880a170 feat(annotation): not passing annotation into lambda when backpassing microproofs 2024-03-13 19:08:53 -0400
  • cc99eceda8 chore: update changelog rvcas 2024-03-11 19:11:40 -0400
  • 5840ce34af chore: commit an ignore we can all use without accidentally commiting test files/folders rvcas 2024-03-11 19:10:16 -0400
  • 7b32d4ae30 chore: add a test for formatting assignment patterns rvcas 2024-03-11 19:08:51 -0400
  • 945b4155cd fix(assignment-patterns): allow trailing rvcas 2024-03-11 18:57:21 -0400
  • 97247ce949 chore: assignment patterns refactor tuple into struct rvcas 2024-03-11 18:53:29 -0400
  • b6b52ba508 feat(backpassing): implements multi patterns rvcas 2024-03-11 18:23:17 -0400
  • f02b9b0f0c
         Merge pull request #871 from aiken-lang/backpassing Matthias Benkort 2024-03-11 01:06:17 +0100
  • 4fbb4fe2db
         Handle fuzzer failing unexpected KtorZ 2024-03-11 01:04:46 +0100
  • 7e8e959251
         Fix spans and error reporting for backpassing. KtorZ 2024-03-11 00:16:08 +0100
  • a57dcf3307
         Allow backpassing with expect. KtorZ 2024-03-11 00:15:53 +0100
  • 435dd0d213
         Refactor AssignmentKind to allow backpassing on both let and expect. KtorZ 2024-03-10 23:04:07 +0100
  • df898bf239
         Rework monadic-bind into function backpassing. KtorZ 2024-03-10 14:05:56 +0100
  • 1f530f3b24
         Experiment with monadic bind. KtorZ 2024-03-10 11:26:41 +0100
  • 0e0bed3c9d
         Collect traces from last prop-test run on failure KtorZ 2024-03-10 19:24:25 +0100
  • d4069148c7
         Remove UnitTestResult's output field KtorZ 2024-03-10 18:59:11 +0100
  • be7d07fa99
         Always show test traces (unless manually turned off with flag) KtorZ 2024-03-10 18:53:11 +0100
  • c169596c76
         preserve type-aliases from annotations on calls. KtorZ 2024-03-10 00:38:03 +0100
  • 191e4d47b3
         Remove dead-code: 'Layer' KtorZ 2024-03-09 23:13:00 +0100
  • ec18127191
         Merge pull request #869 from aiken-lang/non-serialisable-types Matthias Benkort 2024-03-09 22:39:41 +0100
  • 80a9393db7
         Add --include-dependencies to 'aiken docs' KtorZ 2024-03-09 22:35:38 +0100
  • ee54266d1f
         Forbid non-serializable inhabitants in compound data-types. KtorZ 2024-03-09 22:23:44 +0100
  • 37627e3527
         Fix indentation of pipelines. KtorZ 2024-03-09 20:44:51 +0100
  • 6ba74125c7
         Remove extra newlines in test report and only print coverage on success. KtorZ 2024-03-09 20:32:38 +0100
  • cf86a20256 update Changelog microproofs 2024-03-09 13:27:32 -0500
  • c7dcb2c256 Add tests for zero arg cyclic functions and renamed function aliases microproofs 2024-03-09 13:23:27 -0500
  • 22b86a5f82
         Add --max-success for running more or less prop runs on demand. KtorZ 2024-03-09 19:17:57 +0100
  • d581183cc6
         Fix formatter discarding nul bytes. KtorZ 2024-03-09 18:59:35 +0100
  • b761d6a76d fix: function aliases were leading to free uniques microproofs 2024-03-09 12:46:12 -0500
  • bffa678178 fix: mutually recursive zero arg functions needed to have their function bodies delayed microproofs 2024-03-09 10:04:30 -0500
  • 7f0df40b4e
         Merge pull request #862 from SundaeSwap-finance/pi/summary-check-count Matthias Benkort 2024-03-09 13:10:16 +0100
  • c51741cc35 fix: mutually recursive zero arg function calls were reaching an unreachable microproofs 2024-03-08 22:58:03 -0500
  • ebd6c3a56e Cargo fmt Pi Lanningham 2024-03-08 20:43:27 -0500
  • ace58e368c Correctly report the checks count Pi Lanningham 2024-03-08 20:40:50 -0500
  • 77faee672e
         cargo fmt --all KtorZ 2024-03-09 01:28:48 +0100
  • bbe7c0bc01
         report prop test coverage labels on success. KtorZ 2024-03-09 01:21:13 +0100
  • 96da70149d
         Count labels in properties. KtorZ 2024-03-09 00:30:30 +0100
  • d6cc9bdfbe
         Allow implicit discard when right-hand side is Void. KtorZ 2024-03-08 23:48:42 +0100
  • d73f8fd6c2 chore: update changelog rvcas 2024-03-08 19:16:13 -0500
  • cb0ae0c074 feat: impl some conversion methods on CheckedModule rvcas 2024-03-08 19:15:22 -0500
  • d55b7844f0 feat: impl serde for TypeAliasAnnotation rvcas 2024-03-08 17:33:08 -0500
  • 2b5ed95df5 feat: serialize as cbor rvcas 2024-03-07 19:29:57 -0500
  • 836e853827 fix: bring back vec1 rvcas 2024-03-07 14:27:53 -0500
  • 9d99b509b2 chore: this should be gone rvcas 2024-03-07 13:58:25 -0500
  • fe6710935d feat: impl serde on errythang rvcas 2024-03-07 13:54:20 -0500
  • e944f10372 Add an optional check count; when we run a command that runs tests, we can set this to Some(x) and it'll print in the summary Pi Lanningham 2024-03-08 17:36:32 -0500
  • 49ca7e1f75
         chore: update changelog rvcas 2024-03-08 16:21:48 -0500
  • a9d596f4cb
         Memoize simplification steps during property-based shrinking. KtorZ 2024-03-08 18:58:44 +0100
  • c906501836 add one more test microproofs 2024-03-08 12:25:26 -0500
  • 64f580bb82 one more change to the changelog microproofs 2024-03-08 12:19:18 -0500
  • 9636a4de03 update changelog microproofs 2024-03-08 11:18:50 -0500
  • bc161f761b
         Merge pull request #860 from aiken-lang/preserve-type-aliases Matthias Benkort 2024-03-08 16:41:44 +0100
  • a578728a94
         Resolve type aliases based on inferred types. KtorZ 2024-03-08 15:53:41 +0100
  • ed9f5c6ef7
         Preserve TypeAlias in types for better context/feedback. KtorZ 2024-03-08 12:46:42 +0100
  • 877d10ef22
         Use inferred Fuzzer inner type for unify error when possible. KtorZ 2024-03-08 15:57:22 +0100
  • eb07365e73 fix tests microproofs 2024-03-07 22:59:35 -0500
  • 94f383762c step up the optimizations a bit more by inlining a small function microproofs 2024-03-07 20:25:20 -0500
  • bf429fbdbf remove unused import microproofs 2024-03-07 16:27:27 -0500
  • dcec8ecfe6 remove unused special function microproofs 2024-03-07 14:14:58 -0500
  • 541d96f558 remove comment line microproofs 2024-03-07 12:24:39 -0500
  • 275db2fd11 update tests microproofs 2024-03-07 09:46:41 -0500
  • ae396c0224 Fix opaque type destructuring in code gen microproofs 2024-03-07 00:41:43 -0500
  • 1edd1a1fa3 change currying to happen with 3 or more occurrences microproofs 2024-03-07 00:01:24 -0500
  • e9122de061 more identity reduce testing microproofs 2024-03-06 14:15:14 -0500
  • dabaae8ca6 more identity and inline tests microproofs 2024-03-05 18:20:13 -0500
  • 97b0cf6813 reorganize shrinker tests microproofs 2024-03-05 18:13:02 -0500
  • eb709d6fc3 reorder tests to match order of functions microproofs 2024-03-05 17:49:49 -0500
  • fab6d5aff7
         chore: fix fmt rvcas 2024-03-07 19:32:33 -0500
  • 8e558d893f
         Only reify unit tests assertions on failure. KtorZ 2024-03-07 19:07:55 +0100
  • 0d599f7e2d
         re-add missing newline after test blocks. KtorZ 2024-03-07 18:28:21 +0100
  • 23a22a65cb
         Handle (recursive) generic types during reification. KtorZ 2024-03-07 18:06:36 +0100
  • a3fbe6c155 fix tests microproofs 2024-03-06 15:59:26 -0500
  • e217423145 mixed up pair builtin microproofs 2024-03-06 15:30:32 -0500
  • bdd84dc952 fixing the tests lead to me create a new function for converting from data microproofs 2024-03-06 15:23:41 -0500
  • 892da06e14 add more runtime checking for a few of the data to primitive conversions microproofs 2024-03-06 14:41:37 -0500
  • 4c97240900
         Fill-in CHANGELOG about associativity. KtorZ 2024-03-07 01:31:04 +0100
  • 0f926d3c31
         Fix code-gen tests due to associativity change. KtorZ 2024-03-07 01:28:51 +0100
  • bff822ea7f
         Rework unit test report to leverage new reification KtorZ 2024-03-07 01:04:50 +0100
  • 59996850c1
         Implement 'reify_constant' and rename reify to 'reify_data' KtorZ 2024-03-07 00:04:35 +0100
  • 8ffa68d2f0
         Fix && and || associativity. KtorZ 2024-03-07 00:02:35 +0100
  • c9ab1aec98
         chore: consume errs instead of cloning rvcas 2024-03-06 18:20:14 -0500
  • f8377af0c8 feat(parse): run in parallel rvcas 2024-03-06 17:05:07 -0500
  • 9c5556aa1e feat(deps): remove tests from ast and ignore warnings rvcas 2024-03-06 17:04:38 -0500
  • 25ebdc2527
         fix: validator args unexpectedly unbound rvcas 2024-03-06 14:15:00 -0500
  • ad4840958c
         chore: add test for validator args with no annotation rvcas 2024-03-06 11:19:27 -0500
  • f14bab69c0
         Merge pull request #851 from aiken-lang/update-built Matthias Benkort 2024-03-06 17:11:05 +0100
  • 2bc433f61e fix: need to use temp_term for counting var occurrences in identity reducer chore: Adding more shrinker tests and fixed some of the existing ones microproofs 2024-03-05 12:08:18 -0500
  • b146db8c95 update package dependency microproofs 2024-03-05 10:23:29 -0500
  • 52795692d6 Bump mio from 0.8.10 to 0.8.11 dependabot[bot] 2024-03-05 15:16:55 +0000
  • 966a20f691
         Fix run_n_times for properties expected to fail. KtorZ 2024-03-04 23:41:37 +0100
  • 4d432513e0
         Fix interesting case identification for properties expected to fail. KtorZ 2024-03-04 23:28:45 +0100
  • 4097d1edb2
         Fix negative integer literal parsing in fuzzer DSL. KtorZ 2024-03-04 23:27:23 +0100
  • fbeb611e5f
         Show counter examples in green when property is expected to fail. KtorZ 2024-03-04 20:40:54 +0100
  • 3e922c0a52
         Allow primitive literals, lists and tuples in fuzzer expressions. KtorZ 2024-03-04 20:40:40 +0100
  • c7cd89d127
         chore: fix fmt rvcas 2024-03-04 13:03:07 -0500