DanieleParravicini/regex_coprocessor

find benchmarks that suits our subset of the language

DanieleParravicini opened this issue 5 years ago · 1 comments

DanieleParravicini commented 5 years ago

find benchmarks that suits our subset of the language

DanieleParravicini commented 4 years ago

https://github.com/hplp/AutomataZoo/tree/master/Protomata/code can be easily adapted
http://www.cs.virginia.edu/~skadron/Papers/IISWC16_ANMLZoo.pdf