Commit 5c2f3553 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Preparing a new release...

parent a978f83a
; -*-org-*-
* Version 1.0
** The acgc.opt/acgc compiler and the acg.opt/acg interpreter:
+ Fixed severe bug that prevented finding some parses and sometimes
caused a Fatal Error
+ Added a control on the compiler version that generated the object
(.acgo) files. The version has to be the same as the current version
of the compiler or of the interpreter that is being used.
** The acgc.opt/acgc compiler:
+ added a "nl_lexicon" keyword that causes the interpretation of any
functional type ("->" or "=>") of the abstract signature to be
interpreted by the intuitionistic arrow "=>" in the object signature.
Accordingly, the interpretation should use "Lambda".
** The acg.opt/acg interpreter:
+ Improved terminal output (colors and formatting)
+ added a "-nc" option to disable colored outputs
+ added a "-npp" option to disable formatting on the output
** The acg emacs mode
+ improved handling of long files
* Version 1.0b
** The acgc.opt/acgc compiler:
+ Now outputs an "file.acgo" file when compilation is successful
......
......@@ -8,9 +8,9 @@
+ [X] réfléchir si changement de construction des numéros de version
+ [X] renommer s_datalog et datalog en datalog.prover et datalog.solver
+ [X] modifier la documentation
+ [ ] remove useless reduction.* files (hint: the useful one is in the
+ [X] remove useless reduction.* files (hint: the useful one is in the
acg-data directory)
+ [ ] améliorer le pretty-printing des termes
+ [X] améliorer le pretty-printing des termes
** DONE Faire un Bolt package
......@@ -40,7 +40,7 @@
+ [X] une commande "realise"
+ [X] mettre une commande "idb"
+ [X] mettre une commande "query"
+ [ ] vérifier que tous les "help cmd" fonctionnent
+ [X] vérifier que tous les "help cmd" fonctionnent
** lexer and parser
+ [ ] change the compilation order and the token emission
......@@ -82,6 +82,10 @@
* lambda.ml
+ [ ] Vérifier les passages de paramètres dans les
unfold_{labs|abs|binder} pour l'affichage, et simplifier
+ [ ] reprendre partout l'utilisation des fonctions Format.printf, et
les unifier pour les utiliser même quand simple "string" (si
formattés, peut causer un problème d'assert dans la réduction à
cause sans doute d'un "\n" qui reste)
* typeInference.ml
+ [ ] change or add inference (possibly with a signature) to principal
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment