Added modifies clause generation for Boogie files.#267

Open

liammachado wants to merge 17 commits intosmackers:developfrom

liammachado:develop

Commits on Oct 21, 2017

Added modifies clause generation for Boogie files.
liammachado
committed
Fixed some issues with the modifies pass and smack.c causing the memory-safety regtests to fail.
liammachado
committed
Modifies pass was improperly handling prelude section when -memory-safety option is not specified.
liammachado
committed
$malloc procedure's modifies clause included variables that should not have been there.
liammachado
committed
Removed unnecessary #include header
liammachado
committed
Changed name of modifies pass from GenModifies to ModAnalysis.
liammachado
committed
Removed unnecessary empty lines.
liammachado
committed
Added back in /nologo and /noinfer options to Boogie command.
liammachado
committed
Changed name of GenModifies.h/cpp to ModAnalysis.h/cpp
liammachado
committed

Commits on Jan 1, 2019

Commits on Jan 27, 2019

Merge branch 'develop' into develop
liammachado
authored

Commits on Jul 18, 2019

Commits on Jul 19, 2019

Commits on Aug 29, 2019

Merge branch 'develop' into develop
liammachado
authored