tudelft-cda-lab/FlexFringe
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
C++GPL-3.0
Issues
- 0
Access traces are not finalized
#28 opened by hwalinga - 0
Using pmr inside mem_store
#27 opened by hwalinga - 2
Apta file being read in wrongly
#20 opened by RobBa - 0
The makefile is unmaintained...
#25 opened by TCatshoek - 0
- 0
- 1
Think about how to get the active learning into the main-loop (mode selection in run() method)
#16 opened by RobBa - 0
Symbol attributes for L*
#18 opened by RobBa - 1
- 1
Minor clean up: Input data in state merger
#15 opened by RobBa - 4
- 1
- 1
Latest build does not output sinksfile
#7 opened by azqanadeem - 2
Flexfringe silently fails to write output it if doesn't have permission to write to the output directory
#1 opened by TCatshoek - 0
- 0
if --aptafile doesn't exist, there's no error handler and reading throws a json format error instnead
#2 opened by laxris