2012-07-17 |
Lucca Hirschi | Merge branch 'lucca-tests-bench' into lucca-optim Core+Extentions+Optim-hconsed_V1 |
commit | commitdiff | tree | snapshot |
2012-07-17 |
Lucca Hirschi | Add a big query, log of benchmarks... |
commit | commitdiff | tree | snapshot |
2012-07-17 |
Lucca Hirschi | For testing. |
commit | commitdiff | tree | snapshot |
2012-07-17 |
Lucca Hirschi | Benchmark script. |
commit | commitdiff | tree | snapshot |
2012-07-17 |
Lucca Hirschi | Main for benchmarks. |
commit | commitdiff | tree | snapshot |
2012-07-17 |
Lucca Hirschi | log, bench, generate: 0.5 |
commit | commitdiff | tree | snapshot |
2012-07-17 |
Lucca Hirschi | Evaluation anf inference of formulas are now hconsed... |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Second fixpoint of TP_Max is now hconsed. |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Fixpoint in BU_over_max is now hconsed (37% better). |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Fst fixpoint is now hconsed. |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | minor |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Add a generator of XML documents, script. |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Test cases from XPath-PT, script. |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Test cases from XPath-PT, script. |
commit | commitdiff | tree | snapshot |
2012-07-16 |
Lucca Hirschi | Correct TP algorithm with fixed point (to be tested). |
commit | commitdiff | tree | snapshot |
2012-07-13 |
Lucca Hirschi | typo test.ml + Why the old asta is taken for building... Core+FS_tested |
commit | commitdiff | tree | snapshot |
2012-07-13 |
Lucca Hirschi | Fix predicates + following_sibling/self + add self... |
commit | commitdiff | tree | snapshot |
2012-07-13 |
Lucca Hirschi | fix a bug: attributes were considered as nodes -> using... |
commit | commitdiff | tree | snapshot |
2012-07-13 |
Lucca Hirschi | minor in run + fix infinite loop, must think about... |
commit | commitdiff | tree | snapshot |
2012-07-13 |
Lucca Hirschi | Merge branch 'lucca-tests-bench' into lucca-extentions |
commit | commitdiff | tree | snapshot |
2012-07-13 |
Lucca Hirschi | solve.ml solves series of queries and ouptut onlt selec... |
commit | commitdiff | tree | snapshot |
2012-07-12 |
Lucca Hirschi | Buggy version of Run with self transitions (hard part... |
commit | commitdiff | tree | snapshot |
2012-07-12 |
Lucca Hirschi | fix in Formula + Compil deals with FollowingSibling... |
commit | commitdiff | tree | snapshot |
2012-07-12 |
Lucca Hirschi | Add `Self direction in Formula + compute fixed point... |
commit | commitdiff | tree | snapshot |
2012-07-05 |
Lucca Hirschi | Commentaries lucca-master Core |
commit | commitdiff | tree | snapshot |
2012-07-05 |
Lucca Hirschi | Final test in run_test try my.query on my.xml (from... |
commit | commitdiff | tree | snapshot |
2012-07-05 |
Lucca Hirschi | Full implem of BU_over_Max and TP_max (to be tested... |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | Full implem BU Oracle + eval_form in Formula (impossibl... |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | License |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | structure of Run.compute + pretty-printing (run+tree... |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | result in .gitignore + pretty printing |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | Merge branch 'lucca-master' into HEAD |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | Structure run + Print run |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | Structure of run. |
commit | commitdiff | tree | snapshot |
2012-07-04 |
Lucca Hirschi | Minor |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Minors (srry for the noise) |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Merge branch 'lucca-master' of ssh://git.nguyen.vg... |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Found two bugs by rewriting the compilation in the... |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Found two bugs by rewriting the compilation in the... |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Files for the next step: run.ml? |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | + result |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Fix but in test.ml |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | Compilation works for all XPath queries from the... |
commit | commitdiff | tree | snapshot |
2012-07-03 |
Lucca Hirschi | XPath without predicates are correctly compiled. |
commit | commitdiff | tree | snapshot |
2012-07-02 |
Lucca Hirschi | Add queries states |
commit | commitdiff | tree | snapshot |
2012-07-02 |
Lucca Hirschi | Print labels (=QName -> qname.ml? ) |
commit | commitdiff | tree | snapshot |
2012-07-02 |
Lucca Hirschi | Files compil.ml? for compilation XPath -> ASTA |
commit | commitdiff | tree | snapshot |
2012-07-02 |
Lucca Hirschi | Implem of Asta.print |
commit | commitdiff | tree | snapshot |
2012-06-29 |
Lucca Hirschi | fix ocamldoc |
commit | commitdiff | tree | snapshot |
2012-06-29 |
Lucca Hirschi | Merge branch 'lucca-master' of ssh://git.nguyen.vg... |
commit | commitdiff | tree | snapshot |
2012-06-29 |
Lucca Hirschi | script ocamldoc for generating html doc and fancy graph ^^ |
commit | commitdiff | tree | snapshot |
2012-06-29 |
Lucca Hirschi | implem asta |
commit | commitdiff | tree | snapshot |
2012-06-29 |
Lucca Hirschi | With -f, we can read the XPath query in a file. |
commit | commitdiff | tree | snapshot |
2012-06-29 |
Lucca Hirschi | Queries and script for testing. |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Remove spurious debugging statement. |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Add attributes to the test document. |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Add support for attribute nodes. Correctly escape speci... |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Add support for text elements in the XML document. |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Lucca Hirschi | Merge branch 'master' of ssh://git.nguyen.vg/tatoo... |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Merge branch 'master' of ssh://git.nguyen.vg/tatoo |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Add .gitignore and ignore result of compilation. |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Lucca Hirschi | ignore _build/ and test.native |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Lucca Hirschi | .gitignore for test.native and _build |
commit | commitdiff | tree | snapshot |
2012-06-28 |
Kim Nguyễn | Usable version: |
commit | commitdiff | tree | snapshot |
2012-06-12 |
Kim Nguyễn | Add autoconf infrastructure, license, and macro files. |
commit | commitdiff | tree | snapshot |
|