| programs: WP computed differently (code moved to pgm_fastwp.ml for later use) |
|
More...
|
about 15 years ago
|
| gappa |
|
More...
|
about 15 years ago
|
| programs: WP: pure terms containing dereferences |
|
More...
|
about 15 years ago
|
| coq-plugin: fixed uncaught Not_found bug |
|
More...
|
about 15 years ago
|
| explicit_polymorphism (runtime bugs) |
|
More...
|
about 15 years ago
|
| small changes |
|
More...
|
about 15 years ago
|
| programs: my first WP |
|
More...
|
about 15 years ago
|
| coq plugin: match |
|
More...
|
about 15 years ago
|
| programs: on the way to the first WP |
|
More...
|
about 15 years ago
|
| progress in explicit_polymorphism, but not yet usable |
|
More...
|
about 15 years ago
|
| programs: a few pretty-printers for debugging purposes |
|
More...
|
about 15 years ago
|
| programs: A-normal form |
|
More...
|
about 15 years ago
|
| small docstring changes |
|
More...
|
about 15 years ago
|
| traitemant des triggers dans encoding decorate (des cas pathologiques peuvent aboutir a des quantifications non totales |
|
More...
|
about 15 years ago
|
| driver and printer for Simplify |
|
More...
|
about 15 years ago
|
| small progress in explicit_polymorphism transformation |
|
More...
|
about 15 years ago
|
| prototype for explicit_polymorphism transformation |
|
More...
|
about 15 years ago
|
| small changes in comments (better html doc) |
|
More...
|
about 15 years ago
|
| small changes new transformation (currently equivalent to identity) for tptp driver |
|
More...
|
about 15 years ago
|
| programs: type-checking of application is now performed differently to revocer application of logical symbols and A-normal form |
|
More...
|
about 15 years ago
|
| programs in progress |
|
More...
|
about 15 years ago
|
| cvc3 has a timeout option |
|
More...
|
about 15 years ago
|
| Z3 knows EuclidieanDivision |
|
More...
|
about 15 years ago
|
| Int is a total order is builtin |
|
More...
|
about 15 years ago
|
| AC n'est pas utilisé par smt |
|
More...
|
about 15 years ago
|
| smt : Ajout du nom de l'axiom en commentaire |
|
More...
|
about 15 years ago
|
| alt_ergo accept predicate and function definition |
|
More...
|
about 15 years ago
|
| small changes |
|
More...
|
about 15 years ago
|
| prototype of a transformation from polymorphic logic to (almost) untyped logic. It does nothing, but should not disturb the compilation/use of the rest of the system. |
|
More...
|
about 15 years ago
|
| arrays : ajout des triggers utilisés dans model de jessie |
|
More...
|
about 15 years ago
|
