Activity for StateChum
-
Kirill Bogdanov posted a comment on discussion Help
Syed, The current implementation does not use argument values. There is an experimental...
-
Syed Samsul Arefin posted a comment on discussion Help
Kiril, I got it now. Thank you very much. I have some trace files. I have run an...
-
Syed, We did some work on generation of FSM from the Java source code based on symbolic...
-
Kiril, Thank you very much for that manual. I installed it. It is working on your...
-
Kiril, Thank you very much for that manual. I installed it. It is working on your...
-
Kiril, Thank you very much for that manual. I installed it. It is working on your...
-
Syed, The main repository has now moved to Github, https://github.com/kirilluk/statechum...
-
Hello, I'm a grad student. I will have to use this Model Inference Tool for my research...
-
Moved all the work-in-progress branches to a se...
-
Merged with the ASE branch, corrected K-tails c...
-
Minor improvements from the end of May 2015. St...
-
Share project "XMachineTool_FASE" into "svn+ssh...
-
Started writing label refinement routines that ...
-
Started work on abstraction based on grouping l...
-
Renumbered vertices in CVS reference graph.
-
Added CVS case study
-
Each random walk now runs as a separate process...
-
Corrected GENERAL score computation (which was ...
-
Added ktails learner and computation of BCR to ...
-
Added EDSM with Sicco's heuristic.
-
Added a comparison of EDSM-Markov with ktails a...
-
Added Abdullah's experiments
-
Create FASE 2015 branch
-
Added support for Java 8. Timeouts for Erlang t...
-
Now testLayoutOptions6 passes.
-
Fixed SGE tests for Java 1.6
-
Added support for Erlang OTP 17.
-
Merged with the Apr_27_2014_inference_with_posi...
-
Finished support for running experiments on the...
-
Merged with the changes to get fast tests to pa...
-
Finished SGE experiment runner that permits one...
-
Minor revision in order to run on the Iceberg g...
-
Made EDSM-Markov learner the default learner.
-
Added tests for a few routines used in the expe...
-
Branch off ASE2014 for subsequent experiments
-
Added an experiment with FanoutScore disabled (...
-
Removed junk
-
Experiments for ASE2014
-
Added the experiment with learning from both po...
-
Added experiment with negatives
-
More experiments added.
-
Yet more small changes.
-
Minor changes
-
Minor improvements.
-
Experimental setup is nearly complete
-
The main experiment runner is now configurable.
-
Graphs from the fast yesterdays version, effect...
-
Minor improvements, tmpASE2014 is the version o...
-
Further performance improvements, ASE learner i...
-
Revised inconsistency computation to run on a s...
-
Revised state merging and Markov matrix-related...
-
Added changes from Abdullah for ASE 2014
-
-
Merged with CAV2014 branch,
-
Corrected computation of Markov accuracy
-
Uncommented all parts of the experimental setup...
-
Minor changes to Sicco scoring and general impr...
-
Minor revision to the experiment in order to re...
-
Revised the experiments to compare Markov with ...
-
Added different scoring methods.
-
Further improvements. The experiment appears to...
-
Major improvements to memory efficiency.
-
Added another experiment, this time a very unfa...
-
A few more experiments
-
A few more experiments for the paper.
-
Added details of the CAV2014 experiment
-
-
Removed template specifications where they were...
-
Eliminated another nullpointer, this time in th...
-
Eliminated a null-pointer exception when select...
-
Merged with the Jan 1 branch.
-
Reverted to the experiment I did earlier, while...
-
Reverted to the experiment I did earlier, while...
-
Linear now builds on MacOS 10.6 with OpenBlas f...
-
First attempt at the revised learner, this one ...
-
Trying to make it possible to start learning fr...
-
Various improvements, based on the work to esta...
-
Corrected a few defects in Markov learner, in o...
-
Corrected a few defects in Markov learner, in o...
-
Made the learning consistent with the earlier v...
-
Factored out classification using Markov learne...
-
About to abandon the idea of building determini...
-
Minor changes before major refactoring. Present...
-
Experiment with predictions in inverse direction
-
Improved the current learner - it seems to do w...
-
Minor changes to the learner.
-
Added support for checking of paths of arbitrar...
-
Corrected a problem with an previous version of...
-
Merged with my work on Markov
-
Minor changes to tests for Markov
-
Finished testing Markov updates and predictions.
-
temporary version where Markov now should gener...
1