Either removed requires or turned them into free requires in the specifications of malloc, alloc, and free.
No special header needed for SV-COMP benchmarks.
Removing requires altogether from memory allocation.
Made handling of malloc and alloc uniform in two memory models.
One more assumption about malloc.
Removing the useless $size predicate.
Ignoring all generated files from examples.
Created scripts for running ntdrivers benchmarks.
Merge branch 'cleaning-alloc' of github.com:smackers/smack into cleaning-alloc
Organizing instruction generation code.
+ Making truncation more clear.
Phasing out the twodim memory model because ptr2int and int2ptr operations could not be adequately supported. The flat memory model supports those operations. Closes #9.
Merge branch 'cleaning-alloc' into develop