joshua/hybrid-ads
1
Fork 0
mirror of https://github.com/Jaxan/hybrid-ads.git synced 2025-04-27 23:17:44 +02:00
Code Issues Releases Activity
99 commits 1 branch 0 tags 1.1 MiB
Commit graph

69 commits

Author SHA1 Message Date
Joshua Moerman
687784bcf9 Windows hotpatch 2018-07-30 14:36:39 +02:00
Joshua Moerman
aa718f17d3 Adds a mode to just output suffixes for Petra. (Not the most optimal way.) 2018-06-22 12:25:06 +02:00
Joshua Moerman
4a5af92354 Cleaned up a whole bunch of things 2017-07-25 11:44:28 +01:00
Joshua Moerman
5fe44a2179 Adds script to complete partial dots 2015-12-22 12:27:53 +01:00
Joshua Moerman
b990221c3c Merge branch 'master' of https://gitlab.science.ru.nl/moerman/Yannakakis 2015-12-16 11:32:40 +01:00
Joshua Moerman
e392f65658 Adds some options to the learning graph tool 2015-12-16 11:32:22 +01:00
Joshua Moerman
15967b0581 Fixes compilation issue (clang is too nice to me) 2015-11-25 11:48:12 +01:00
Joshua Moerman
0e2547be86 Adds program to count size of test suite 2015-11-17 17:27:04 +01:00
Joshua Moerman
aa801a7946 Reintroduces the bug/feature that created longer prefixes 2015-10-29 13:35:30 +01:00
Joshua Moerman
7ea3593588 Adds script I use to parse/accumulate data for a learning plot 2015-10-13 14:38:49 +02:00
Joshua Moerman
23ec2c94c5 Adds an option to the generator to generate the same machine, but with alphabets permuted 2015-10-13 14:38:17 +02:00
Joshua Moerman
09c65377e7 Adds a test method without suffixes. Rewrites methods.cpp to use these functions. 2015-10-13 14:32:42 +02:00
Joshua Moerman
e9ffbd3be8 Fixes bug in prefix sequences (sorry methods.cpp is still broken) 2015-10-13 14:31:36 +02:00
Joshua Moerman
5faac3fef7 Adds more (useless?) statistics for analysing machines in stats.cpp 2015-09-25 16:37:28 +02:00
Joshua Moerman
6863872218 More sophisticated random graph generation (with power laws and clusters). Still not similar to the Océ case at all! 2015-09-25 16:37:28 +02:00
Joshua Moerman
a70a2f6ac7 Some script I use to make statistical learning graphs 2015-09-25 16:37:28 +02:00
Joshua Moerman
00c1954eba Adds better (and more) command line option handling 2015-09-25 16:37:27 +02:00
Joshua Moerman
80c4fac8f1 Fixes build (of main.cpp) for gcc-4.8 2015-09-14 17:10:22 +02:00
Joshua Moerman
415689b04c Adds the two families of automata occurring in Hopcrofts paper 2015-07-30 16:33:15 +02:00
Joshua Moerman
01bc580081 Adds proper command line interface for the generator 2015-07-30 15:24:28 +02:00
Joshua Moerman
a1965365b6 Adds a simple random machine generator 2015-07-30 14:02:17 +02:00
Joshua Moerman
9a92ff7703 Sophisticates stats.cpp 2015-07-30 14:02:04 +02:00
Joshua Moerman
5c1c88976c Also adds seed to methods.cpp 2015-07-30 14:01:47 +02:00
Joshua Moerman
e3b512fe6d Adds an extra program option: the random seed (optional) 2015-07-28 16:37:10 +02:00
Joshua Moerman
a9e3fdfd1c Simplified the lca implementation (now without state) 2015-07-10 09:31:39 +02:00
Joshua Moerman
00ad4445f3 Makes it c++11 again (only for main). Hopefully compiles on VS 2013 again. 2015-05-22 15:52:03 +02:00
Joshua Moerman
da41dfec26 Adds expected length (in randomised phase) as option to main 2015-05-21 16:45:33 +02:00
Joshua Moerman
1856602e3c Reduces memory usage a bit by using smaller types. 2015-05-21 15:56:16 +02:00
Joshua Moerman
f5108ceb43 Refactors a bit 2015-05-21 14:13:04 +02:00
Joshua Moerman
1497315778 Fixes memory usage (part two). Introduces time complexity issue... 2015-05-21 10:12:03 +02:00
Joshua Moerman
713b5fb48c Merges the read_mealy files 2015-05-20 12:23:13 +02:00
Joshua Moerman
0ab23f5ec2 Moves test suite generation to separate files 2015-05-20 12:07:41 +02:00
Joshua Moerman
da393cc19f Adds plain txt support to the important executables 2015-05-20 10:22:19 +02:00
Joshua Moerman
8752cebcfa Adds code to calculate distance between automata relative to log 2015-05-13 17:53:36 +02:00
Joshua Moerman
7fcafba6e9 Refactor 2015-05-04 10:21:44 +02:00
Joshua Moerman
22208275fd Alters the splitting tree to be minimal (for the W-method) 2015-04-20 14:14:10 +02:00
Joshua Moerman
114ad8c8b7 Adds test suite size thingy 2015-04-20 10:09:07 +02:00
Joshua Moerman
69942cd683 generalised a bit and uses trie now 2015-04-17 18:35:27 +02:00
Joshua Moerman
b6033eec4c 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
Joshua Moerman
5f827b2c1c Adds a Trie datastrucutre (to be used) 2015-04-14 11:55:20 +02:00
Joshua Moerman
2b600cca08 Fixes some warnings (and re-enables c++14) 2015-04-14 11:54:51 +02:00
Joshua Moerman
7817edbb90 Removes concurrency as std::future seems to be broken in VS 2013 2015-04-08 11:31:08 +02:00
Joshua Moerman
037646a16a Workaround for the mising constructor in VS 2013 2015-04-08 11:17:16 +02:00
Joshua Moerman
fd750e4abd Replaces auto return type with concrete types :( 2015-04-07 16:23:07 +02:00
Joshua Moerman
64b2331672 Fixes some warnings 2015-04-07 16:17:48 +02:00
Joshua Moerman
098f0e9bff Added restriction to reachable sub machine 2015-04-07 16:17:28 +02:00
Joshua Moerman
795b79e85d Replaces the poly-lambdas with typed lambdas :( 2015-04-07 09:02:06 +02:00
Joshua Moerman
598e72b880 Simplifies code by removing phantom typing. 
Also removes other unused tools.
 2015-04-07 08:50:18 +02:00
Joshua Moerman
3de4f29a87 Adds a file to determine reachability with a subalphabet (bug!) 2015-04-07 08:40:46 +02:00
Joshua Moerman
9d83501d69 Removes assert in favor of exceptions. Removes code I do not use. Bug fix. 2015-03-31 11:41:21 +02:00