ANMLZoo_1.0

ANMLZoo 1.0

ANMLZoo v1.0 contains all automata and inputs used for the original ANMLZoo IISWC paper as well as one fixed automata (RandomForest, documented in the README there). We've also included the regular expressions compiled by the Micron 1.6.5 compiler to generate the automata. There is no guarantee that the regular expressions correspond exactly to the generated automata because of possible bugs and flaws in the Micron compiler. Please use the regular expression sets with caution.

v1.1 will update documentation, parallelization strategies, and begin to add automata generation code for existing applications.