Project

General

Profile

« Previous | Next » 

Revision 04a188ec

ID04a188ecdbc97ae181dd3c2fb930938816242d92
Parent ea758c12

Added by Pierre-Loïc Garoche 20 days ago

- Refactored Error exception and messages
- Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences