3 releases
0.1.2 | Aug 7, 2023 |
---|---|
0.1.1 | Aug 7, 2023 |
0.1.0 | Sep 16, 2022 |
#11 in #smt-lib
Used in aws-smt-ir
20KB
436 lines
amzn-smt-ir-derive
aws-smt-ir-derive
provides macros used by the amzn-smt-ir
crate.
Dependencies
~3MB
~59K SLoC
Intermediate representation for SMT problems
0.1.2 | Aug 7, 2023 |
---|---|
0.1.1 | Aug 7, 2023 |
0.1.0 | Sep 16, 2022 |
#11 in #smt-lib
Used in aws-smt-ir
20KB
436 lines
aws-smt-ir-derive
provides macros used by the amzn-smt-ir
crate.
~3MB
~59K SLoC