projects / SXSI / xpathcomp.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add efficient compare_int in INCLUDED .ml files.
2012-04-02 Kim NguyễnAdd efficient compare_int in INCLUDED .ml files.
 commit | commitdiff | tree
2012-03-20 Kim NguyễnChange the logging infrastructure:
 commit | commitdiff | tree
2012-03-20 Kim NguyễnRename flags for build script from -foo to -enable-foo
 commit | commitdiff | tree
2012-03-20 Kim NguyễnAdd the auction.dtd document type definition to the...
commit | commitdiff | tree
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'.
 commit | commitdiff | tree
2012-03-19 Kim NguyễnRevert "Remove the need for a NOP operation in automata...
commit | commitdiff | tree
2012-03-19 Kim NguyễnTemporary commit
 commit | commitdiff | tree
2012-03-16 Kim NguyễnRemove -flto from the linking phase.
 commit | commitdiff | tree
2012-03-16 Kim NguyễnEnsure that the c++ flags defined in myocamlbuild_config...
commit | commitdiff | tree
2012-03-16 Kim NguyễnChange inlining parameter to 1000 again.
 commit | commitdiff | tree
2012-03-16 Kim NguyễnFinaly clean up formula representation.
 commit | commitdiff | tree
2012-03-14 Kim NguyễnAdd query
 commit | commitdiff | tree
2012-03-14 Kim NguyễnAdd performance tests
 commit | commitdiff | tree
2012-03-14 Kim NguyễnFix test scripts.
 commit | commitdiff | tree
2012-03-14 Kim NguyễnIgnore .g files (grammar).
 commit | commitdiff | tree
2012-03-14 Kim NguyễnMake the tree/text interface more flexible to various...
commit | commitdiff | tree
2012-03-14 Kim NguyễnSmall refactoring:
 commit | commitdiff | tree
2012-03-14 Kim NguyễnRemove the need for a NOP operation in automata bytecode.
 commit | commitdiff | tree
2012-03-14 Kim NguyễnClean-up Hcons module:
 commit | commitdiff | tree
2012-03-14 Kim NguyễnAdd iteri function to traverse cache data structures.
 commit | commitdiff | tree
2012-03-14 Kim NguyễnSort and remove duplicate from text query results ...
commit | commitdiff | tree
2012-03-14 Kim NguyễnAdd a C implementation of leading_bit and clz to optimize...
commit | commitdiff | tree
2012-03-14 Kim NguyễnUpdate compilation flag:
 commit | commitdiff | tree
2012-03-01 Kim NguyễnAdd text-attribute tags to the star tagset.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnPut grammar stuff.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnUpdate parsing of tree.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnCosmetic changes.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnCosmetic changes.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnAdd grammar related function to result sets (2/2).
 commit | commitdiff | tree
2012-03-01 Kim NguyễnAdd grammar related function to result sets.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnUpdate to new caching infrastructure.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnTemporary commit for grammar stuff.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnSmall optimization (replace lor 1 by + 1)
 commit | commitdiff | tree
2012-03-01 Kim NguyễnPass debugging flags to malloc.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnUpdate caching infrastructure to automatically resize...
commit | commitdiff | tree
2012-03-01 Kim NguyễnCosmetic changes.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnCosmetic change.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnEnable gcc link time optimizations.
 commit | commitdiff | tree
2012-03-01 Kim NguyễnReduce output in verbose mode.
 commit | commitdiff | tree
2012-02-28 Kim NguyễnImprove caching table:
 commit | commitdiff | tree
2012-02-22 Kim NguyễnRemove support for outdated libGrammar, replaced by...
commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd *.{native,byte} to .gitignore
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd Grammar related programs.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnModify alarm to not treat the program's options as...
commit | commitdiff | tree
2012-02-22 Kim NguyễnNew run function based on rank2 grammars:
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd function to query the memory usage of the BP structure.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnFinish porting to the Grammar2 API
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd function to cast tags to integers.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd missing functions in the grammar2 API.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnFix indentation issues.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd grammar loading and indexing.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdds new tracing points in the grammar runtime.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnChanges the log format to include a timestamp.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd an extra parameter to cons so that it does not...
commit | commitdiff | tree
2012-02-22 Kim NguyễnVarious fixes to the old grammar interface
 commit | commitdiff | tree
2012-02-22 Kim NguyễnAllow to pass an explicit destructor when registering...
commit | commitdiff | tree
2012-02-22 Kim NguyễnAdd wrappers for sadakane's data structure.
 commit | commitdiff | tree
2012-02-22 Kim NguyễnNew version of the Grammar data-structure
 commit | commitdiff | tree
2012-02-17 Kim NguyễnNew version of the alarm utility.
 commit | commitdiff | tree
2012-02-16 Kim NguyễnFirst attempt at having a grammar runtime.
 commit | commitdiff | tree
2012-02-16 Kim NguyễnRemove hard-coded acess to SXSI for tag operations.
 commit | commitdiff | tree
2012-02-16 Kim Nguyễn.
 commit | commitdiff | tree
2012-02-16 Kim NguyễnStart making the code tag agnostic.
 commit | commitdiff | tree
2012-02-16 Kim NguyễnAdd a new tracer level for debugging grammar run.
 commit | commitdiff | tree
2012-02-16 Kim NguyễnAdd variance indicator to type.
 commit | commitdiff | tree
2012-02-16 Kim NguyễnFinished fixing the pre-order traversal of the grammar.
 commit | commitdiff | tree
2012-02-15 Kim NguyễnTemporary commit.
 commit | commitdiff | tree
2012-02-14 Kim NguyễnPreliminary support for the grammar.
 commit | commitdiff | tree
2012-02-14 Kim NguyễnFix compile error in debug mode.
 commit | commitdiff | tree
2012-02-14 Kim NguyễnAdd Tom's Grammar work to the build script. Requires...
commit | commitdiff | tree
XPath Library based on tree automata.