 Ariadne Devos
|
676f64972a
Give a few hints on ACSL
|
5 years ago |
|
Ariadne Devos
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
5 years ago |
|
Ariadne Devos
|
82531ba2c4
Structure documentation
|
5 years ago |
|
Ariadne Devos
|
9d35813c1b
Correct <sHT/lex/nat.h> and implementation
|
5 years ago |
|
Ariadne Devos
|
316b54d25e
Formally introduce the failbit
|
5 years ago |
|
Ariadne Devos
|
c23f08079f
Math: introduce the slice concept
|
5 years ago |
|
Ariadne Devos
|
36ec5f7f81
Define read-write-set and peek-poke
|
5 years ago |
|
Ariadne Devos
|
ff00662f56
Document speculation controls
|
5 years ago |
|
Ariadne Devos
|
b9a8a3bf34
Generate some documentation
|
5 years ago |
