waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,621 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

2621 Commits

Author SHA1 Message Date
logicalmechanism 050c41c8dc tx simulate returns a vector of exbudgets now 2023-08-16 22:37:00 -04:00
Ariady Putra 8cf92ce8ed `aiken new`: Try to get the latest tag of stdlib 2023-08-16 22:30:15 -04:00
microproofs c95f43ae07 add one more test 2023-08-16 21:59:25 -04:00
microproofs 20aa54b5ca fix: last test fixed 2023-08-16 21:59:25 -04:00
microproofs a45e04fd9b fix: using the wrong var for pattern matching 2023-08-16 21:59:25 -04:00
microproofs 2456801b17 fix list clauses with guards and add more tests 2023-08-16 21:59:25 -04:00
rvcas f4d0f231d7
test: fix acceptance tests 2023-08-16 14:52:06 -04:00
rvcas 80e4a5c6a2
chore: remove build folder 2023-08-16 14:17:33 -04:00
rvcas ae216bd932
test(ci): run examples too 2023-08-16 13:33:54 -04:00
rvcas 6ecb3f08b0
chore: default stdlib on new is 1.5.0 2023-08-16 13:24:10 -04:00
rvcas 0ff64e3bac test: check and format tests for logical op chain 2023-08-15 09:58:35 -04:00
rvcas e14d51600f feat(format): logical op chain 2023-08-15 09:58:35 -04:00
rvcas 2c2f3c90fb feat: new snapshots 2023-08-15 09:58:35 -04:00
rvcas 05eb281f40 chore: can safely remove this at this point 2023-08-15 09:58:35 -04:00
rvcas e4ef386c44 feat(tipo): inference for and/or chains 2023-08-15 09:58:35 -04:00
rvcas ab3a418b9c feat(parser): add support for and/or chaining 2023-08-15 09:58:35 -04:00
microproofs 4a1ae9f412 set eval to public 2023-08-12 16:42:23 -04:00
microproofs ca4a9fcd3d chore: make eval function and SlotConfig public 2023-08-11 20:33:08 -04:00
microproofs 8af253e1df chore: make slot_to_begin_posix_time a public function 2023-08-11 20:05:22 -04:00
microproofs 2f7784f31e chore: update changelog 
expecting a type on List<Data> from data now only checks that type is a list and not each element
 2023-08-10 23:01:46 -04:00
microproofs eda388fb29 test(aiken-lang): add a new test for list edge case in when clause patterns 2023-08-08 20:47:35 -04:00
microproofs 252f68de17 fix clippy 2023-08-07 19:08:18 -04:00
microproofs 367dabafb5 fix: update last 2 tests for new recursion optimization 2023-08-07 19:06:00 -04:00
Pi Lanningham f464eb3702 Cargo fmt + clippy, with latest rust 2023-08-07 19:00:39 -04:00
Pi Lanningham 0d99afe5e2 Cargo fmt 2023-08-07 19:00:39 -04:00
microproofs 90c7753201 update tests for new recursion optmization 2023-08-07 19:00:39 -04:00
microproofs 65984ed15b fix: move where we call the with in traverse_tree_with 2023-08-07 19:00:39 -04:00
Pi Lanningham dba0e11ba7 Add other shadowing cases 2023-08-07 19:00:39 -04:00
Pi Lanningham fc948f0029 Add the same optimization to dependent functions 
I originally didn't add this because I thought this was mutually
recursive functions, which I couldn't picture how that would work;

I refactored all this logic into modify_self_calls, which maybe needs a
better name now.

Perf gain on some stdlib tests (line concat tests) is 93%!!
 2023-08-07 19:00:39 -04:00
Pi Lanningham c45caaefc8 Rudimentary implementation 
Adds an identify_recursive_static_params; doesn't handle all shadowing cases yet
 2023-08-07 19:00:39 -04:00
Pi Lanningham 09f889b121 Add codegen for recursive statics case 
We also flip the recursive_statics fields to recursive_nonstatics; This makes the codegen a little easier.  It also has a hacky way to hard code in some recursive statics for testing
 2023-08-07 19:00:39 -04:00
Pi Lanningham 586a2d7972 Add recursive_static_params to AIR 
Any methods to a recursive function that are unchanged and forwarded
don't need to be applied each time we recurse; instead, you can
define a containing lambda, reducing the number of applications
dramatically when recursing
 2023-08-07 19:00:39 -04:00
microproofs 71a941e0b0 Update changelog 2023-08-07 12:11:39 -04:00
microproofs 6254eeb2ed add acceptance test 88 2023-08-07 12:02:44 -04:00
microproofs f7d278a472 fix: 2 acceptance tests were throwing errors due to exhaustiveness checker 2023-08-07 12:02:44 -04:00
microproofs 1d9878c5ee fix: code gen tests now up to date using trace 
fix: Formatter should take ErrorTerm and return "fail"
fix: fail with no reason should just return ErrorTerm
 2023-08-07 12:02:44 -04:00
microproofs 624fdee9ea keep traces in tests 2023-08-07 12:02:44 -04:00
microproofs 36c80f36c1 fix tests 2023-08-07 12:02:44 -04:00
microproofs 29599879b2 one minor tail fix in clause pattern 2023-08-07 12:02:44 -04:00
microproofs 6a1b2db698 use retain instead of position 2023-08-07 12:02:44 -04:00
microproofs 7bf22fa58b fix multivalidator issue 2023-08-07 12:02:44 -04:00
microproofs 281a8363c0 fixes to tuples and usage of discard. 
Also a fix to tail and its type in when list pattern matches
 2023-08-07 12:02:44 -04:00
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
microproofs a45ff692a6 last changes for today 2023-08-07 12:02:44 -04:00
microproofs db79468435 remove old stuff 2023-08-07 12:02:44 -04:00
microproofs aca79bd728 remove warning 2023-08-07 12:02:44 -04:00
microproofs 3189a60bdb fixes to how we sort dependencies. 
Also update dependency path based on a functions path.
 2023-08-07 12:02:44 -04:00
microproofs 80b950b8aa fix edge case with assign and pattern matching 2023-08-07 12:02:44 -04:00
microproofs 186e1235fd checkpoint 2023-08-07 12:02:44 -04:00
microproofs 1ee7492f1f fix tuple clause 2023-08-07 12:02:44 -04:00