3 releases
| 0.1.2 | Aug 7, 2023 |
|---|---|
| 0.1.1 | Aug 7, 2023 |
| 0.1.0 | Sep 16, 2022 |
#13 in #smt-lib
33 downloads per month
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
~66K SLoC