|
branches
|
2010-02-07
|
oskarw
|
[r25]
Created branch ow-branch-datatype-optimization.
|
|
COPYING
|
2008-11-13
|
oskarw
|
[r2]
Added README and COPYING files as well as a scr...
|
|
Makefile
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
README
|
2008-11-13
|
oskarw
|
[r2]
Added README and COPYING files as well as a scr...
|
|
canonical_name.cpp
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
canonical_name.h
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
common.h
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
gen_model_tarball.sh
|
2008-11-13
|
oskarw
|
[r2]
Added README and COPYING files as well as a scr...
|
|
graph_grammar.cpp
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
graph_grammar.h
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
graph_invariant_checker.cpp
|
2008-11-28
|
oskarw
|
[r10]
Fixed bug in "exactly x nodes" case during mate...
|
|
graph_invariant_checker.h
|
2008-11-22
|
oskarw
|
[r4]
Added node labels to output patterns (.dot file...
|
|
graph_node.cpp
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
graph_node.h
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
graph_rewriting_rule.cpp
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
graph_rewriting_rule.h
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
hyper_edge.cpp
|
2008-11-24
|
oskarw
|
[r5]
Minor changes.
|
|
hyper_edge.h
|
2008-11-24
|
oskarw
|
[r5]
Minor changes.
|
|
hyper_graph.cpp
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
hyper_graph.h
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
lexer.ll
|
2008-11-12
|
oskarw
|
[r1]
Initial upload of all GBT files to SourceForge....
|
|
main.cpp
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
parser.yy
|
2008-11-25
|
oskarw
|
[r7]
Testing revealed some more bugs when combining ...
|
|
pattern.cpp
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
pattern.h
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
run_gbt.sh
|
2010-02-07
|
oskarw
|
[r24]
Merged in branch ow-branch-variable-optimizatio...
|
|
tester.cpp
|
2008-11-28
|
oskarw
|
[r10]
Fixed bug in "exactly x nodes" case during mate...
|