| .. |
|
adaptive_distinguishing_sequence.cpp
|
Fix for gcc (-fpermissive)
|
2015-06-05 15:57:48 +02:00 |
|
adaptive_distinguishing_sequence.hpp
|
Fix for gcc (-fpermissive)
|
2015-06-05 15:57:48 +02:00 |
|
CMakeLists.txt
|
Adds partition refinement, and reading mealy machine
|
2015-03-19 17:25:09 +01:00 |
|
logging.hpp
|
Fixes some warnings
|
2015-04-07 16:17:48 +02:00 |
|
mealy.hpp
|
Reduces memory usage a bit by using smaller types.
|
2015-05-21 15:56:16 +02:00 |
|
partition.hpp
|
Fixes some warnings (and re-enables c++14)
|
2015-04-14 11:54:51 +02:00 |
|
reachability.cpp
|
Reduces memory usage a bit by using smaller types.
|
2015-05-21 15:56:16 +02:00 |
|
reachability.hpp
|
Added restriction to reachable sub machine
|
2015-04-07 16:17:28 +02:00 |
|
read_mealy.cpp
|
Removes the boost dependency
|
2017-07-28 15:03:02 +01:00 |
|
read_mealy.hpp
|
Adds script to complete partial dots
|
2015-12-22 12:27:53 +01:00 |
|
separating_family.cpp
|
Updates the build instructions. Updates the submodule url.
|
2015-09-25 16:47:32 +02:00 |
|
separating_family.hpp
|
Refactors a bit
|
2015-05-21 14:13:04 +02:00 |
|
splitting_tree.cpp
|
Adds an extra program option: the random seed (optional)
|
2015-07-28 16:37:10 +02:00 |
|
splitting_tree.hpp
|
Adds an extra program option: the random seed (optional)
|
2015-07-28 16:37:10 +02:00 |
|
test_suite.cpp
|
Adds -e options, which will reduce memory usage. Adds -l option which allows an initial segment to be randomised.
|
2018-11-02 12:06:45 +01:00 |
|
test_suite.hpp
|
Adds -e options, which will reduce memory usage. Adds -l option which allows an initial segment to be randomised.
|
2018-11-02 12:06:45 +01:00 |
|
transfer_sequences.cpp
|
Fixes compilation issue (clang is too nice to me)
|
2015-11-25 11:48:12 +01:00 |
|
transfer_sequences.hpp
|
Reintroduces the bug/feature that created longer prefixes
|
2015-10-29 13:35:30 +01:00 |
|
trie.hpp
|
Improved the trie data structure to be more (memory) efficient
|
2017-07-28 14:48:14 +01:00 |
|
types.hpp
|
The good fix (I hope), and removes an attribute
|
2015-05-22 15:58:01 +02:00 |
|
windows_getopt.h
|
Windows hotpatch
|
2018-07-30 14:36:39 +02:00 |
|
write_tree_to_dot.cpp
|
Fix for gcc (-fpermissive)
|
2015-06-05 15:57:48 +02:00 |
|
write_tree_to_dot.hpp
|
Adds some docs and a tool to create the dot files for splitting trees and ad. dist. seqs.
|
2015-04-17 16:08:26 +02:00 |
