Project

General

Profile

« Previous | Next » 

Revision 96fecb0f

ID96fecb0f2c4339fe6ac3dd489a74286fd67c2ce0
Parent cfff99fd
Child 2196a0a6

Added by Pierre-Loïc Garoche over 6 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences