Pardinus v1.2.0

[nmacedo]

Features

• support for advanced SAT iteration operations, distinction between configuration and path iteration
• support for advanced iteration operations for decomposed strategy
• support for unsat cores for temporal formulas
• support for bounded model checking with the electrod backend
• disabled iteration through formulas for non SAT backend

Minor

• iteration implemented at the SAT level
• fixed a bug on the releases translation
• fixed a bug when translating constants under unrolled traces
• fixed a bug when evaluating past expressions
• better handling of unsupported features of different backends
• better reporting of stats for iterative temporal and decomposed solving
• travis integration
• updated temporal operators nomenclature (before, after, releases, triggered)
• decomposed strategy no longer automatically iterates over integrated problems, not compatible with new operations
• alternative instance encoding with some-disj pattern
• support for electrod 0.7.1