projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem
[tatoo.git] / src /
2014-04-07 Huibo SHI1) Optimiser les fontions auxiliaires par eviter d... tree | commitdiff
2014-04-07 Huibo SHISupprimer la definition move, la fonction eval_move... tree | commitdiff
2014-04-07 Huibo SHI1) Supprimer le module Tas car il sert a rien tree | commitdiff
2014-04-03 Huibo SHIRemplacer la fonction List.sort par les fonctions d... tree | commitdiff
2014-04-02 Huibo SHIVerifier si seulement Descendant et Ancestor sont influ... tree | commitdiff
2014-04-01 Huibo SHISupprimer des fonctions 'keep_elements' et 'keep_attributs' tree | commitdiff
2014-03-28 Huibo SHIAjoute le module Tas pour remplacer la fonction List... tree | commitdiff
2014-03-26 Huibo SHI1) ecrire la fonction hash et equal tree | commitdiff
2014-03-19 Huibo SHIAjouter la fonction compare_query_tree pour verifer... tree | commitdiff
2014-03-19 Huibo SHI1) modifie la definition de query_tree tree | commitdiff
2014-03-19 Huibo SHIremedier a la liste desordonné par l'ajout de sort... tree | commitdiff
2014-03-18 Huibo SHInettoyer les commentaires tree | commitdiff
2014-03-18 Huibo SHIajoute l'evaluation d'attributes tree | commitdiff
2014-03-18 Huibo SHI optimiser la fonction eval_query_tree par l'ajoutation... tree | commitdiff
2014-03-11 Huibo SHIajout d'un compteur pour compter le nombre de noeuds... tree | commitdiff
2014-03-11 Huibo SHIsupprimer (List.rev p) dans la fonction compile_path_rev tree | commitdiff
2014-03-11 Huibo SHISuppression d'un commentaire tree | commitdiff
2014-03-11 Huibo SHIAjout de l'implementation preliminaire. tree | commitdiff
2014-03-11 shibingAjout des fonctions is_next_sibling, is_first_child... tree | commitdiff
2013-12-09 Kim NguyễnRefactor the tracing code, store the whole tree structu... tree | commitdiff
2013-12-08 Kim NguyễnCosmetic changes (whitespaces) and add comments at... tree | commitdiff
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files... tree | commitdiff
2013-12-08 Kim NguyễnRefactor the run module, moving out of the Make functor... tree | commitdiff
2013-12-06 Kim NguyễnResurect the HTML trace. Now generates a single HTML... tree | commitdiff
2013-12-03 Kim NguyễnSpeed-up the run function by keeping only the set of... tree | commitdiff
2013-12-02 Kim NguyễnWIP tree | commitdiff
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom... tree | commitdiff
2013-12-01 Kim NguyễnRemove some unneeded code that was slowing down the... tree | commitdiff
2013-11-30 Kim NguyễnRefine the run to have a different set of states to... tree | commitdiff
2013-11-25 Kim NguyễnCosmetic changes (truncate long lines, remove trailing... tree | commitdiff
2013-11-24 Kim NguyễnImplement the ranked automata evaluation to guarantee... tree | commitdiff
2013-11-22 Kim NguyễnPut the move type of automata in a Move module and... tree | commitdiff
2013-11-22 Kim NguyễnAdd a utility function Boolean.iter that iterates a... tree | commitdiff
2013-11-22 Kim NguyễnRemove useless cycles in the generated automaton. A... tree | commitdiff
2013-11-22 Kim NguyễnSilence an unused variable warning. tree | commitdiff
2013-11-08 Kim NguyễnPrint detailed statisticts of the run. tree | commitdiff
2013-11-07 Kim NguyễnFix a bug in the compilation of * tests. tree | commitdiff
2013-08-18 Kim NguyễnRefactor HTML tracing utility. Color the nodes that... tree | commitdiff
2013-08-18 Kim NguyễnIncrease the size of the border of selected nodes in... tree | commitdiff
2013-08-18 Kim NguyễnAlso print the number of states when printing automata. tree | commitdiff
2013-08-16 Kim NguyễnDo not update the run if the todo set is empty for... tree | commitdiff
2013-08-15 Kim NguyễnRewrite the HTML debugging output to generate an svg... tree | commitdiff
2013-08-14 Kim NguyễnAdd fold_left/right functions to the set interface... tree | commitdiff
2013-08-07 Kim NguyễnImplement set-theoretic operation on 2WSATA (union... tree | commitdiff
2013-08-07 Kim NguyễnImplement reverse mapping from preorder to nodes. tree | commitdiff
2013-08-07 Kim NguyễnImprove performance of parallel run by replacing standa... tree | commitdiff
2013-07-27 Kim NguyễnLowlevel optimizations in the Ptset module, replace... tree | commitdiff
2013-07-26 Kim NguyễnDo not stupidely recompute a constant set of states... tree | commitdiff
2013-07-26 Kim NguyễnImprove performances by moving the caching outside... tree | commitdiff
2013-07-26 Kim NguyễnDrastically improve performances by simplifying the... tree | commitdiff
2013-07-25 Kim NguyễnRevert "Tentative optimization" tree | commitdiff
2013-07-25 Kim NguyễnTentative optimization tree | commitdiff
2013-07-25 Kim NguyễnFactor Remakefie and add more tests for parallel query... feature/multiple-starters tree | commitdiff
2013-07-24 Kim NguyễnRefactor the build process. Piggyback on remake's depen... tree | commitdiff
2013-07-24 Kim NguyễnImplement the multiple-starters feature: tree | commitdiff
2013-07-23 Kim NguyễnChange command line options: tree | commitdiff
2013-07-23 Kim NguyễnImplement copy and composition of automata. tree | commitdiff
2013-07-19 Kim NguyễnPreliminary work for multiple starters evaluation. refactor/sanitize-ata tree | commitdiff
2013-07-19 Kim NguyễnRefactor the Ata module: tree | commitdiff
2013-07-17 Kim NguyễnSanitize the representation of formula tree | commitdiff
2013-07-17 Kim NguyễnAdd a bullet symbol. tree | commitdiff
2013-07-17 Kim NguyễnAdd an int_of_bool cast function. tree | commitdiff
2013-07-17 Kim NguyễnAdd an interface for the evaluation module. tree | commitdiff
2013-07-15 Kim NguyễnRemove the timestamp header in source files. This infor... tree | commitdiff
2013-04-26 Kim NguyễnRemove the 'round' counter from the hashconsed configur... tree | commitdiff
2013-04-25 Kim NguyễnAdd a clean logger infrastructure. tree | commitdiff
2013-04-25 Kim NguyễnAdd a bitmap to keep track of whether a subtree needs... tree | commitdiff
2013-04-23 Kim NguyễnMake the html trace tools use colors to represent the... tree | commitdiff
2013-04-23 Kim NguyễnCosmetic changes. tree | commitdiff
2013-04-22 Kim NguyễnTune the Remakefile to re-run tests when the binary... tree | commitdiff
2013-04-22 Kim NguyễnImplement command line options, clean-up screen output. tree | commitdiff
2013-04-22 Kim NguyễnMerge branch 'feature/precise-sat' tree | commitdiff
2013-04-22 Kim NguyễnHashcons transition evaluation based on node configuration. tree | commitdiff
2013-04-22 Kim NguyễnStore a summary of the node (kind, topology) in the... tree | commitdiff
2013-04-18 Kim NguyễnHash-conses each node configuration. tree | commitdiff
2013-04-18 Kim NguyễnMaintain the set of unsatisfiable states. tree | commitdiff
2013-04-18 Kim NguyễnRe-organize the Remakefile. tree | commitdiff
2013-04-17 Kim NguyễnRemove OCamlbuild related files. Youpi. tree | commitdiff
2013-04-17 Kim NguyễnFix remaining compilation bug caused by the refactoring... tree | commitdiff
2013-04-04 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo tree | commitdiff
2013-04-04 Kim NguyễnFlatten the sources, only leave the XPath module packed. tree | commitdiff
2013-03-23 Kim NguyễnPrintout statistics about cache occupation. tree | commitdiff
2013-03-18 Kim Nguyễn- Reorder the keys used to cache transitions tree | commitdiff
2013-03-16 Kim NguyễnDisplay caching and iteration statistics at the end... tree | commitdiff
2013-03-15 Kim NguyễnSimplify transition instead of evaluating them to true... tree | commitdiff
2013-03-15 Kim NguyễnAdd debugging information to the automaton. tree | commitdiff
2013-03-15 Kim NguyễnCode refactoring: tree | commitdiff
2013-03-15 Kim NguyễnMake the output graph nodes rectangular. tree | commitdiff
2013-03-14 Kim NguyễnAdd a 'trace' mode (must be enabled at build time)... tree | commitdiff
2013-03-14 Kim NguyễnWrite the caching module in a more systematic way. tree | commitdiff
2013-03-14 Kim NguyễnReuse the same cache between different iterations. tree | commitdiff
2013-03-14 Kim NguyễnRework the testing script. tree | commitdiff
2013-03-13 Kim NguyễnMake the program report query execution time and query... tree | commitdiff
2013-03-13 Kim NguyễnStaturate the set of state of the current node to avoid... tree | commitdiff
2013-03-13 Kim NguyễnReplace the Hashtbl.t used for mapping nodes to state... tree | commitdiff
2013-03-13 Kim NguyễnImplement runtime optimisation via Hashing of transitions. tree | commitdiff
2013-03-13 Kim NguyễnAdd a caching module. tree | commitdiff
2013-03-13 Kim NguyễnRemove spurious debugging messages. tree | commitdiff
2013-03-13 Kim NguyễnAdd .. and . to the path syntax. tree | commitdiff
2013-03-13 Kim NguyễnFix a bug in the handling of processing-instruction... tree | commitdiff
next
Tree Automata TOOlkit