microproofs
6609ab335c
chore: add another test for field destructuring in a list
2023-06-02 13:00:09 -04:00
rvcas
e4b270689a
[create-pull-request] automated change
2023-06-02 10:50:43 -04:00
Pi Lanningham
fbec4a9385
Update docs.rs
...
The doc comment was long, leading to an incorrect description on the command line
2023-06-02 02:25:04 -04:00
rvcas
cb9a140601
chore: Release
2023-06-02 00:34:07 -04:00
rvcas
d3ffafd9c7
chore: update changelog
2023-06-02 00:07:49 -04:00
rvcas
335cc0c8bc
feat(cli): rework uplc subcommands
...
closes #553
* rename flat to encode
* rename unflat to decode
* alias both to their old names
* both only print to stdout
use can pipe to file
* split cbor and hex flags
* hex flag works for either cbor or flat
* encode takes --to flag
[name, named-debruijn, debruijn]
* decode takes --from flag
[name, named-debruijn, debruijn]
2023-06-01 23:50:59 -04:00
rvcas
e5d9398625
fix: add module name to type mismatch error
...
* if expected and given are equal then we show
the module
* we could do it in all cases it looks kinda nice
* format is `Type - ModuleName`
2023-06-01 20:00:36 -04:00
microproofs
6955f79035
chore: update changelog
...
fix: Minor improvement to record update to use empty list instead of the null list from a record fields list.
2023-06-01 12:22:42 -04:00
Matthias Benkort
fb5f81d634
Merge pull request #560 from aiken-lang/blueprint_apply_fix
...
blueprint apply definition lookup error
2023-05-31 14:58:56 +03:00
microproofs
deee50b77e
fix: just change as_key
...
Co-authored-by: Lucas Rosa <x@rvcas.dev >
2023-05-31 00:27:31 -04:00
microproofs
a6807f0bfb
fix: seems like definition lookups weren't working
...
Co-authored-by: Lucas Rosa <x@rvcas.dev >
2023-05-31 00:18:05 -04:00
microproofs
c710d488d6
fix: need to sort record update args so they match indices order
2023-05-30 20:23:12 -04:00
microproofs
52a51acc69
fix: fix record update so it actually works
...
Created multiple tests of varying record updates
2023-05-30 20:23:12 -04:00
microproofs
e1e65d7695
typo
2023-05-30 17:28:52 -04:00
microproofs
a65821d5ab
fix: constrs that contain fields now work when passed as an arg to a function.
...
Convert acceptance test 22
Create test for passing constr as a function
2023-05-30 17:28:52 -04:00
rvcas
26a607eb00
fix: bad parsing of comments at end of file closes #551
2023-05-30 11:07:39 -04:00
rvcas
c3b8ff0009
chore: update changelog
2023-05-30 10:39:49 -04:00
rvcas
2860bac4c6
fix: bad parsing for module select type annotations closes #550
2023-05-30 10:39:49 -04:00
microproofs
28a9152f09
add acceptance tests to 20
2023-05-25 22:54:53 -04:00
microproofs
f571665538
add test 18
2023-05-25 22:54:53 -04:00
rvcas
7b3e1c6952
feat: adjust failing test syntax
...
* also add a formatter test
2023-05-25 18:21:12 -04:00
Niels Mündler
00ac6b6c56
Fix dumping of builtin pairs
2023-05-25 18:03:24 -04:00
rvcas
a44b5e1a77
test: adjust formatter tests after latest tweaks
2023-05-25 17:37:53 -04:00
rvcas
151db8d4ae
fix: formatter weirdness relates to #542
2023-05-25 17:19:02 -04:00
rvcas
a124a16a61
feat(tests): implement a way to express that tests can fail
2023-05-25 16:54:53 -04:00
rvcas
65bf4a85e4
chore: adjustment cargo.toml
2023-05-23 10:40:26 -04:00
microproofs
6740107256
add acceptance test 17
2023-05-20 17:02:57 -04:00
microproofs
dda8c4de7a
adding more tests for code gen.
2023-05-20 15:29:13 -04:00
Micah Kendall
ccb2d0b7ee
urgent nix patch
2023-05-19 18:28:07 -04:00
rvcas
709d10d000
[create-pull-request] automated change
2023-05-18 01:40:36 -04:00
rvcas
d68d4656df
feat(aiken-new): output a github action
...
- bonus: include git short sha in version
closes #515
2023-05-18 01:33:03 -04:00
MicroProofs
70b1911b10
[create-pull-request] automated change
2023-05-17 23:49:54 -04:00
microproofs
8e60234562
chore: Release
2023-05-17 18:04:45 -04:00
microproofs
c2904d15ba
chore: prepare changelog for release
2023-05-17 18:01:14 -04:00
microproofs
173154e406
fix: (code gen): expect type now properly tracks constructor dependency.
...
This was specific to code gen generated functions.
2023-05-17 17:56:01 -04:00
microproofs
6b58d643de
update changelog
2023-05-16 16:29:12 -04:00
microproofs
340ed3b6a5
fix: case where identity function was used as a param.
...
This was causing a free unique. The fix is after stripping applied usage of identity,
we then check if it is passed around and if so we leave in the function declaration.
2023-05-16 16:21:37 -04:00
rvcas
d6afaa7540
[create-pull-request] automated change
2023-05-14 22:15:05 -04:00
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
