search

VeriFIT / mata

A fast and simple automata library
MIT License
23 stars 13 forks source link

Reduce: Simulation algorithm #434

Open samo538 opened 2 months ago

samo538 commented 2 months ago

Implementation of a reduction algorithm that uses simulation. The pseudo code for this algorithm can be viewed here: https://github.com/ondrik/iny-fix/blob/master/main.pdf

ondrik commented 2 months ago

what's the issue with the automata in 4ff753a8001927423391f360617326928e644e05 ?

samo538 commented 2 months ago

what's the issue with the automata in 4ff753a ?

Functions load_automata() and load_automaton() used in benchmarking codes could not parse these automata because they used keywords 'true' and 'false'. I consulted this with @Adda0 and changed all occurences of 'true' to '/true' which the functions can parse (and did the same with 'false'). However, i dont know why github shows huges changes in some files (which at the first glance dont change anything, like in tests-integration/automata/b-armc-incl-easiest/aut2.mata).

Adda0 commented 2 weeks ago

@samo538 Could you move the fix for the true and false values in .mata format to a separate PR? We could iterate quickly on this and merge the changes. And resolve why seemingly unrelated lines in the files were changed. Maybe trimming trailing newlines?