Mario Alejandro Montoya Cortés 358fabc98c Make error messages more readable & fix unsound type check

2024-07-29 09:56:54 -05:00

..

proptest-regressions

Define Hash + Eq for BSATN (#1112)

2024-04-24 23:06:22 +00:00

src

Make error messages more readable & fix unsound type check

2024-07-29 09:56:54 -05:00

tests

Fix unsoundness in AlgebraicValue::type_of by making it partial (#1189)

2024-05-03 22:12:09 +00:00

Cargo.toml

Prune bindings deps (#1290)

2024-06-07 20:36:33 +00:00

LICENSE

Initial commit

2023-08-01 23:16:37 +02:00