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

Commit Graph

  • ba76c1d2cf Adjust acceptance tests and fix IData and UData Niels Mündler 2023-12-18 14:48:00 +0100
  • 022503e254 Fix to_pallas_bigint Niels Mündler 2023-12-18 14:41:22 +0100
  • 1b1636ab0e Fix parsing of negative bigint Niels Mündler 2023-12-18 14:28:33 +0100
  • 0cfcd78039 Use more clear functions Niels Mündler 2023-12-14 11:40:22 +0100
  • 8c619954d3 Add conformance test for big ints Niels Mündler 2023-12-08 22:52:57 +0100
  • ceb6d63e95 Add parsing for big builtins Niels Mündler 2023-12-08 22:50:41 +0100
  • 6a10be3e82 chore: remove redundant clone microproofs 2023-12-13 19:17:34 -0500
  • a0ec92897b chore: clean up pr microproofs 2023-12-13 19:10:23 -0500
  • 2cd1379aec for now comment out curry code so the rest of the changes can be merged to main microproofs 2023-12-13 18:57:49 -0500
  • c0c9f2f432 commit latest changes microproofs 2023-12-13 18:54:10 -0500
  • 058a190294 feat: implement curried tree pruning microproofs 2023-12-11 15:25:09 -0500
  • 51079b8590 fix: builtin_force_reducer wasn't handling double forces correctly microproofs 2023-12-08 22:09:59 -0500
  • 4015550f55 start testing the first stage of currying builtins microproofs 2023-12-08 16:05:48 -0500
  • 249581e1bc chore: continuing progress on implementing currying optimization for builtins Introduced some new abstractions to make a different number of args easier to deal with microproofs 2023-12-06 10:06:02 -0500
  • 8fdedb754e chore: continue more on curry optimizations microproofs 2023-12-04 14:56:31 -0500
  • 88e21449c5 chore: comment fixes microproofs 2023-12-04 13:52:07 -0500
  • 5c688b1404 Feat: refactor optimizations to use tree traversal algorithm This makes each optimization a single function that acts on an existing tree traversal function microproofs 2023-12-04 11:27:50 -0500
  • 07122aaa88
         feat: allow importing off validators in validators/tests/* rvcas 2023-12-11 18:27:08 -0500
  • b25e82ed36 Handle errors and format Niels Mündler 2023-12-08 17:51:13 +0100
  • 772e73ae48 Fix parsing of hex encoded escaped bytes Niels Mündler 2023-12-08 17:39:56 +0100
  • 3ac35f4e00 Make sure that new issue is covered by testcase Niels Mündler 2023-12-08 16:37:41 +0100
  • d0bc782f75 Fix pretty prenting of strings in complex data structures Niels Mündler 2023-12-08 16:33:38 +0100
  • 92488e535a
         Fix type definitions for g1 & g2 elements. KtorZ 2023-12-08 16:58:12 +0100
  • 825e65d7a3 fix: zero arg functions were being compiled without the trace messages Now traces are added before evaluating microproofs 2023-12-06 10:31:48 -0500
  • 4b04517aba
         fix: blst stuff is not happy on windows aarch64 rvcas 2023-12-04 22:29:23 -0500
  • 2647e4aae6
         chore: Release rvcas 2023-12-04 22:14:03 -0500
  • 0a1e0d7bee
         feat: remove flat-rs crate and use it through pallas_codec rvcas 2023-12-04 22:01:51 -0500
  • b17b7f287c
         chore: update to pallas v0.20.0 rvcas 2023-12-04 21:44:19 -0500
  • 7c4cabada9
         chore: add latest acceptance artifacts rvcas 2023-12-04 21:10:55 -0500
  • 38e8255328
         chore: update changelog rvcas 2023-12-04 21:04:55 -0500
  • c50d4d1396
         fix: forgot to handle None case for other_fun in validator rvcas 2023-11-29 21:24:30 -0500
  • 1503b525b2
         feat(lsp): implement quickfix for utf8 byte array is valid hex string warning rvcas 2023-11-28 21:02:15 -0500
  • 858a9621fc
         fix: due to how error code now get printed match_code for quickfix was always false rvcas 2023-11-28 21:00:17 -0500
  • 1f411cde0e
         chore: needless dbg rvcas 2023-11-28 20:59:23 -0500
  • 2dab62857f
         chore: useless rebinding rvcas 2023-11-28 19:46:08 -0500
  • 832ca81a8c
         fix(lsp): when desugaring and/or chains we should use the whole span of the chain for the generated BinOp locations rvcas 2023-11-28 19:19:56 -0500
  • 7015a9badc
         feat(lsp): hover support for the optional multi validator fn rvcas 2023-11-28 19:18:29 -0500
  • 2159053cb5
         fix: using the word pattern here reads better and applies more broadly like for lists rvcas 2023-11-28 16:15:24 -0500
  • a46a7e82b7
         feat: implement hover on when clause patterns rvcas 2023-11-28 16:13:08 -0500
  • f7dd2de17b
         feat: implement hover info for tuple, list, and contructor pattern elements rvcas 2023-11-28 16:12:37 -0500
  • 6ce30bd949
         fix: allow spread operator on positional constructors closes #677 rvcas 2023-11-27 23:11:17 -0500
  • d5820bb20a
         fix: restore printing of some error messages rvcas 2023-11-27 21:48:56 -0500
  • 2980e8e21d
         fix: use a distinct warning for discarded let assignments to avoid confusion closes #763 rvcas 2023-11-27 21:23:10 -0500
  • c2725abcea
         Merge branch 'aiken-watch' KtorZ 2023-11-25 15:14:18 +0100
  • a23bc32fa2
         Fill-in CHANGELOG. KtorZ 2023-11-25 15:14:00 +0100
  • 40c0fa7d77
         Add --watch flag to the 'build' and 'docs' commands too. KtorZ 2023-11-25 14:52:51 +0100
  • 7645a9460f
         Display error codes better. KtorZ 2023-11-25 14:49:56 +0100
  • 6c039708c3
         Rework 'watch_project' to reuse 'with_project' KtorZ 2023-11-25 14:48:22 +0100
  • 777d30b8ac
         Rework 'with_project' to avoid early process exit. KtorZ 2023-11-25 13:26:24 +0100
  • 4adedaac15
         Remove unnecessary 'Rc' in function signature. KtorZ 2023-11-25 13:09:26 +0100
  • 1ca81ec133
         Turn evaluation hints into strings earlier, to make project's Error thread-safe. KtorZ 2023-11-24 09:44:02 +0100
  • d04094560b
         Add an example usage in the check command Pi Lanningham 2023-11-10 23:21:09 -0500
  • 4bb424ba78
         Fix a small bug with the filtering Pi Lanningham 2023-11-10 23:20:12 -0500
  • 5945a9515b
         Disable the doctest, since I don't have an impl of EventListener I can use Pi Lanningham 2023-11-10 21:52:26 -0500
  • 5068da3a17
         Refactor into cargo-project Pi Lanningham 2023-11-10 21:35:55 -0500
  • 771f6d1601
         Formatting and check Pi Lanningham 2023-11-09 14:59:07 -0500
  • 689a41ded4
         Implement a basic watch command Pi Lanningham 2023-11-09 14:53:41 -0500
  • 45177cd08b fix: add missing type checks for the new bls primitives microproofs 2023-11-23 13:00:24 -0500
  • 63f96d13ca fix: clippy warning microproofs 2023-11-22 19:17:45 -0500
  • 78b0789cbc chore: unit test for pub in validator module warnings closes #681 microproofs 2023-11-22 18:02:21 -0500
  • abd18656e3 fix: unable to have newline after expect bool shortcut rvcas 2023-11-18 17:45:41 -0500
  • 2ed91780f4 fix: call arg should be top level rvcas 2023-11-18 17:21:43 -0500
  • 7118253401 fix: if branches, final_else, and anon fns should all be "top level" rvcas 2023-11-18 17:15:58 -0500
  • 7680d33663 fix: panic in formatter when substracting u8 0 - 1 rvcas 2023-11-18 17:09:01 -0500
  • 6869f73033 fix: sequence formatting when not top level rvcas 2023-11-18 16:48:28 -0500
  • 1567e42875 chore: fill in machine todos and cost model for case and constr This allows for several more tests to pass **Had to remove case-7 since it was incorrectly passing before** microproofs 2023-11-17 19:52:03 -0500
  • 0382e5ce12
         chore: this comment doesn't make sense rvcas 2023-11-17 18:41:28 -0500
  • df992cba67 chore: remove check_type rvcas 2023-11-17 00:12:48 -0500
  • 9ab458dcc6 feat: delay typemismatch errors in the machine runtime rvcas 2023-11-16 23:55:07 -0500
  • ed909055b5 chore: temp remove conformance tests that are failing rvcas 2023-11-15 14:43:52 -0500
  • 308fb47e40 fix: don't panic on invalid hex strings rvcas 2023-11-15 14:39:51 -0500
  • dfa0378404 chore: explain a todo in the machine rvcas 2023-11-15 01:18:00 -0500
  • 3f8f624a7b fix(uplc): more whitespace characters rvcas 2023-11-15 01:05:37 -0500
  • 58d98b3325 fix(uplc): parser should accept single quote in var name and comments rvcas 2023-11-15 00:54:01 -0500
  • b6f6064aaf test: add all plutus conformance tests rvcas 2023-11-15 00:07:00 -0500
  • b80db2f7f8 fix(bls): wrong types for equals functions rvcas 2023-11-07 16:34:01 -0500
  • d53d2665b2 test(bls): g1 and g2 formatting rvcas 2023-11-07 16:06:10 -0500
  • c910e0054e test(bls): constant parsing tests rvcas 2023-11-07 16:02:20 -0500
  • 7073fd29b3 test(bls): literal parsing tests rvcas 2023-11-07 15:56:05 -0500
  • 8b89ba3b93 feat: implement bls primitives in code gen microproofs 2023-11-07 14:14:33 -0500
  • d51374aac1 feat: add conversion to data and from data for new primitive types microproofs 2023-11-07 00:10:42 -0500
  • 3675762c3e feat(bls): aiken level g1 and g2 literals rvcas 2023-11-06 22:58:21 -0500
  • 90aea6476a feat: uplc g1 and g2 literal parsing rvcas 2023-11-06 17:25:49 -0500
  • 6ce85e1662 fix: add keccak to TryFrom<u8> rvcas 2023-11-06 11:16:25 -0500
  • 49ae8152f8 feat(bls): add new aiken level builtins rvcas 2023-11-06 09:25:17 -0500
  • 8a3a465237 feat(bls): add new types to aiken prelude rvcas 2023-11-05 17:51:13 -0500
  • cdcd8172e6 feat(bls): pretty print mlresult type rvcas 2023-11-05 17:50:47 -0500
  • 318ae6aad4 feat(bls): finish cost model rvcas 2023-11-05 17:34:03 -0500
  • 5243c36ed6 feat(bls): add default costs for the new functions rvcas 2023-11-05 16:33:17 -0500
  • 18db1c394a feat: Implemented builtin semantic versioning feat: impl flat serialization and deserialization for bls constants feat: started on cost models for the new builtins microproofs 2023-11-02 22:46:59 -0400
  • f101581813 feat(bls): pretty printing for g1 and g1 element rvcas 2023-11-01 23:17:56 -0400
  • 0d2ac952d0 feat: implemented the Bls381-12 builtins and types also implemented Keccak256 and Blake2b_224 microproofs 2023-11-01 22:32:42 -0400
  • 446ef11606 chore: finishing acceptance test 29 and updating acceptance test lock files microproofs 2023-11-07 23:23:35 -0500
  • d50fb99b75 feat: add acceptance tests 28-30 microproofs 2023-11-06 23:03:07 -0500
  • 7d319077e6 chore: clean up validator comments and commit script context test lockfile microproofs 2023-11-06 15:49:13 -0500
  • 5d56d41a68 chore: update lock files for acceptance tests microproofs 2023-11-06 14:24:06 -0500
  • 2f694b01cb chore: use insta snapshot for blueprint validator tests microproofs 2023-11-06 14:19:49 -0500
  • 4eebd4628b chore: fix comment microproofs 2023-11-01 13:04:26 -0400
  • 7427bac4a0 chore: remove unused code microproofs 2023-10-31 14:39:39 -0400
  • 598ec5eaef Use a better algorithm for inlining single occurrences microproofs 2023-10-30 22:32:19 -0400