diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-28 16:45:46 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-28 16:45:46 +0200 |
| commit | a30fa47b4272f8c79948b741f7c388dad53c8eea (patch) | |
| tree | e979e7362637ae8d1d44857b29fbd62ce99316e7 /TODO | |
| parent | 77df0b0f119fc70624e4b830320a2b3e1034f7b5 (diff) | |
| download | SemVerif-Projet-a30fa47b4272f8c79948b741f7c388dad53c8eea.tar.gz SemVerif-Projet-a30fa47b4272f8c79948b741f7c388dad53c8eea.zip | |
RETAB, CLEANUP
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -1,6 +0,0 @@ -1. Définir un type pour décrire les valeurs abstraites - ie. définir le domaine abstrait - - Constantes + bot + top : bool et int - - Intervalles + bot + top : int - -2. Interprète abstrait |