joshua/hybrid-ads
1
Fork 0
mirror of https://github.com/Jaxan/hybrid-ads.git synced 2025-04-27 06:57:44 +02:00
Code Issues Releases Activity

Commit graph

  • f23946f00c Adds -e options, which will reduce memory usage. Adds -l option which allows an initial segment to be randomised. master Joshua Moerman 2018-11-02 12:06:45 +01:00
  • 687784bcf9 Windows hotpatch Joshua Moerman 2018-07-30 14:36:39 +02:00
  • aa718f17d3 Adds a mode to just output suffixes for Petra. (Not the most optimal way.) Joshua Moerman 2018-06-22 12:25:06 +02:00
  • 08d940224b Removes the boost dependency Joshua Moerman 2017-07-28 15:03:02 +01:00
  • 44f4cb3b76 Improved the trie data structure to be more (memory) efficient Joshua Moerman 2017-07-28 14:48:14 +01:00
  • 4a5af92354 Cleaned up a whole bunch of things Joshua Moerman 2017-07-25 11:44:28 +01:00
  • 0c81bded6b Removes some redundant verbosity Joshua Moerman 2015-12-22 13:36:02 +01:00
  • 5fe44a2179 Adds script to complete partial dots Joshua Moerman 2015-12-22 12:27:53 +01:00
  • b990221c3c Merge branch 'master' of https://gitlab.science.ru.nl/moerman/Yannakakis Joshua Moerman 2015-12-16 11:32:40 +01:00
  • e392f65658 Adds some options to the learning graph tool Joshua Moerman 2015-12-16 11:32:22 +01:00
  • 63074c1d4f Updates readme Joshua Moerman 2015-11-25 13:05:44 +01:00
  • 15967b0581 Fixes compilation issue (clang is too nice to me) Joshua Moerman 2015-11-25 11:48:12 +01:00
  • 0e2547be86 Adds program to count size of test suite Joshua Moerman 2015-11-17 17:27:04 +01:00
  • aa801a7946 Reintroduces the bug/feature that created longer prefixes Joshua Moerman 2015-10-29 13:35:30 +01:00
  • 7ea3593588 Adds script I use to parse/accumulate data for a learning plot Joshua Moerman 2015-10-13 14:38:49 +02:00
  • 23ec2c94c5 Adds an option to the generator to generate the same machine, but with alphabets permuted Joshua Moerman 2015-10-13 14:38:17 +02:00
  • 09c65377e7 Adds a test method without suffixes. Rewrites methods.cpp to use these functions. Joshua Moerman 2015-10-13 14:32:42 +02:00
  • e9ffbd3be8 Fixes bug in prefix sequences (sorry methods.cpp is still broken) Joshua Moerman 2015-10-13 14:31:36 +02:00
  • 0d24dcf137 Fixes bug in parser Joshua Moerman 2015-10-13 14:27:16 +02:00
  • 388e278b0b Updates the build instructions. Updates the submodule url. Joshua Moerman 2015-09-25 16:47:32 +02:00
  • 5faac3fef7 Adds more (useless?) statistics for analysing machines in stats.cpp Joshua Moerman 2015-09-18 13:19:19 +02:00
  • 6863872218 More sophisticated random graph generation (with power laws and clusters). Still not similar to the Océ case at all! Joshua Moerman 2015-09-18 13:18:35 +02:00
  • a70a2f6ac7 Some script I use to make statistical learning graphs Joshua Moerman 2015-09-18 13:17:35 +02:00
  • 00c1954eba Adds better (and more) command line option handling Joshua Moerman 2015-09-18 13:17:11 +02:00
  • 80c4fac8f1 Fixes build (of main.cpp) for gcc-4.8 Joshua Moerman 2015-09-14 17:10:22 +02:00
  • 8a43569f51 Updates the git submodule Joshua Moerman 2015-09-14 16:19:52 +02:00
  • 415689b04c Adds the two families of automata occurring in Hopcrofts paper Joshua Moerman 2015-07-30 16:33:15 +02:00
  • 01bc580081 Adds proper command line interface for the generator Joshua Moerman 2015-07-30 15:24:28 +02:00
  • a1965365b6 Adds a simple random machine generator Joshua Moerman 2015-07-30 14:02:17 +02:00
  • 9a92ff7703 Sophisticates stats.cpp Joshua Moerman 2015-07-30 14:02:04 +02:00
  • 5c1c88976c Also adds seed to methods.cpp Joshua Moerman 2015-07-30 14:01:47 +02:00
  • e3b512fe6d Adds an extra program option: the random seed (optional) Joshua Moerman 2015-07-28 16:37:10 +02:00
  • d44610e4d6 Moved the (outdated) docs to other repositories Joshua Moerman 2015-07-10 13:15:54 +02:00
  • 613dd45977 Updates the readme Joshua Moerman 2015-07-10 11:46:39 +02:00
  • 33657de56a Changes to unordered_map instead of map (1.5x speedup in reading) Joshua Moerman 2015-07-10 10:14:59 +02:00
  • a9e3fdfd1c Simplified the lca implementation (now without state) Joshua Moerman 2015-07-10 09:31:39 +02:00
  • 8d9286a0f8 Fix for gcc (-fpermissive) Joshua Moerman 2015-06-05 15:57:48 +02:00
  • 3063e30fec The good fix (I hope), and removes an attribute Joshua Moerman 2015-05-22 15:58:01 +02:00
  • 00ad4445f3 Makes it c++11 again (only for main). Hopefully compiles on VS 2013 again. Joshua Moerman 2015-05-22 15:52:03 +02:00
  • da41dfec26 Adds expected length (in randomised phase) as option to main Joshua Moerman 2015-05-21 16:45:33 +02:00
  • 1856602e3c Reduces memory usage a bit by using smaller types. Joshua Moerman 2015-05-21 15:56:16 +02:00
  • f5108ceb43 Refactors a bit Joshua Moerman 2015-05-21 14:13:04 +02:00
  • 8871040c03 Fixes the complexity issue introduced in previous commit Joshua Moerman 2015-05-21 11:56:56 +02:00
  • 1497315778 Fixes memory usage (part two). Introduces time complexity issue... Joshua Moerman 2015-05-21 10:12:03 +02:00
  • 713b5fb48c Merges the read_mealy files Joshua Moerman 2015-05-20 12:23:13 +02:00
  • 0ab23f5ec2 Moves test suite generation to separate files Joshua Moerman 2015-05-20 12:07:41 +02:00
  • d81a4cb997 Fixes high memory usage (one part): global suffixes do not need to be super-global. Joshua Moerman 2015-05-20 10:23:50 +02:00
  • da393cc19f Adds plain txt support to the important executables Joshua Moerman 2015-05-20 10:22:19 +02:00
  • 52da35f494 Adds another format parser Joshua Moerman 2015-05-13 17:53:18 +02:00
  • 8752cebcfa Adds code to calculate distance between automata relative to log Joshua Moerman 2015-05-13 17:52:22 +02:00
  • b2edef0574 Fixes two missing includes Joshua Moerman 2015-05-06 17:41:49 +02:00
  • 8d82a0fcc6 Linux is a bit more pedantic when it comes to size_t Joshua Moerman 2015-05-06 17:37:35 +02:00
  • 7fcafba6e9 Refactor Joshua Moerman 2015-05-04 10:21:44 +02:00
  • aeb60d84cf Updates the docs a bit (to reflect the SJVM15 paper) Joshua Moerman 2015-04-29 15:42:19 +02:00
  • 432540f148 Rewrote the parser to accept a bit more (and to be read easier as well) Joshua Moerman 2015-04-29 15:39:13 +02:00
  • 22208275fd Alters the splitting tree to be minimal (for the W-method) Joshua Moerman 2015-04-20 14:14:10 +02:00
  • 114ad8c8b7 Adds test suite size thingy Joshua Moerman 2015-04-20 10:09:07 +02:00
  • 69942cd683 generalised a bit and uses trie now Joshua Moerman 2015-04-17 18:35:27 +02:00
  • b6033eec4c Adds some docs and a tool to create the dot files for splitting trees and ad. dist. seqs. Joshua Moerman 2015-04-17 16:08:26 +02:00
  • 5f827b2c1c Adds a Trie datastrucutre (to be used) Joshua Moerman 2015-04-14 11:55:20 +02:00
  • 2b600cca08 Fixes some warnings (and re-enables c++14) Joshua Moerman 2015-04-14 11:54:51 +02:00
  • ba868d39c5 Incorporates some changes by Wouter. Makes main more dynamic and easy to adjust. Joshua Moerman 2015-04-10 16:08:11 +02:00
  • f13d8a0dd6 Tested some different learning algorithms. Also updates the counting membership oracle. Joshua Moerman 2015-04-10 15:40:32 +02:00
  • 1033d8e74e java: Buffers queries to enable parallelism Joshua Moerman 2015-04-08 17:03:07 +02:00
  • 7817edbb90 Removes concurrency as std::future seems to be broken in VS 2013 Joshua Moerman 2015-04-08 11:31:08 +02:00
  • 037646a16a Workaround for the mising constructor in VS 2013 Joshua Moerman 2015-04-08 11:17:16 +02:00
  • d8f6399260 Makes the project c++11, and removes some auto's Joshua Moerman 2015-04-08 10:43:04 +02:00
  • ac4139fc31 Updates the java code to use sub alphabets :) Joshua Moerman 2015-04-08 09:45:23 +02:00
  • c61df91202 Hopefully solved the initializer-list error in VS 2013 :( Joshua Moerman 2015-04-07 16:33:05 +02:00
  • fd750e4abd Replaces auto return type with concrete types :( Joshua Moerman 2015-04-07 16:23:07 +02:00
  • 64b2331672 Fixes some warnings Joshua Moerman 2015-04-07 16:17:48 +02:00
  • 098f0e9bff Added restriction to reachable sub machine Joshua Moerman 2015-04-07 16:17:28 +02:00
  • 2dd5d326cb Replaces constexpr with const Joshua Moerman 2015-04-07 09:06:05 +02:00
  • 795b79e85d Replaces the poly-lambdas with typed lambdas :( Joshua Moerman 2015-04-07 09:02:06 +02:00
  • 598e72b880 Simplifies code by removing phantom typing. Also removes other unused tools. Joshua Moerman 2015-04-07 08:50:18 +02:00
  • 3de4f29a87 Adds a file to determine reachability with a subalphabet (bug!) Joshua Moerman 2015-04-07 08:40:46 +02:00
  • 9d83501d69 Removes assert in favor of exceptions. Removes code I do not use. Bug fix. Joshua Moerman 2015-03-31 11:41:21 +02:00
  • 77695e8f22 Rewrites pre_gephi_tool to handle more hypotheses Joshua Moerman 2015-03-31 11:40:56 +02:00
  • c2be20b2f0 Adds the java code I use Joshua Moerman 2015-03-30 17:08:42 +02:00
  • ad58d6ac07 Adds some documentation in latex Joshua Moerman 2015-03-30 11:40:35 +02:00
  • 46540d62c7 Adds a readme and removes some data (which is moved to a different repo) Joshua Moerman 2015-03-19 18:06:27 +01:00
  • 4253233358 Adds a independent alphabet-translation struct. Adds a thingy I needed for gephi Joshua Moerman 2015-03-19 16:18:08 +01:00
  • 5512b57c75 Adds randomization Joshua Moerman 2015-03-18 09:57:08 +01:00
  • e4a7cf9933 Removes some duplicate words. Adds conformance to java interface. Adds randomization Joshua Moerman 2015-03-13 18:03:27 +01:00
  • c4625bf775 Adds possibility to read stdin Joshua Moerman 2015-03-06 16:43:45 +01:00
  • 1c9f56a6ec Refactors a lot. Also implements a basic test suite. Joshua Moerman 2015-03-04 17:20:17 +01:00
  • a7a7f815da Refactors the dist_seq to distinguishing_sequence Joshua Moerman 2015-02-27 15:57:04 +01:00
  • 4a2bc674cc Rewrites main to log runtimes, output checking seqs (compressed) Joshua Moerman 2015-02-25 18:07:27 +01:00
  • 30d1d0e5c5 Fixes a (major) bug (by cleaning up code) Joshua Moerman 2015-02-24 17:18:01 +01:00
  • 0c15269bbc Adds output of uios Joshua Moerman 2015-02-20 17:18:18 +01:00
  • 3a5d5cc551 Splits the main file in more files. Joshua Moerman 2015-02-20 16:50:31 +01:00
  • e2b9910375 Adds some small tests Joshua Moerman 2015-02-18 14:30:10 +01:00
  • 7f923a4c1c Adds the construction of a splitting tree Joshua Moerman 2015-02-18 14:28:01 +01:00
  • f4f5f5713f Restructures partition-API. Adds LY-validity check. Joshua Moerman 2015-02-17 14:54:36 +01:00
  • 556abfa569 Moves splitting tree to header and adds write to dot function Joshua Moerman 2015-02-17 14:53:32 +01:00
  • f7fb5def0c Creates stronger types for states, inputs and outputs Joshua Moerman 2015-02-17 09:44:01 +01:00
  • b62d3a1a17 Adds phantom type (to be used for state/input/output) Joshua Moerman 2015-02-16 17:37:03 +01:00
  • 864d0818d1 Removes some output Joshua Moerman 2015-02-16 17:36:42 +01:00
  • c945740cb5 Adds other kind of split Joshua Moerman 2015-02-16 16:59:05 +01:00
  • c2f58c4c94 Adds partition refinement, and reading mealy machine Joshua Moerman 2015-02-14 15:46:43 +01:00