Commit Graph

2223 Commits

Author SHA1 Message Date
rvcas 83d9172073
chore: add next section to changelog 2023-05-14 22:07:45 -04:00
rvcas f2d8c8938c
chore: Release 2023-05-14 21:25:29 -04:00
rvcas 327ff71af0
chore: prepare changelog for release
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-05-14 21:24:35 -04:00
microproofs f448cd111c update changelog 2023-05-14 18:32:01 -04:00
microproofs 4838ebd39e feat: record modules are no longer unimplemented for no fields
refactor: remove some clones and use a ref instead
test: add acceptance test 81
2023-05-14 18:30:51 -04:00
microproofs 3356e2ecd0 fix: nested constrs with a single index was ignoring fields 2023-05-14 17:33:01 -04:00
rvcas 271c22db1a [create-pull-request] automated change 2023-05-12 16:54:24 -04:00
rvcas 33f36a738b
chore: update readme
send people to the installation page
on the website instead of having redundant instructions
in this readme.
2023-05-12 14:36:23 -04:00
microproofs 252f829825 forgot one addition to changelog 2023-05-11 18:16:48 -04:00
microproofs 98ae94f443 changelog update 2023-05-11 18:12:07 -04:00
microproofs c3eab4cc2a chore: fix up when tuple deconstruction test
add inline test for optimization tests
add some more builder functions
2023-05-11 18:06:46 -04:00
rvcas 1fb31e246c
fix: better conditional comp for wasm 2023-05-11 16:59:54 -04:00
rvcas 312682e567 [create-pull-request] automated change 2023-05-10 09:38:46 -04:00
rvcas e1a75391a1
chore: Release 2023-05-09 23:16:59 -04:00
rvcas ce7bdea7be
chore: update changelog 2023-05-09 23:16:27 -04:00
microproofs 0c3dc0580a chore: add if_else optimization test 2023-05-09 19:09:24 -04:00
microproofs 6456001cbc fix: the uplc optimization tests were missing intern
add builtin force reduce tests
2023-05-09 18:55:53 -04:00
microproofs 419b946a82 fix: wrap_data_reduce optimization should leave constr data
and unconstr data untouched.
2023-05-09 16:56:50 -04:00
microproofs 4b8fd1769a chore: change pattern todos to have a better error message 2023-05-08 16:27:43 -04:00
microproofs 49898f7420 fix: to_data_builtin to operate on arg not func result 2023-05-08 16:15:09 -04:00
microproofs b36cf1c029 chore: refactor default functions in uplc_code_gen.
feat: Add an identity optimization to remove functions that return the argument only.
2023-05-08 16:15:09 -04:00
waalge d97aba430a fix github action nix 2023-04-30 20:32:24 -04:00
waalge d19fc5b7a3 bump flake and change inputs 2023-04-30 20:32:24 -04:00
waalge c6253d6074 bump flake and change inputs 2023-04-30 20:32:24 -04:00
microproofs d2dbae1cbf fix:
Negative numbers now show up as a constant instead of 0 - that number

Expect on constructors without field maps no longer panics

Expect on constructors with discard as assigned field names now no longer throws free unique
2023-04-30 14:44:54 -04:00
MicroProofs f601ff4703 [create-pull-request] automated change 2023-04-29 01:25:14 -04:00
microproofs b1728b57b8 chore: Release 2023-04-28 17:11:56 -04:00
microproofs 42ad45ee41 chore: prepare changelog for release 2023-04-28 17:07:27 -04:00
microproofs 332ce266da changelog update 2023-04-28 17:05:46 -04:00
microproofs 7201163b77 fix: better function hoisting for code gen functions
mainly code gen function dependencies won't be hoisted to the top.
2023-04-28 17:05:46 -04:00
microproofs 0d0c96deda commit validator changes and tests 2023-04-28 17:05:46 -04:00
microproofs b108c0f610 chore: add optimization test on unwrap data 2023-04-27 12:17:57 -04:00
microproofs 8b11844282 clippy fix 2023-04-26 17:40:27 -04:00
microproofs c3184c544c fix: wrap data reduce had the wrong argument called in recursively, thus skipping over cases that should have been reduced
chore: Add unit tests on for uplc optimizations
2023-04-26 17:22:16 -04:00
KtorZ af14d8be2e [create-pull-request] automated change 2023-04-26 14:22:26 -04:00
Matthias Benkort 67434c331e
Merge pull request #513 from aiken-lang/nix-bump
Cargo.nix, cargo2nix bump
2023-04-26 12:56:04 +02:00
Micah Kendall 29d76a3d89 bump cargo2nix 2023-04-26 18:39:21 +08:00
Micah Kendall 02136ade74 Cargo.nix bump 2023-04-26 18:24:16 +08:00
microproofs 537bcf176a chore: changelog update 2023-04-25 14:10:07 -04:00
microproofs b050018a37 test fix: blueprint change 2023-04-25 02:06:56 -04:00
microproofs ae68ae9afb fix: wrong var usage on inline_direct_reduce, now it properly looks at applied func not arg 2023-04-25 01:57:04 -04:00
rvcas baa2cef6c4
feat(playground): impl clone for some errors 2023-04-24 17:13:20 -04:00
microproofs ff87a4c60f fix: "when bool is" was not properly assigning term to body when not a complex clause
Add some end to end tests to test uplc
2023-04-23 12:51:23 -04:00
microproofs 9bb1a88f23 fix: expect [] on a non-empty list now fails. 2023-04-21 17:39:21 -04:00
microproofs 0066765ae5 convert acceptance tests 9-10 2023-04-21 16:01:54 -04:00
microproofs 016634fc38 fix: inline_direct_reduce now works properly 2023-04-21 16:01:54 -04:00
microproofs 0b7d217bd0 convert acceptance test 8 2023-04-21 16:01:54 -04:00
rvcas 3891016bc3
chore(gift_card): better input id 2023-04-21 12:07:18 -04:00
rvcas 6ab42735b0
fix: switch back to blockfrost kupmios + demeter setup showing strange behavior 2023-04-21 11:59:31 -04:00
rvcas c9a762a13c
fix: we weren't including the name unused var warning 2023-04-20 16:53:56 -04:00