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

Commit Graph

  • 36c80f36c1 fix tests microproofs 2023-08-01 15:48:18 -0400
  • 29599879b2 one minor tail fix in clause pattern microproofs 2023-07-31 15:32:46 -0400
  • 6a1b2db698 use retain instead of position microproofs 2023-07-31 15:26:38 -0400
  • 7bf22fa58b fix multivalidator issue microproofs 2023-07-31 15:00:49 -0400
  • 281a8363c0 fixes to tuples and usage of discard. Also a fix to tail and its type in when list pattern matches microproofs 2023-07-31 14:53:19 -0400
  • 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 microproofs 2023-07-31 12:57:15 -0400
  • a45ff692a6 last changes for today microproofs 2023-07-29 19:02:37 -0400
  • db79468435 remove old stuff microproofs 2023-07-29 18:53:53 -0400
  • aca79bd728 remove warning microproofs 2023-07-29 18:53:04 -0400
  • 3189a60bdb fixes to how we sort dependencies. Also update dependency path based on a functions path. microproofs 2023-07-29 18:52:36 -0400
  • 80b950b8aa fix edge case with assign and pattern matching microproofs 2023-07-29 15:28:22 -0400
  • 186e1235fd checkpoint microproofs 2023-07-28 21:02:29 -0400
  • 1ee7492f1f fix tuple clause microproofs 2023-07-28 20:23:32 -0400
  • 49a0a91103 fix tests again microproofs 2023-07-28 19:41:46 -0400
  • f5c7d222aa optmization fix microproofs 2023-07-28 19:39:52 -0400
  • 5aecb96668 constants are back. I had broke them when switching how data casting works microproofs 2023-07-28 18:37:16 -0400
  • 0b8266dfd1 some type conversion fixes microproofs 2023-07-28 15:35:36 -0400
  • 02948616cd some more fixes involving clauses microproofs 2023-07-28 14:48:18 -0400
  • a689b8748f fix: working on minor edge cases fix: zero arg function dependencies should not count as hoisted fix: tuple index was receiving the wrong type microproofs 2023-07-28 14:06:09 -0400
  • 4e3ced5b75 fix and clean up tests and handle one edge case on rearrange clauses microproofs 2023-07-28 13:52:32 -0400
  • 018453f6b1 fix expect on tuple type using the wrong internal type microproofs 2023-07-28 13:00:52 -0400
  • f03ed41e03 fix some unnecessary lambdas in assign microproofs 2023-07-28 12:39:20 -0400
  • 03dd13dc7d fixing list condition edge cases and clean up rearrange list clauses microproofs 2023-07-28 11:47:27 -0400
  • e8fa8f5423 fixing list clause issues microproofs 2023-07-27 17:05:22 -0400
  • c6f90a999b checkpoint microproofs 2023-07-27 14:42:21 -0400
  • 389699f485 fix to subject type for assignment on single clause microproofs 2023-07-27 11:21:28 -0400
  • dcb3a9b45b some type and expect fixes microproofs 2023-07-26 18:41:57 -0400
  • 3545bad3c4 fix typing to constr microproofs 2023-07-26 17:49:47 -0400
  • 52ebc9b6c1 some more fixes microproofs 2023-07-26 17:40:39 -0400
  • 58b327e5b3 fixing bugs and edge cases microproofs 2023-07-26 16:48:43 -0400
  • 2f4319f162 fix: tuples and list patterns had a few issues microproofs 2023-07-26 11:33:47 -0400
  • 960a15c4ec checkpoint - fixing tests and stuff microproofs 2023-07-25 21:19:23 -0400
  • 72b6f0f847 all but six tests passing microproofs 2023-07-25 15:46:53 -0400
  • 6eeb282dee Now code gen is finished and we just have testing microproofs 2023-07-25 14:18:47 -0400
  • 518bea5be4 feat: fixed up generate and generate test last step is checking on uplc code gen microproofs 2023-07-25 12:54:43 -0400
  • 18ea44adb0 chore: rename unwrapData and wrapData add validator cast function for extra validator params microproofs 2023-07-25 12:40:17 -0400
  • 55dd1a1a56 out with the old code and in with the air tree microproofs 2023-07-25 12:13:32 -0400
  • 02ce3761ae final checkpoint microproofs 2023-07-25 02:19:13 -0400
  • 8641c305f4 feat: airtree now hoists function. Now all that is left is finishing uplc gen microproofs 2023-07-24 16:17:52 -0400
  • 5ad8b520fd checkpoint microproofs 2023-07-21 17:36:48 -0400
  • 5a51764cff remove some warnings microproofs 2023-07-21 14:20:59 -0400
  • a099c01734 feat: add support for hoisting code gen functions fix: code gen vars should be module functions fix: missed a recursive call in do_find_air_tree_node under binop microproofs 2023-07-21 14:14:16 -0400
  • c0f09856d3 feat: Here's a first, we hoisted some user functions onto the validator microproofs 2023-07-21 11:55:48 -0400
  • 62660e04b5 checkpoint; Remaining work is on function hoisting. Functions have been defined and monomorphized microproofs 2023-07-21 01:14:22 -0400
  • ae9de11e77 big checkpoint: feat: add monomorphize and other useful tree function abstractions feat: started testing function hositing result so far microproofs 2023-07-20 21:02:33 -0400
  • 947c118175 checkpoint microproofs 2023-07-14 17:04:43 -0400
  • 9704cafefe a checkpoint for function hoisting start and type fix microproofs 2023-07-13 15:28:38 -0400
  • 55ae708e3e checkpoint: start on function hoisting microproofs 2023-07-12 17:39:23 -0400
  • 2b7e7ead1c feat: add support for validator arguments feat: finish expect type on data constr fix: tuple clause was exposing all items regardless of discard fix: tuple clause was not receiving complex_clause flag fix: condition for assert where constructor had 0 args was tripping assert fix: had to rearrange var and discard assignment to ensure correct val is returned fix: binop had the wrong type microproofs 2023-07-12 16:40:16 -0400
  • 7d4e136467 checkpoint microproofs 2023-07-10 22:09:58 -0400
  • fd83c9a739 feat: fix up generic type functions to work with the new air tree functions chore: remove commented code microproofs 2023-07-10 16:11:45 -0400
  • b3714ca9d0 fix: list clause guard for final clause needs to use list accessor microproofs 2023-07-06 19:29:40 -0400
  • 2c61ecd4bb feat: finish up nested clauses microproofs 2023-07-06 16:44:26 -0400
  • a3afb62861 chore: fixing nested clauses to match aiken stack air microproofs 2023-07-05 21:49:02 -0400
  • 95af421f95 feat: finish tuple conditions microproofs 2023-07-05 19:21:22 -0400
  • 05b6b2a97d chore: rename some functions microproofs 2023-07-02 15:01:26 -0400
  • c025073056 fix: List clauses were destructuring the next element unnecessarily feat: finish nested constructor clauses microproofs 2023-07-02 13:17:14 -0400
  • f6e163d16d feat: start on nested clauses chore: remove then field from list clause guard and clause guard microproofs 2023-07-01 20:27:48 -0400
  • 5bcc425f0f feat: changed air expressions clause guard and list clause guard to air statements microproofs 2023-07-01 18:58:06 -0400
  • 023be88bf6 chore: another checkpoint fix: guard clause to properly check condition microproofs 2023-07-01 15:35:37 -0400
  • f94c8213b6 checkpoint microproofs 2023-07-01 01:09:26 -0400
  • 0854d71836 chore: another checkpoint and renamed ClauseProperties fields microproofs 2023-06-30 01:56:23 -0400
  • d731757123 feat: start on clauses in when conditions **checkpoint** microproofs 2023-06-29 18:31:53 -0400
  • 96959011e9 feat: finish up build. just have helper methods feat: Create an air and AirTree iterator. This allows us to iterate forwards or backwards over the tree as a vec. chore: moved around some functions microproofs 2023-06-29 16:54:36 -0400
  • ba3265054c chore: move tree to gen_uplc2 and create a duplicate air file without scope microproofs 2023-06-29 13:30:24 -0400
  • 7cee9a4d15 chore: move assignment_air_tree and expect_type to gen_uplc feat: add is_primitive check to types microproofs 2023-06-29 13:04:38 -0400
  • cd726b561e feat: add removal of discard lets chore: Name change for AirTree sequence feat: finish up assignment constructor and list for airtree builder microproofs 2023-06-28 23:10:10 -0400
  • 59362e3d8c feat: almost done assignment have tuple and constr left feat: modified the AirTree structure to have statements, sequences, and expressions feat: changed the hoist_over function to be universal microproofs 2023-06-28 16:33:09 -0400
  • 65bb7e48e2 feat: start on build assignment feat: implement assignment hoisting microproofs 2023-06-28 01:55:16 -0400
  • c359bd35d7 feat: update tree to allow for let hoisting feat: start on build for when expressions feat: add builder methods for AirTree microproofs 2023-06-27 19:20:36 -0400
  • 83ade9335f feat: implement most of airtree build microproofs 2023-06-27 17:42:57 -0400
  • 5e097d42ba feat: add AirTree types and builder functions microproofs 2023-06-27 15:14:21 -0400
  • d25bb9ae60 format Olof Blomqvist 2023-08-04 20:22:57 +0200
  • 4e4a477ff1 meh Olof Blomqvist 2023-08-04 19:50:05 +0200
  • 17eef195a9 fix diagnostics and formatting on windows vscode Olof Blomqvist 2023-08-04 19:45:50 +0200
  • 266b6bbb7d
         fix(exhaustiveness): for constructor use correct name because import aliases rvcas 2023-08-03 16:28:47 -0400
  • 60ac8ab591
         fix(exhaustiveness): adjust helper method to get contructors properly rvcas 2023-08-03 16:14:42 -0400
  • 675b737898
         Check exhaustiveness behavior on pattern guards. KtorZ 2023-08-02 10:40:59 +0200
  • 4f7f39292d
         Fix subtle bug in pattern rendering KtorZ 2023-08-02 10:31:35 +0200
  • 00b255e960
         Remove now-dead code. KtorZ 2023-08-02 09:22:21 +0200
  • f3cab94ae1 test(check): a bunch of tests for the new exhaustiveness stuff rvcas 2023-08-01 16:06:34 -0400
  • 75e18d485d fix: redundant might be wildcard which doesn't match technically rvcas 2023-08-01 16:06:05 -0400
  • a6b230aad4 fix: exhaustiveness on types from other modules rvcas 2023-07-31 13:59:30 -0400
  • 7e531d0da1 fix: wrong var for name in UnknownModule error rvcas 2023-07-31 13:59:10 -0400
  • b6ac39f322 feat(exhaustiveness): show both clauses in redundant error rvcas 2023-07-31 13:21:01 -0400
  • ef2fc57ca9 feat(exhaustiveness): check tuple patterns rvcas 2023-07-28 23:35:59 -0400
  • f1100e901d feat(exhaustiveness): pretty print missing patterns rvcas 2023-07-28 22:51:57 -0400
  • de2791fe82 feat(tipo): add new error for redundant clauses rvcas 2023-07-28 17:56:56 -0400
  • 0061bcf78d feat: add support for list patterns rvcas 2023-07-28 14:24:52 -0400
  • e8a71cd63b chore: rename usefulness module rvcas 2023-07-24 22:21:18 -0400
  • 03efb46e6f feat(exhaustiveness): algorithm U borrowed from elm rvcas 2023-07-21 15:30:52 -0400
  • 55887d3a45 fix: decode should always print to textual microproofs 2023-08-01 00:47:29 -0400
  • 87d657593a add functions to blueprints w/pub-func waalge 2023-07-28 19:11:01 +0000
  • 622b0d51b0 chore: update flake waalge/direnv Cainã Costa 2023-07-27 10:18:48 -0300
  • acbbcc7f72 chore[nix]: remove unused cargoBuildFlags Cainã Costa 2023-07-27 10:17:59 -0300
  • 529749f204 feat[nix]: add cargo-insta Cainã Costa 2023-07-27 10:11:41 -0300
  • a1d7a29482 chore: remove unused deno dependency Cainã Costa 2023-07-27 10:11:21 -0300
  • c4810e7035 fix: use pure mkShell for devShell Cainã Costa 2023-07-27 10:08:12 -0300
  • 49cc76cf77 chore: cargo fmt Cainã Costa 2023-07-25 12:28:09 -0300
  • a0f0c20f03 feat: add completions to generated nix package Cainã Costa 2023-07-25 12:10:43 -0300