4 years agoUne version marche bien avec bitvector feature/stage-huibo
Huibo SHI [Fri, 2 May 2014 12:45:29 +0000 (14:45 +0200)]
Une version marche bien avec bitvector

5 years agoune version marché et correcte avec bitvector
Huibo SHI [Sat, 12 Apr 2014 21:40:57 +0000 (23:40 +0200)]
une version marché et correcte avec bitvector

5 years ago1) Utiliser bitvector pour preserver l'ordre pendant l'evaluation
Huibo SHI [Wed, 9 Apr 2014 22:24:29 +0000 (00:24 +0200)]
1) Utiliser bitvector pour preserver l'ordre pendant l'evaluation
2) Nettoyer les code inutile.

5 years agoNettoyer les commentaire.
Huibo SHI [Wed, 9 Apr 2014 12:37:01 +0000 (14:37 +0200)]
Nettoyer les commentaire.

5 years ago1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem
Huibo SHI [Mon, 7 Apr 2014 15:23:04 +0000 (17:23 +0200)]
1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem
2) Ajouter la fonction merge_list pour concatener deux listes ordonnees(descendante)

5 years agoSupprimer la definition move, la fonction eval_move et la fonction eval_relation...
Huibo SHI [Mon, 7 Apr 2014 12:20:10 +0000 (14:20 +0200)]
Supprimer la definition move, la fonction eval_move et la fonction eval_relation,car nous ne les utilison plus.

5 years ago1) Supprimer le module Tas car il sert a rien
Huibo SHI [Mon, 7 Apr 2014 12:14:43 +0000 (14:14 +0200)]
1) Supprimer le module Tas car il sert a rien
2) recrire la fonction all_nodes par appeler la fonction get_descendant

5 years agoRemplacer la fonction List.sort par les fonctions d'evaluations. La liste de fonction...
Huibo SHI [Thu, 3 Apr 2014 13:52:03 +0000 (15:52 +0200)]
Remplacer la fonction List.sort par les fonctions d'evaluations. La liste de fonction comme la suite:
1) get_descendant
2) get_child
3) get_parent
4) get_followingSibling
5) get_preSibling
6) get_ancestor

5 years agoVerifier si seulement Descendant et Ancestor sont influence sur l'ordre de resultats...
Huibo SHI [Wed, 2 Apr 2014 06:07:51 +0000 (08:07 +0200)]
Verifier si seulement Descendant et Ancestor sont influence sur l'ordre de resultats, la reponse est non.

5 years agoSupprimer des fonctions 'keep_elements' et 'keep_attributs'
Huibo SHI [Tue, 1 Apr 2014 15:45:14 +0000 (17:45 +0200)]
Supprimer des fonctions 'keep_elements' et 'keep_attributs'
Nettoyer les commentaires

5 years agoAjoute le module Tas pour remplacer la fonction List.sort.
Huibo SHI [Fri, 28 Mar 2014 18:43:24 +0000 (19:43 +0100)]
Ajoute le module Tas pour remplacer la fonction List.sort.
Mise a jour la fonction eval_star et la fonction eval_qtree (remplace List.sort)
Dans le module Tas il y a des fonctions ci-dessous:
1) val size : 'a tas -> int
2) val height : 'a tas -> int
3) val equilibre : 'a tas -> bool
4) val is_tas : int tas -> bool   ------- il faut ameliorer
5) val pop : Naive_tree.t -> Naive_tree.node tas -> Naive_tree.node
6) val push : Naive_tree.t -> Naive_tree.node tas -> Naive_tree.node -> Naive_tree.node tas
7) val tas_of_list : Naive_tree.t -> Naive_tree.node list -> Naive_tree.node tas
8) val list_of_tas : Naive_tree.t -> Naive_tree.node tas -> Naive_tree.node list
9) val is_empty : Naive_tree.node tas ->bool
10) val sort_of_list : Naive_tree.t -> Naive_tree.node list -> Naive_tree.node list

5 years ago1) ecrire la fonction hash et equal
Huibo SHI [Wed, 26 Mar 2014 16:17:11 +0000 (17:17 +0100)]
1) ecrire la fonction hash et equal
2) creer un module QTree dans le fichier table.ml
3) definir notre propre hashtbl---->QTreeHash
4) ajouter la fonction minimize_qtree pour minimizer le query_tree
5) ameliorer la fonction eval_qtree en utilisant un QTreeHash pour partager maximalement les informations.
6) mise a jour l'interface query_tree.mli
7) mise a jour le main

5 years agoAjouter la fonction compare_query_tree pour verifer deux query_tree sont equivalents...
Huibo SHI [Wed, 19 Mar 2014 21:50:43 +0000 (22:50 +0100)]
Ajouter la fonction compare_query_tree pour verifer deux query_tree sont equivalents ou pas.

5 years ago1) modifie la definition de query_tree
Huibo SHI [Wed, 19 Mar 2014 16:57:09 +0000 (17:57 +0100)]
1) modifie la definition de query_tree
2) ajout la definition de query_tree_desc
3) ajout la fonction mk_node pour initialiser la query_tree
4) mettre la fonction mk_node dans bon endroit.

5 years agoremedier a la liste desordonné par l'ajout de sort a la fin de la fonction eval_query...
Huibo SHI [Wed, 19 Mar 2014 16:00:45 +0000 (17:00 +0100)]
remedier a la liste desordonné par l'ajout de sort a la fin de la fonction eval_query_tree

5 years agonettoyer les commentaires
Huibo SHI [Tue, 18 Mar 2014 17:48:29 +0000 (18:48 +0100)]
nettoyer les commentaires

5 years agoajoute l'evaluation d'attributes
Huibo SHI [Tue, 18 Mar 2014 17:41:08 +0000 (18:41 +0100)]
ajoute l'evaluation d'attributes

5 years ago optimiser la fonction eval_query_tree par l'ajoutation d'un hashtbl 'table_query_tree'
Huibo SHI [Tue, 18 Mar 2014 15:24:30 +0000 (16:24 +0100)]
 optimiser la fonction eval_query_tree par l'ajoutation d'un hashtbl 'table_query_tree'

5 years agoajout d'un compteur pour compter le nombre de noeuds évalués
Huibo SHI [Tue, 11 Mar 2014 21:48:11 +0000 (22:48 +0100)]
ajout d'un compteur pour compter le nombre de noeuds évalués
ajout une variable boolean 'count' dans le fichier table_options.ml

5 years agosupprimer (List.rev p) dans la fonction compile_path_rev
Huibo SHI [Tue, 11 Mar 2014 20:03:53 +0000 (21:03 +0100)]
supprimer (List.rev p) dans la fonction compile_path_rev

5 years agoSuppression d'un commentaire
Huibo SHI [Tue, 11 Mar 2014 15:29:42 +0000 (16:29 +0100)]
Suppression d'un commentaire

5 years agoAjout de .DS_Store au .gitignore.
Huibo SHI [Tue, 11 Mar 2014 15:24:08 +0000 (16:24 +0100)]
Ajout de .DS_Store au .gitignore.

5 years agoAjout de l'implementation preliminaire.
Huibo SHI [Tue, 11 Mar 2014 15:19:22 +0000 (16:19 +0100)]
Ajout de l'implementation preliminaire.

5 years agoAjout d'un fichier de test.
Huibo SHI [Tue, 11 Mar 2014 15:17:14 +0000 (16:17 +0100)]
Ajout d'un fichier de test.

5 years agoAjout des fonctions is_next_sibling, is_first_child, prev_sibling et parent_of_first
shibing [Tue, 11 Mar 2014 15:13:36 +0000 (16:13 +0100)]
Ajout des fonctions is_next_sibling, is_first_child, prev_sibling et parent_of_first

5 years agoFix a bug in ocaml build script (echo -n is not supported on OSX,
Kim Nguyễn [Tue, 7 Jan 2014 16:06:53 +0000 (17:06 +0100)]
Fix a bug in ocaml build script (echo -n is not supported on OSX,
use /bin/echo instead)

5 years agoAjout du script configure (et modification de .gitignore) pour permettre à Huibo...
Kim Nguyễn [Tue, 7 Jan 2014 15:52:24 +0000 (16:52 +0100)]
Ajout du script configure (et modification de .gitignore) pour permettre à Huibo de compiler plus facilement sous mac.

5 years agoRefactor the tracing code, store the whole tree structure in a javascript array and...
Kim Nguyễn [Mon, 9 Dec 2013 09:57:59 +0000 (10:57 +0100)]
Refactor the tracing code, store the whole tree structure in a javascript array and handle it from the javascript side.

5 years agoCosmetic changes (whitespaces) and add comments at the top of the .str files to load...
Kim Nguyễn [Sun, 8 Dec 2013 16:20:37 +0000 (17:20 +0100)]
Cosmetic changes (whitespaces) and add comments at the top of the .str files to load the correct emacs-mode when editing.

5 years agoUpdate to latest master of remake.
Kim Nguyễn [Sun, 8 Dec 2013 10:31:26 +0000 (11:31 +0100)]
Update to latest master of remake.
Add a workaround to silence the linker warning when building remake in the configure script.

5 years agoRefactor HTML Tracing to not depend on external files (style, javascript). Add a...
Kim Nguyễn [Sun, 8 Dec 2013 09:55:54 +0000 (10:55 +0100)]
Refactor HTML Tracing to not depend on external files (style, javascript). Add a general facility to turn a file into an OCaml string. The content of file.ml.str is turned into let content = "..." in  a file file.ml.

5 years agoRefactor the run module, moving out of the Make functor everything that can be moved...
Kim Nguyễn [Sun, 8 Dec 2013 09:54:54 +0000 (10:54 +0100)]
Refactor the run module, moving out of the Make functor everything that can be moved. Slightly improve the cache module by avoiding one comparison during find on some cases and remove manual call to Gc.compact in main, since it does not seem to help.

5 years agoResurect the HTML trace. Now generates a single HTML file containing the SVG.
Kim Nguyễn [Fri, 6 Dec 2013 15:09:27 +0000 (16:09 +0100)]
Resurect the HTML trace. Now generates a single HTML file containing the SVG.

5 years agoRename xmark test files so that the name order respects the size order.
Kim Nguyễn [Tue, 3 Dec 2013 23:02:02 +0000 (00:02 +0100)]
Rename xmark test files so that the name order respects the size order.
Fix the gen_xmark script.

5 years agoFix a bug in the test-complexity script and add more test cases.
Kim Nguyễn [Tue, 3 Dec 2013 22:59:24 +0000 (23:59 +0100)]
Fix a bug in the test-complexity script and add more test cases.

5 years agoSpeed-up the run function by keeping only the set of node to be satified for each...
Kim Nguyễn [Tue, 3 Dec 2013 22:57:12 +0000 (23:57 +0100)]
Speed-up the run function by keeping only the set of node to be satified for each node.

5 years agoWIP
Kim Nguyễn [Mon, 2 Dec 2013 21:30:43 +0000 (22:30 +0100)]

5 years agoSplit the formula cache into a top-down and bottom-up cache.
Kim Nguyễn [Sun, 1 Dec 2013 20:14:54 +0000 (21:14 +0100)]
Split the formula cache into a top-down and bottom-up cache.

5 years agoRemove some unneeded code that was slowing down the run function.
Kim Nguyễn [Sun, 1 Dec 2013 12:18:59 +0000 (13:18 +0100)]
Remove some unneeded code that was slowing down the run function.

5 years agoAdd missing tests for xmark_0.xml file.
Kim Nguyễn [Sun, 1 Dec 2013 11:05:40 +0000 (12:05 +0100)]
Add missing tests for xmark_0.xml file.

5 years agoAdd the results of reference implementations back.
Kim Nguyễn [Sun, 1 Dec 2013 08:20:06 +0000 (09:20 +0100)]
Add the results of reference implementations back.

5 years agoFix typos int the test file generation script.
Kim Nguyễn [Sat, 30 Nov 2013 21:32:17 +0000 (22:32 +0100)]
Fix typos int the test file generation script.

5 years agoAdd generated test files to .gitignore
Kim Nguyễn [Sat, 30 Nov 2013 21:30:05 +0000 (22:30 +0100)]
Add generated test files to .gitignore

5 years agoRefactor the testing infrastructure.
Kim Nguyễn [Sat, 30 Nov 2013 21:29:04 +0000 (22:29 +0100)]
Refactor the testing infrastructure.

5 years agoRefine the run to have a different set of states to satisfy while going td/bu.
Kim Nguyễn [Sat, 30 Nov 2013 18:27:49 +0000 (19:27 +0100)]
Refine the run to have a different set of states to satisfy while going td/bu.

5 years agoFix a bug in the build script that was causing some .cmo files to have a false depend...
Kim Nguyễn [Sat, 30 Nov 2013 12:19:03 +0000 (13:19 +0100)]
Fix a bug in the build script that was causing some .cmo files to have a false dependency on .cmx files.

5 years agoReplace "unsafe" function tempnam by custom code.
Kim Nguyễn [Sat, 30 Nov 2013 08:27:36 +0000 (09:27 +0100)]
Replace "unsafe" function tempnam by custom code.

5 years agoMake remake print "Entering/Leaving directory `foo'" if it changes the current workin...
Kim Nguyễn [Sat, 30 Nov 2013 08:25:47 +0000 (09:25 +0100)]
Make remake print "Entering/Leaving directory `foo'" if it changes the current working dir.

5 years agoAdd a target to run tests with the bytecode version of the program.
Kim Nguyễn [Thu, 28 Nov 2013 22:21:54 +0000 (23:21 +0100)]
Add a target to run tests with the bytecode version of the program.

5 years agoUpdate to master version of remake.
Kim Nguyễn [Thu, 28 Nov 2013 20:32:49 +0000 (21:32 +0100)]
Update to master version of remake.

5 years agoCosmetic changes (truncate long lines, remove trailing spaces…)
Kim Nguyễn [Mon, 25 Nov 2013 20:39:46 +0000 (21:39 +0100)]
Cosmetic changes (truncate long lines, remove trailing spaces…)

5 years agoImplement the ranked automata evaluation to guarantee a O(|D|x|Q|)
Kim Nguyễn [Sun, 24 Nov 2013 21:20:12 +0000 (22:20 +0100)]
Implement the ranked automata evaluation to guarantee a O(|D|x|Q|)
worst case complexity. The states of an automaton are given a rank (an
integer) such that if rank(q) = i, then state q can be satisfied
during run i at the latest. The maximum rank of a state is bounded by
the number of "bi-directional" states, that is, the number of states
which depends at the same time on a state upward and on another state
downard. Therefore, the rank is at most |Q|. For the moment, we
evaluate state [q] *only* during run i. This implies the O(|D|x|Q|)
overal complexity but also means we loose a chance to discard (or
accept) [q] early. A heuristic could improve that.

5 years agoAdd a tiny XML file to help debug automata behaviour.
Kim Nguyễn [Sun, 24 Nov 2013 21:18:57 +0000 (22:18 +0100)]
Add a tiny XML file to help debug automata behaviour.

5 years agoPut the move type of automata in a Move module and add auxiliary function to create...
Kim Nguyễn [Wed, 20 Nov 2013 21:50:56 +0000 (22:50 +0100)]
Put the move type of automata in a Move module and add auxiliary function to create and maintain tables indexed by moves. Use it to return the states of a forumla by move.

5 years agoAdd a utility function Boolean.iter that iterates a function over a formula.
Kim Nguyễn [Wed, 20 Nov 2013 21:46:24 +0000 (22:46 +0100)]
Add a utility function Boolean.iter that iterates a function over a formula.

5 years agoRemove useless cycles in the generated automaton. A state now only has at most one...
Kim Nguyễn [Sat, 16 Nov 2013 22:06:32 +0000 (23:06 +0100)]
Remove useless cycles in the generated automaton. A state now only has at most one trivial cycle with itself.

5 years agoSilence an unused variable warning.
Kim Nguyễn [Fri, 22 Nov 2013 14:32:07 +0000 (15:32 +0100)]
Silence an unused variable warning.

5 years agoPrint detailed statisticts of the run.
Kim Nguyễn [Fri, 8 Nov 2013 21:21:02 +0000 (22:21 +0100)]
Print detailed statisticts of the run.

5 years agoAdd a script to output the number of states/running time/number of traversal for...
Kim Nguyễn [Fri, 8 Nov 2013 20:43:29 +0000 (21:43 +0100)]
Add a script to output the number of states/running time/number of traversal for increasing query sizes.

5 years agoFix a bug in the compilation of * tests.
Kim Nguyễn [Tue, 1 Oct 2013 20:12:27 +0000 (22:12 +0200)]
Fix a bug in the compilation of * tests.

5 years agoAdd the .mly and .mll files as dependencies of the generated .ml
Kim Nguyễn [Sun, 18 Aug 2013 16:49:58 +0000 (18:49 +0200)]
Add the .mly and .mll files as dependencies of the generated .ml

5 years agoRefactor HTML tracing utility. Color the nodes that are in the same
Kim Nguyễn [Sun, 18 Aug 2013 16:32:18 +0000 (18:32 +0200)]
Refactor HTML tracing utility. Color the nodes that are in the same
sat configuration in the same color.

5 years agoIncrease the size of the border of selected nodes in the html trace.
Kim Nguyễn [Sun, 18 Aug 2013 10:19:08 +0000 (12:19 +0200)]
Increase the size of the border of selected nodes in the html trace.

5 years agoAlso print the number of states when printing automata.
Kim Nguyễn [Sun, 18 Aug 2013 10:18:26 +0000 (12:18 +0200)]
Also print the number of states when printing automata.

5 years agoDo not update the run if the todo set is empty for the current node.
Kim Nguyễn [Fri, 16 Aug 2013 17:42:17 +0000 (19:42 +0200)]
Do not update the run if the todo set is empty for the current node.

5 years agoRewrite the HTML debugging output to generate an svg file directly instead going
Kim Nguyễn [Thu, 15 Aug 2013 15:11:02 +0000 (17:11 +0200)]
Rewrite the HTML debugging output to generate an svg file directly instead going
through graphviz.

5 years agoAdd fold_left/right functions to the set interface (iterate in
Kim Nguyễn [Wed, 14 Aug 2013 08:59:27 +0000 (10:59 +0200)]
Add fold_left/right functions to the set interface (iterate in
increasing/decreasing order of keys).

5 years agoImplement set-theoretic operation on 2WSATA (union, intersection,
Kim Nguyễn [Wed, 7 Aug 2013 17:21:15 +0000 (19:21 +0200)]
Implement set-theoretic operation on 2WSATA (union, intersection,
negation, difference).

5 years agoImplement reverse mapping from preorder to nodes.
Kim Nguyễn [Wed, 7 Aug 2013 10:36:39 +0000 (12:36 +0200)]
Implement reverse mapping from preorder to nodes.

5 years agoImprove performance of parallel run by replacing standard hashtable with
Kim Nguyễn [Wed, 7 Aug 2013 10:34:51 +0000 (12:34 +0200)]
Improve performance of parallel run by replacing standard hashtable with
Cache.N1 array.

5 years agoLowlevel optimizations in the Ptset module, replace some function
Kim Nguyễn [Sat, 27 Jul 2013 14:32:26 +0000 (16:32 +0200)]
Lowlevel optimizations in the Ptset module, replace some function
calls by a field access, use bit twidling hack to compute the
largest power of two inferior to a given value (was previously done
with log(WORDSIZE * 8) branching + table lookup).

5 years agoDo not stupidely recompute a constant set of states for each node
Kim Nguyễn [Fri, 26 Jul 2013 15:16:13 +0000 (17:16 +0200)]
Do not stupidely recompute a constant set of states for each node
in the tree, compute it once and for all before the run and store it
at each node as we traverse them.

5 years agoImprove performances by moving the caching outside of the saturation
Kim Nguyễn [Fri, 26 Jul 2013 14:38:26 +0000 (16:38 +0200)]
Improve performances by moving the caching outside of the saturation
of the set of states of the current node (instead of caching and
looking-up at each step)

5 years agoDrastically improve performances by simplifying the book-keeping
Kim Nguyễn [Fri, 26 Jul 2013 14:01:29 +0000 (16:01 +0200)]
Drastically improve performances by simplifying the book-keeping
of pending transitions during a topdown run.
      - we were keeping for each node
        (1) sat: the set of states satisfied at that node
        (2) unsat: the set of states unsatisfied at that node
        (3) todo: the hashconsed list of pending transitions (of the
            form q, {a,b,c} -> f
            where f has been simplified w.r.t to sat and unsat (that is
            atoms containing states in either have been simplified to True
            or False) and q is neither in sat nor unsat.
      - during each run, for each node, we were scanning todo and rebuilding
        it removing satisfied or unsatisfied transitions. This lead to excessive
        hashconsing, and a lot of time spent in the hashconsing module (in turn
        spending a lot of time in the GC)
       - we keep for each node:
         (1) sat: the set of states satisfied at that node
         (2) todo: the set of undetermined *states*
       - we perform the book-keeping as before but do not materialize the
         simplified transitions. Also unsat is made inplicit (a state is
         unsat if it is neither in sat nor todo).

5 years agoRevert "Tentative optimization"
Kim Nguyễn [Thu, 25 Jul 2013 13:24:58 +0000 (15:24 +0200)]
Revert "Tentative optimization"

This reverts commit e9b4969905125718589b18ff6286e05688f7a929.
Avoiding the computation of a simplified formula does not help.

5 years agoAdd gmon.out to .gitignore
Kim Nguyễn [Thu, 25 Jul 2013 13:22:00 +0000 (15:22 +0200)]
Add gmon.out to .gitignore

5 years agoTentative optimization
Kim Nguyễn [Thu, 25 Jul 2013 13:21:36 +0000 (15:21 +0200)]
Tentative optimization

5 years agoFactor Remakefie and add more tests for parallel query composition. feature/multiple-starters
Kim Nguyễn [Thu, 25 Jul 2013 09:26:56 +0000 (11:26 +0200)]
Factor Remakefie  and add more tests for parallel query composition.

5 years agoAdd Makefile to .gitignore
Kim Nguyễn [Thu, 25 Jul 2013 07:09:58 +0000 (09:09 +0200)]
Add Makefile to .gitignore

5 years agoAdd a Makefile to drive the build process.
Kim Nguyễn [Wed, 24 Jul 2013 22:12:14 +0000 (00:12 +0200)]
Add a Makefile to drive the build process.

5 years agoFix invalid variable substitution in buildscript.
Kim Nguyễn [Wed, 24 Jul 2013 21:59:01 +0000 (23:59 +0200)]
Fix invalid variable substitution in buildscript.

5 years agoUpdate the output of the reference implementation to the new format. refactor/remake
Kim Nguyễn [Wed, 24 Jul 2013 21:52:16 +0000 (23:52 +0200)]
Update the output of the reference implementation to the new format.

5 years agoRemove un-needed scripts
Kim Nguyễn [Wed, 24 Jul 2013 21:50:43 +0000 (23:50 +0200)]
Remove un-needed scripts

5 years agoFactorise common bits of Remakefile in tools/ocamldriver.sh
Kim Nguyễn [Wed, 24 Jul 2013 21:49:44 +0000 (23:49 +0200)]
Factorise common bits of Remakefile in tools/ocamldriver.sh

5 years agoRefactor the build process. Piggyback on remake's dependency tracking
Kim Nguyễn [Wed, 24 Jul 2013 20:52:03 +0000 (22:52 +0200)]
Refactor the build process. Piggyback on remake's dependency tracking
to perform a topological sort of the object files, used during linking.
This is done by generating a .dep file for each object file keeping in
a .dep the transitive closure of its dependencies.
Also, packed modules must now be described by:
- a directory
- a file with the .pack extension, with the same basename as the directory,
listing the module names (relative to the directory containing the .ml files)

5 years agoAdd more tests (broken, needs a refactoring of the build script)
Kim Nguyễn [Wed, 24 Jul 2013 15:21:56 +0000 (17:21 +0200)]
Add more tests (broken, needs a refactoring of the build script)

5 years agoAdd tests for parallel query evaluation.
Kim Nguyễn [Wed, 24 Jul 2013 09:49:53 +0000 (11:49 +0200)]
Add tests for parallel query evaluation.

5 years agoImplement the multiple-starters feature:
Kim Nguyễn [Tue, 23 Jul 2013 17:06:50 +0000 (19:06 +0200)]
Implement the multiple-starters feature:
- implement automata merging and concatenation
- change the command line parsing to allow multiple queries
- update the output format to denote which query a result set belongs to
- implement full evaluation of automata (associate each selecting state
with its result set)

Given queries Q1 ... QN on the command line, we can now:
- compute Q1, then Q2, ... , then QN on the same document, sequentially
- build one automaton that computes Q1, ..., QN in parallel
- compute QN(... Q2(Q1(root))) sequentially (materializing intermediate
- build one automaton that computes QN(...(Q2(Q1(root)))) in one run.

5 years agoChange command line options:
Kim Nguyễn [Tue, 23 Jul 2013 07:38:39 +0000 (09:38 +0200)]
Change command line options:
       * -d, --doc set the input document (default to stdin)
       * -o, --out set the output file (default to stdout)

5 years agoImplement copy and composition of automata.
Kim Nguyễn [Tue, 23 Jul 2013 06:50:13 +0000 (08:50 +0200)]
Implement copy and composition of automata.

5 years agoPreliminary work for multiple starters evaluation. refactor/sanitize-ata
Kim Nguyễn [Fri, 19 Jul 2013 15:02:10 +0000 (17:02 +0200)]
Preliminary work for multiple starters evaluation.

5 years agoRefactor the Ata module:
Kim Nguyễn [Fri, 19 Jul 2013 13:33:37 +0000 (15:33 +0200)]
Refactor the Ata module:
         - add a builder class to ensure we only manipulate well-formed automata
         - move all the caching infrastructure to the computation of the run
         - rename the Eval module to Run

5 years agoSanitize the representation of formula
Kim Nguyễn [Wed, 17 Jul 2013 15:59:01 +0000 (17:59 +0200)]
Sanitize the representation of formula
- rename the toplevel Formula module to Boolean
- rename Ata.SFormula to Formula
- move the flag saying whether an atom is positive or negative
  to Boolean
- distinguish predicates that are moves from generic predicates.

5 years agoAdd a bullet symbol.
Kim Nguyễn [Wed, 17 Jul 2013 16:00:58 +0000 (18:00 +0200)]
Add a bullet symbol.

5 years agoAdd an int_of_bool cast function.
Kim Nguyễn [Wed, 17 Jul 2013 16:00:43 +0000 (18:00 +0200)]
Add an int_of_bool cast function.

5 years agoAdd an interface for the evaluation module.
Kim Nguyễn [Wed, 17 Jul 2013 16:00:22 +0000 (18:00 +0200)]
Add an interface for the evaluation module.

5 years agoMake remake change to the directory where ./remake (and the Remakefile) are.
Kim Nguyễn [Wed, 17 Jul 2013 12:32:56 +0000 (14:32 +0200)]
Make remake change to the directory where ./remake (and the Remakefile) are.

5 years agoRemove the timestamp header in source files. This information is
Kim Nguyễn [Mon, 15 Jul 2013 15:46:15 +0000 (17:46 +0200)]
Remove the timestamp header in source files. This information is
better kept in git.

5 years agoFix a bug where the content of variables are appended instead of being
Kim Nguyễn [Mon, 15 Jul 2013 15:37:39 +0000 (17:37 +0200)]
Fix a bug where the content of variables are appended instead of being
overwritten. Thus, when several sub-process send variable A=foo to the
server, the content of A becomes foofoofoofoo instead of just foo.

5 years agoFix a typo which causes mis-detection of the ocaml-expat bindings.
Kim Nguyễn [Mon, 15 Jul 2013 15:37:05 +0000 (17:37 +0200)]
Fix a typo which causes mis-detection of the ocaml-expat bindings.