| Fri, 04 Mar 2011 17:39:30 +0100 | berghofe | spark_end now joins proofs of VCs before writing *.prv file. | file | diff | annotate |
| Thu, 03 Mar 2011 11:01:42 +0100 | berghofe | - Made sure that sort_defs is aware of constants introduced by add_type_def | file | diff | annotate |
| Wed, 26 Jan 2011 20:51:09 +0100 | berghofe | Replaced smod by standard mod operator to reflect actual behaviour | file | diff | annotate |
| Sat, 15 Jan 2011 12:35:29 +0100 | berghofe | Added new SPARK verification environment. | file | diff | annotate |