Ingvar Stepanyan 607f7ce6b8 Auto-generate C# ModuleDef bindings from Rust (#1680)

2024-09-09 18:22:17 +00:00

..

proptest-regressions

Add support for I256 and U256 (#1477)

2024-08-08 18:40:35 +00:00

src

Auto-generate C# ModuleDef bindings from Rust (#1680)

2024-09-09 18:22:17 +00:00

tests

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

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

Cargo.toml

Add support for I256 and U256 (#1477)

2024-08-08 18:40:35 +00:00

LICENSE

Initial commit

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