Wed, 13 Nov 2013 19:12:15 +0100 | haftmann | separated comparision on bit operations into separate theory | file | diff | annotate |
Thu, 10 Jan 2013 18:19:13 +0100 | berghofe | Added proof function declarations for min and max | file | diff | annotate |
Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Sat, 15 Jan 2011 12:35:29 +0100 | berghofe | Added new SPARK verification environment. | file | diff | annotate |