repo.or.cz
/
pkg-lisaac.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Imported Debian patch 0.13.1-3
[pkg-lisaac.git]
/
Not_yet_implemented
blob
31eb845c3ec9d95cc168315352a7c4a9bfbf10ff
1
Specification 0.2 :
2
===================
3
* Invariant of prototype.
4
* Require / Ensure on data slot.
5
* Parameter type in argument function.
6
* Section with genericity type.
7
8
Specification 0.3 :
9
===================
10
* Concurence Object Prototype (COP model).
11
* Auto-make with list.
12
* Vector multi-size for arguments.