| minor fix for the previous commit |
|
More...
|
over 15 years ago
|
| add term/formula matching, export safe maps and folds |
|
More...
|
over 15 years ago
|
| more useful transformations and checks |
|
More...
|
over 15 years ago
|
| [no comment] |
|
More...
|
over 15 years ago
|
| fabrication de src/version.ml |
|
More...
|
over 15 years ago
|
| move Funop to Fnot + add checks to smart constructors |
|
More...
|
over 15 years ago
|
| Hash-consing on symbols, type in vsymbols |
|
More...
|
over 15 years ago
|
| ignore semantic.cache |
|
More...
|
over 15 years ago
|
| headers (pour faire plaisir a Andrei) |
|
More...
|
over 15 years ago
|
| minor code cleaning |
|
More...
|
over 15 years ago
|
| add unsafe_map functions + rewrite abstraction/instantiation |
|
More...
|
over 15 years ago
|
| [no comment] |
|
More...
|
over 15 years ago
|
| typage des declarations de types |
|
More...
|
over 15 years ago
|
| un debut de module Typing |
|
More...
|
over 15 years ago
|
| mise en place de 'make test' qui teste src/test.why |
|
More...
|
over 15 years ago
|
| Lexer et Parser |
|
More...
|
over 15 years ago
|
| module Loc pour les localisations ; module Ptree pour les arbres de syntaxe parses (logique uniquement) |
|
More...
|
over 15 years ago
|
| pretty-printers |
|
More...
|
over 15 years ago
|
| alpha-equivalence |
|
More...
|
over 15 years ago
|
| [no comment] |
|
More...
|
over 15 years ago
|
| fonctions open_... |
|
More...
|
over 15 years ago
|
| substitutions |
|
More...
|
over 15 years ago
|
| nettoyage Makefile |
|
More...
|
over 15 years ago
|
| Hashcons : plus de type node |
|
More...
|
over 15 years ago
|
| headers |
|
More...
|
over 15 years ago
|
| [no comment] |
|
More...
|
over 15 years ago
|
| un peu plus de hash-consing |
|
More...
|
over 15 years ago
|
| un debut de hash-consing |
|
More...
|
over 15 years ago
|
| ma proposition |
|
More...
|
over 15 years ago
|
| [no comment] |
|
More...
|
over 15 years ago
|
