114 conversion from kotlin types to smt literals#119

Closed

laurenzlevi wants to merge 10 commits intomainfrom 114-conversion-from-kotlin-types-to-smt-literals

+4,931-379

Commits on Oct 28, 2024

Commits on Nov 3, 2024

Added support for floating point type auto conversion
laurenzlevi
committed

Commits on Nov 5, 2024

Commits on Nov 6, 2024

Removed BigDecimal from floating point dsl
laurenzlevi
committed

Commits on Nov 22, 2024