| .. |
|
computation-model
|
29e1e18973
Model speculation
|
преди 5 години |
|
parsers
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
преди 5 години |
|
people
|
a449547542
Work out reliability prospects
|
преди 5 години |
|
program-proofs
|
3ad28c4ba8
Note what work on arrows has been performed
|
преди 5 години |
|
structures
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
преди 5 години |
|
conf.py
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
преди 5 години |
|
index.rst
|
676f64972a
Give a few hints on ACSL
|
преди 5 години |
|
tasks.md
|
d5d303cc2c
Allow only GPL-2 and GPL-3
|
преди 5 години |
Ariadne Devos
3ad28c4ba8
Note what work on arrows has been performed