Commit 8559151a authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Several changes before the release announcement

A    CHANGES
M    TODO
parent 4821245d
; -*-org-*-
* Version 1.0b
** The acgc.opt/acgc compiler:
+ Now outputs an "file.acgo" file when compilation is successful
+ Can declare a lexicon as the composition of two other lexicons
using the following declaration:
lexicon lex_name = lex_name2 << lex_name1
** The acg.opt/acg interpreter:
+ Can load an acg object file using the command:
load o file.acco;
+ The "analyse" command is deprecated. It is replaced by:
+ A "check" command, prefixed by signatures, that typecheck the
typing assignment of a term
Sig1 Sig2 check term:type;
+ A "realize" command that must be preceded by lexicons and followed
by the type assignment of a term. It checks that the term is well
typed in the abstract signatures of the lexicons and compute its
realizations through the lexicons.
Lex1 Lex2 realize term:type;
+ A "parse" command has been added. It must be preceded with the name
of a lexicon and it returns the antecedent by this lexicon of the input
term with respect to some distinguished (atomic) type:
Lex parse object_term:distinguished_type;
+ A "query" command has been added. It follows the "parse" command
syntax and it outputs the associated query and associated extensional
database.
Lex query object_term:distinguished_type;
+ A "idb" command has been added. It must be preceded with the name of
a lexicon and it returns the intensional database associated with
the lexicon
Lex idb;
** Current limitation:
+ Only parse images of atomic types
+ The result of parsing with non-linear lexicons is unspecified yet
......@@ -3,13 +3,13 @@
* Général
** Avant Prochaine release
+ [ ] merge avec trunk
+ [ ] remplacer tous les gforge.loria en gforge.inria
+ [ ] réfléchir si changement de construction des numéros de version
+ [ ] renommer s_datalog et datalog en datalog.prover et datalog.solver
+ [X] merge avec trunk
+ [X] remplacer tous les gforge.loria en gforge.inria
+ [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
** TODO Faire un Bolt package
** DONE Faire un Bolt package
** DONE Utiliser Bolt (http://bolt.x9c.fr/)
......@@ -84,6 +84,8 @@
+ [X] Définir le parsing de la composition de lexique
+ [ ] Définir le parsing pour les types non atomiques
+ [ ] Définir le parsing pour les almost linear terms
+ [ ] Vérifier que les Signature.expand_term ne sont pas redondants
avec les Lambda.normalize ~id_to_term
* Divers
+ [X] ajouter la commande compose dans les fichiers de définition de
......@@ -92,3 +94,5 @@
+ [X] faire des dumps des interfaces et des représentations binaires
pour charger plus vite
+ [ ] Ajouter un -nooout option pour acgc ?
+ [ ] Vérifier ce qui se passe avec les différents parenthèsages lors
du parsing
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