Mon, 18 Apr 2011 16:33:45 +0200 | berghofe | Package prefix is now taken into account when looking up user-defined | file | diff | annotate |
Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
Fri, 15 Apr 2011 15:33:57 +0200 | berghofe | Added command for associating user-defined types with SPARK types. | file | diff | annotate |
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 |