ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
29,001 Commits 72 Branches 1 Tag
master
Commit Graph

40 Commits

Author SHA1 Message Date
Johannes Kanig
35e56d626f (no-tn-check) fix various whitespace issues on the repo 
Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431
 2021-12-15 11:54:30 +09:00
Piotr Trojanek
adb32ee3ef minor fix of duplicate words in docs 2015-04-30 12:33:10 +01:00
Marc Sango
5bf0f8d347 formatting 2011-05-30 10:14:25 +02:00
Marc Sango
003c514c2c apply Yannick and JeromeG's remarks 2011-05-23 15:18:21 +02:00
Marc Sango
53906075dc improvement of the proof of maximality 2011-05-23 09:42:49 +02:00
Marc Sango
5ebcee1c3c minor formatting 2011-05-20 09:05:03 +02:00
Marc Sango
1432c62d74 improve precision notion 2011-05-19 16:31:29 +02:00
Marc Sango
55fd658ef4 add the proof of Most Precise Invariant 2011-05-17 18:12:23 +02:00
Marc Sango
4f6494b46f formatting 2011-05-16 10:27:41 +02:00
Yannick Moy
f8c5c7e1d5 Further references and minor rewrite 2011-05-16 10:21:59 +02:00
Marc Sango
e218e0dcac add a short and long version 2011-05-12 15:22:38 +02:00
Marc Sango
d3b76ced9c apply MV and Pierre remarks 2011-04-07 15:02:18 +02:00
Marc Sango
78a1574d51 apply MV and Pierre's suggestions 2011-03-25 12:26:11 +01:00
Yannick Moy
96e1afc90d Complete version of invariant 2011-03-22 20:21:01 +01:00
Marc Sango
90b744d0e6 apply Yannick Review 2011-03-22 18:14:26 +01:00
Yannick Moy
8650383c78 Review and layout 2011-03-22 18:04:16 +01:00
Marc Sango
e6e31e2321 formating & known_single_update inv's proof 2011-03-21 17:53:39 +01:00
Marc Sango
eb9a44c776 new formating of proof 2011-03-18 12:18:33 +01:00
Marc Sango
5450dc7c79 reformating & begin proof of Min/Max Pattern 2011-03-16 15:14:11 +01:00
Marc Sango
8a0ecb5989 Minor reformating 2011-03-16 15:14:11 +01:00
Marc Sango
c02b2ee816 update the loop-model and add proof for search an update pattern 2011-03-10 13:03:48 +01:00
Marc Sango
72e400e34c update the def of pattern 2011-03-09 10:56:49 +01:00
Marc Sango
0736e55ffc fix the proof of search pattern 2011-03-09 10:51:34 +01:00
Yannick Moy
52696e7b06 cleanup proof 2011-03-08 10:05:38 +01:00
Marc Sango
44b3d330b6 now invariant of search pattern capure this pattern according of pattern capure definition 2011-03-04 11:55:12 +01:00