search

tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
65 stars 20 forks source link

Smt fix #55

Closed rozlynd closed 11 months ago

rozlynd commented 2 years ago

Contains two soundness fixes for the SMT backend

damiendoligez commented 2 years ago

Rebased onto main.

ahelwer commented 10 months ago

@damiendoligez since this is causing a failing test can it be reverted so that the main branch has all tests pass in the CI? It can be merged again when it doesn't cause a test to fail.

kape1395 commented 10 months ago

It would be better to merge #98 instead of reverting this PR.