Giters
AllanBlanchard
/
tutoriel_wp
Frama-C and WP tutorial
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
52
Watchers:
6
Issues:
21
Forks:
16
AllanBlanchard/tutoriel_wp Issues
Frama-C 30
Updated
4 months ago
Comments count
7
Différentes typos repérées
Closed
a year ago
Comments count
1
Add a script to check all examples
Closed
a year ago
Comments count
2
Question about order3
Closed
a year ago
Comments count
2
Small typo in chapter 3 of the English version (page 29 in the PDF)
Closed
a year ago
Comments count
2
Stephen Gaito's comments on the Tutorial
Updated
2 years ago
Comments count
9
Mathematics of indirect assignment (C-pointers)
Updated
2 years ago
Comments count
4
Interactive proof editor
Updated
2 years ago
Exercise 3.2.5.3: separation of pointer arguments not really required
Closed
3 years ago
Comments count
1
Exercise 6.1.4.4: incorrect specification of permutation
Closed
3 years ago
Comments count
4
ex. 4.2.6.4, wrong clauses?
Closed
4 years ago
Comments count
4
Exercise 7.3.6.1: additionnal assert needed to prove post-condition
Closed
4 years ago
Comments count
5
Exercise 4.2.6.4: incorrect simplification of weakest precondition
Closed
4 years ago
Comments count
2
3.2.5.1 post conditions are not successfully proved (without pre conditions)
Closed
4 years ago
Comments count
3
Version of Coq used in the tutorial
Closed
4 years ago
Comments count
4
Exercise 4.1.6.2. Empty “then” branch in conditional
Closed
4 years ago
Comments count
2
Exercice "Le dernier angle d’un triangle"
Closed
4 years ago
Comments count
4
Quelques coquilles
Closed
4 years ago
Comments count
3
generate pdf
Closed
5 years ago
Comments count
5
ACSL by Example
Closed
7 years ago
Comments count
1
\begin{zdsalertblock} without {}
Closed
7 years ago
Comments count
2