Download (694 Bytes) Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
3d1f9d9f 10/07/2021 01:27 PM Lélio Brun

more agressive optim propagation in spec in order to remove unecessarry existential variables that were eliminated (helps the solvers)

10131419 10/05/2021 11:17 AM Lélio Brun

add offline tests and fix a bug in generated spec where optimization was not performed

478edbed 09/23/2021 04:40 PM Lélio Brun

proper handling of stateless nodes and automata

cc852504 06/30/2021 11:21 AM Lélio Brun

comment dead code with (* XXX: UNUSED *) disclaimer

50a8778a 06/25/2021 12:35 PM Lélio Brun

refactoring first step