« Previous | Next » 

Revision 96fecb0f

Added by Pierre-Loïc Garoche almost 8 years ago

Lots of changes: mainly solved bugs
- specification is now stored as a set of equations
- the tuple splitting is performed during normalization and not anymore in machine code
- solved bug with tuple equalities, ie. x = (a,b,c) = (c,d,e)
- better handling of acsl generation including quantifiers
- makefile generation now depends on the use of the -node option

  • added
  • modified
  • copied
  • renamed
  • deleted