projects
/
SXSI
/
xpathcomp.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SXSI/xpathcomp.git
2012-04-24
Kim Nguyễn
Initialized bug tracker
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Add hooks to re-initialize hconsed modules.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Replace \n by @\n in log message.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Minor code factoring.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Favor {first,next}_element calls instead of select_...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Make constant construtors of L2JIT.opcode CACHE and...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Use better defaults for top-down cache size.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Add -r <n> option to repeat the query execution n times.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Change the read_procmem function to return the stack...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
Kim Nguyễn
Add performance regression test script.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-18
Kim Nguyễn
Change the inlining
commit
|
commitdiff
|
tree
|
snapshot
2012-04-18
Kim Nguyễn
Add utility header file.
new-xml-tree
commit
|
commitdiff
|
tree
|
snapshot
2012-04-18
Kim Nguyễn
Change from unordered_set<tag> to int array in low...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-18
Kim Nguyễn
Change the ifndef guard from FOO_H_ to FOO_HPP_ to...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-18
Kim Nguyễn
Misc. rewrites:
commit
|
commitdiff
|
tree
|
snapshot
2012-04-12
Kim Nguyễn
Encapsulate serialization results around with <xml_resu...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-12
Kim Nguyễn
More debugging:
commit
|
commitdiff
|
tree
|
snapshot
2012-04-06
Kim Nguyễn
Finish adapting to new libxml-tree API
commit
|
commitdiff
|
tree
|
snapshot
2012-04-04
Kim Nguyễn
Big refactoring of libxml-tree, part (1) (everything...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Optimize the bottom-up run using a Camlp4 macro instead...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Silence compiler warning about unused variables.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Uses the Logger.print function instead of Printf.eprintf
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Add text() and node() tokens in the lexer to allow...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Fix bug where the Lvl2 Cache got corrupted upon resizing.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Remove unused memory profiling code.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-02
Kim Nguyễn
Add efficient compare_int in INCLUDED .ml files.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-20
Kim Nguyễn
Change the logging infrastructure:
commit
|
commitdiff
|
tree
|
snapshot
2012-03-20
Kim Nguyễn
Rename flags for build script from -foo to -enable-foo
commit
|
commitdiff
|
tree
|
snapshot
2012-03-20
Kim Nguyễn
Add the auction.dtd document type definition to the...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-20
Kim Nguyễn
Rename 'Tracer' module to 'Logger'.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-19
Kim Nguyễn
Revert "Remove the need for a NOP operation in automata...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-19
Kim Nguyễn
Temporary commit
commit
|
commitdiff
|
tree
|
snapshot
2012-03-16
Kim Nguyễn
Remove -flto from the linking phase.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-16
Kim Nguyễn
Ensure that the c++ flags defined in myocamlbuild_confi...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-16
Kim Nguyễn
Change inlining parameter to 1000 again.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-16
Kim Nguyễn
Finaly clean up formula representation.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Add query
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Add performance tests
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Fix test scripts.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Ignore .g files (grammar).
tool-shed
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Make the tree/text interface more flexible to various...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Small refactoring:
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Remove the need for a NOP operation in automata bytecode.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Clean-up Hcons module:
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Add iteri function to traverse cache data structures.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Sort and remove duplicate from text query results ...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Add a C implementation of leading_bit and clz to optimi...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-14
Kim Nguyễn
Update compilation flag:
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Add text-attribute tags to the star tagset.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Put grammar stuff.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Update parsing of tree.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Cosmetic changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Cosmetic changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Add grammar related function to result sets (2/2).
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Add grammar related function to result sets.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Update to new caching infrastructure.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Temporary commit for grammar stuff.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Small optimization (replace lor 1 by + 1)
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Pass debugging flags to malloc.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Update caching infrastructure to automatically resize...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Cosmetic changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Cosmetic change.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Enable gcc link time optimizations.
commit
|
commitdiff
|
tree
|
snapshot
2012-03-01
Kim Nguyễn
Reduce output in verbose mode.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-28
Kim Nguyễn
Improve caching table:
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Remove support for outdated libGrammar, replaced by...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add *.{native,byte} to .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add Grammar related programs.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Modify alarm to not treat the program's options as...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
New run function based on rank2 grammars:
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add function to query the memory usage of the BP structure.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Finish porting to the Grammar2 API
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add function to cast tags to integers.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add missing functions in the grammar2 API.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Fix indentation issues.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add grammar loading and indexing.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Adds new tracing points in the grammar runtime.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Changes the log format to include a timestamp.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add an extra parameter to cons so that it does not...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Various fixes to the old grammar interface
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Allow to pass an explicit destructor when registering...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
Add wrappers for sadakane's data structure.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-22
Kim Nguyễn
New version of the Grammar data-structure
commit
|
commitdiff
|
tree
|
snapshot
2012-02-17
Kim Nguyễn
New version of the alarm utility.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
First attempt at having a grammar runtime.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
Remove hard-coded acess to SXSI for tag operations.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
Start making the code tag agnostic.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
Add a new tracer level for debugging grammar run.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
Add variance indicator to type.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-16
Kim Nguyễn
Finished fixing the pre-order traversal of the grammar.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-15
Kim Nguyễn
Temporary commit.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-14
Kim Nguyễn
Preliminary support for the grammar.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-14
kim
Merge branch 'local-library-split' into local-trunk
trunk
commit
|
commitdiff
|
tree
|
snapshot
2012-02-14
Kim Nguyễn
Fix compile error in debug mode.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-14
Kim Nguyễn
Add Tom's Grammar work to the build script. Requires...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-13
kim
Revert changes for following-sibling jumping function...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-13
kim
Change configure script to use separate libraries.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-07
kim
Temporary commit.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-05
kim
Create branch trace-refactor
commit
|
commitdiff
|
tree
|
snapshot
next