search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

Investigate non-Z3-data FTC #344

Open shingarov opened 2 months ago

shingarov commented 2 months ago
  1. How can it be that there is TC without data?
  2. What does that TC become at the SMT level?