Project

General

Profile

« Previous | Next » 

Revision 04a188ec

Added by Pierre-Loïc Garoche about 2 years 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

  • added
  • modified
  • copied
  • renamed
  • deleted