microproofs 4a8fecb70a fix: satisfy clippy's demands

2024-01-11 14:53:02 -05:00

..

error

Define 'ExtraData' trait for errors

2023-10-20 18:00:12 +02:00

gen_uplc

fix: satisfy clippy's demands

2024-01-11 14:53:02 -05:00

parser

test(bls): constant parsing tests

2023-11-15 15:55:56 -05:00

snapshots

Rename (Un)TypedExpr.Int -> (Un)TypedExpr.UInt

2023-07-06 16:10:46 -04:00

tests

feat: allow importing off validators in validators/tests/*

2023-12-11 18:27:08 -05:00

tipo

fix: satisfy clippy's demands

2024-01-11 14:53:02 -05:00

ast.rs

fix: forgot to handle None case for other_fun in validator

2023-11-29 21:24:30 -05:00

builtins.rs

Fix type definitions for g1 & g2 elements.

2023-12-08 16:58:12 +01:00

expr.rs

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

format.rs

fix(format): post trace sequences getting wrapped in curlies closes #781

2024-01-09 22:39:55 -05:00

gen_uplc.rs

fix: satisfy clippy's demands

2024-01-11 14:53:02 -05:00

levenshtein.rs

Add function to calculate lenvenshtein distance of two strings

2022-12-22 23:44:15 +01:00

lib.rs

Define 'ExtraData' trait for errors

2023-10-20 18:00:12 +02:00

parser.rs

Move chain and chained parsing into their own submodule

2023-07-05 15:18:07 +02:00

pretty.rs

Remove unused 'FlexBreak'

2023-03-14 16:47:43 -04:00

tipo.rs

feat: add conversion to data and from data for new primitive types

2023-11-15 15:55:56 -05:00