microproofs
|
d26524048e
|
fix: headlist builtin on assoc lists
implement chooseunit for 0 args
|
2024-01-13 19:29:34 -05:00 |
|
microproofs
|
c7af27a6ba
|
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples to use the same monomorphized function.
Also massively reduced the space taken up by generics in scripts when using generics with list and tuples
|
2024-01-13 17:46:32 -05:00 |
|
microproofs
|
4a8fecb70a
|
fix: satisfy clippy's demands
|
2024-01-11 14:53:02 -05:00 |
|
rvcas
|
8b62873ef5
|
fix(format): post trace sequences getting wrapped in curlies closes #781
|
2024-01-09 22:39:55 -05:00 |
|
microproofs
|
ff462fa8ea
|
don't need clippy macro anymore :)
|
2024-01-08 18:08:50 -05:00 |
|
microproofs
|
f722af1149
|
fix: accidentally put quotes around tail_name
|
2024-01-08 18:08:50 -05:00 |
|
microproofs
|
2216f387c3
|
refactor: change codegen uplc to have more type safety
Also refactor list_access_to_uplc
|
2024-01-08 18:08:50 -05:00 |
|
KtorZ
|
30a6b77116
|
Get rid of 'VoidMsg' in favor of an 'Option'.
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
c50a9cb5bd
|
refactor: convert msgs to use AirMsg type instead of AirTree
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
394cac86b8
|
feat: expect on a type now can take in a msg when in trace mode
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
4fc65cc600
|
feat: change expect from data on constrs to take in a message term
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
c7a1ff0959
|
refactor how tracing is popped off to be in one location in uplc_gen
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
355e38d6e2
|
feat: expects now print the line of code that failed
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
412945af3a
|
update aiken code gen test
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
aa51ce3e3e
|
feat: add code messages when using expects on constrs
|
2024-01-04 16:03:51 -05:00 |
|
microproofs
|
71cfb6f6af
|
feat: Add specific messages for using expect with booleans
TODO: fill out the rest of the expects with messages
|
2024-01-04 16:03:51 -05:00 |
|
rvcas
|
07122aaa88
|
feat: allow importing off validators in validators/tests/*
|
2023-12-11 18:27:08 -05:00 |
|
KtorZ
|
92488e535a
|
Fix type definitions for g1 & g2 elements.
|
2023-12-08 16:58:12 +01:00 |
|
microproofs
|
825e65d7a3
|
fix: zero arg functions were being compiled without the trace messages
Now traces are added before evaluating
|
2023-12-06 10:31:48 -05:00 |
|
rvcas
|
2647e4aae6
|
chore: Release
|
2023-12-04 22:14:03 -05:00 |
|
rvcas
|
c50d4d1396
|
fix: forgot to handle None case for other_fun in validator
|
2023-11-29 21:24:30 -05:00 |
|
rvcas
|
1503b525b2
|
feat(lsp): implement quickfix for utf8 byte array is valid hex string warning
|
2023-11-28 21:02:15 -05:00 |
|
rvcas
|
1f411cde0e
|
chore: needless dbg
|
2023-11-28 20:59:23 -05:00 |
|
rvcas
|
832ca81a8c
|
fix(lsp): when desugaring and/or chains we should use the whole span of the chain for the generated BinOp locations
|
2023-11-28 19:19:56 -05:00 |
|
rvcas
|
7015a9badc
|
feat(lsp): hover support for the optional multi validator fn
|
2023-11-28 19:18:29 -05:00 |
|
rvcas
|
2159053cb5
|
fix: using the word pattern here reads better and applies more broadly like for lists
|
2023-11-28 16:15:24 -05:00 |
|
rvcas
|
a46a7e82b7
|
feat: implement hover on when clause patterns
|
2023-11-28 16:13:08 -05:00 |
|
rvcas
|
f7dd2de17b
|
feat: implement hover info for tuple, list, and contructor pattern elements
|
2023-11-28 16:12:37 -05:00 |
|
rvcas
|
6ce30bd949
|
fix: allow spread operator on positional constructors closes #677
|
2023-11-27 23:11:17 -05:00 |
|
rvcas
|
2980e8e21d
|
fix: use a distinct warning for discarded let assignments to avoid confusion closes #763
|
2023-11-27 21:23:10 -05:00 |
|
KtorZ
|
4adedaac15
|
Remove unnecessary 'Rc' in function signature.
|
2023-11-25 13:09:26 +01:00 |
|
microproofs
|
45177cd08b
|
fix: add missing type checks for the new bls primitives
|
2023-11-23 13:00:24 -05:00 |
|
microproofs
|
63f96d13ca
|
fix: clippy warning
|
2023-11-22 19:17:45 -05:00 |
|
microproofs
|
78b0789cbc
|
chore: unit test for pub in validator module warnings closes #681
|
2023-11-22 18:02:21 -05:00 |
|
rvcas
|
abd18656e3
|
fix: unable to have newline after expect bool shortcut
|
2023-11-20 11:44:16 -05:00 |
|
rvcas
|
2ed91780f4
|
fix: call arg should be top level
|
2023-11-20 11:44:16 -05:00 |
|
rvcas
|
7118253401
|
fix: if branches, final_else, and anon fns should all be "top level"
|
2023-11-20 11:44:16 -05:00 |
|
rvcas
|
7680d33663
|
fix: panic in formatter when substracting u8 0 - 1
|
2023-11-20 11:44:16 -05:00 |
|
rvcas
|
6869f73033
|
fix: sequence formatting when not top level
|
2023-11-20 11:44:16 -05:00 |
|
rvcas
|
b80db2f7f8
|
fix(bls): wrong types for equals functions
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
d53d2665b2
|
test(bls): g1 and g2 formatting
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
c910e0054e
|
test(bls): constant parsing tests
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
7073fd29b3
|
test(bls): literal parsing tests
|
2023-11-15 15:55:56 -05:00 |
|
microproofs
|
8b89ba3b93
|
feat: implement bls primitives in code gen
|
2023-11-15 15:55:56 -05:00 |
|
microproofs
|
d51374aac1
|
feat: add conversion to data and from data for new primitive types
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
3675762c3e
|
feat(bls): aiken level g1 and g2 literals
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
90aea6476a
|
feat: uplc g1 and g2 literal parsing
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
49ae8152f8
|
feat(bls): add new aiken level builtins
|
2023-11-15 15:55:56 -05:00 |
|
rvcas
|
8a3a465237
|
feat(bls): add new types to aiken prelude
|
2023-11-15 15:55:56 -05:00 |
|
microproofs
|
0d2ac952d0
|
feat: implemented the Bls381-12 builtins and types
also implemented Keccak256 and Blake2b_224
TODO: cost model, flat serialization, pretty
Co-authored-by: rvcas <x@rvcas.dev>
|
2023-11-15 15:55:56 -05:00 |