search

WatForm / fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic
MIT License
5 stars 0 forks source link

Update sort inference for new fortress features #133

Closed jporemba closed 3 months ago

jporemba commented 3 months ago

Sort inference now supports function/constant definitions, closures, integers, bitvectors, enums, ...