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
|
43e84d7af7
|
fixing gen_uplc tets
|
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 |
|
Niels Mündler
|
7b452c21f0
|
Fix formatting
|
2023-12-29 22:57:10 -05:00 |
|
Niels Mündler
|
4c60be368e
|
Add command line option to shrink uplc
|
2023-12-29 22:57:10 -05:00 |
|
Niels Mündler
|
b6acdde552
|
Use to_i64 for clarity
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
d06f2f6008
|
Formatting
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
eefd26c6fa
|
Add acceptance tests for this tricky case
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
fb56700bde
|
Fix and re-enable pretty print test for bigint
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
89e518f878
|
Deduplicate code
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
ba76c1d2cf
|
Adjust acceptance tests and fix IData and UData
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
022503e254
|
Fix to_pallas_bigint
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
1b1636ab0e
|
Fix parsing of negative bigint
|
2023-12-19 12:20:10 -05:00 |
|
Niels Mündler
|
0cfcd78039
|
Use more clear functions
|
2023-12-15 21:59:57 -05:00 |
|
Niels Mündler
|
8c619954d3
|
Add conformance test for big ints
|
2023-12-15 21:59:57 -05:00 |
|
Niels Mündler
|
ceb6d63e95
|
Add parsing for big builtins
|
2023-12-15 21:59:57 -05:00 |
|
microproofs
|
6a10be3e82
|
chore: remove redundant clone
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
a0ec92897b
|
chore: clean up pr
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
2cd1379aec
|
for now comment out curry code so the rest of the changes
can be merged to main
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
c0c9f2f432
|
commit latest changes
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
058a190294
|
feat: implement curried tree pruning
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
51079b8590
|
fix: builtin_force_reducer wasn't handling double forces correctly
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
4015550f55
|
start testing the first stage of currying builtins
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
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
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
8fdedb754e
|
chore: continue more on curry optimizations
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
88e21449c5
|
chore: comment fixes
|
2023-12-15 21:58:02 -05:00 |
|
microproofs
|
5c688b1404
|
Feat: refactor optimizations to use tree traversal algorithm
This makes each optimization a single function that acts on an existing tree traversal function
|
2023-12-15 21:58:02 -05:00 |
|
rvcas
|
07122aaa88
|
feat: allow importing off validators in validators/tests/*
|
2023-12-11 18:27:08 -05:00 |
|
Niels Mündler
|
b25e82ed36
|
Handle errors and format
|
2023-12-08 12:19:22 -05:00 |
|
Niels Mündler
|
772e73ae48
|
Fix parsing of hex encoded escaped bytes
|
2023-12-08 12:19:22 -05:00 |
|
Niels Mündler
|
3ac35f4e00
|
Make sure that new issue is covered by testcase
|
2023-12-08 12:19:22 -05:00 |
|
Niels Mündler
|
d0bc782f75
|
Fix pretty prenting of strings in complex data structures
|
2023-12-08 12:19:22 -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
|
4b04517aba
|
fix: blst stuff is not happy on windows aarch64
|
2023-12-04 22:29:23 -05:00 |
|
rvcas
|
2647e4aae6
|
chore: Release
|
2023-12-04 22:14:03 -05:00 |
|
rvcas
|
0a1e0d7bee
|
feat: remove flat-rs crate and use it through pallas_codec
|
2023-12-04 22:01:51 -05:00 |
|
rvcas
|
b17b7f287c
|
chore: update to pallas v0.20.0
|
2023-12-04 21:44:19 -05:00 |
|
rvcas
|
7c4cabada9
|
chore: add latest acceptance artifacts
|
2023-12-04 21:10:55 -05:00 |
|
rvcas
|
38e8255328
|
chore: update changelog
|
2023-12-04 21:04:55 -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
|
858a9621fc
|
fix: due to how error code now get printed match_code for quickfix was always false
|
2023-11-28 21:00:17 -05:00 |
|
rvcas
|
1f411cde0e
|
chore: needless dbg
|
2023-11-28 20:59:23 -05:00 |