New trace execution
Dropped GUI
Code restructuring and some bugfixes
Code clean-up
Refactoring; fixed execution of command line
(would not wait until end of previous command to launch the next, causing errors)
Refactoring; fixed execution of command line
(would not wait until end of previous command to launch the next, causing errors)
Merge remote-tracking branch 'origin/BenchNFM' into BenchNFM
Code cleanup, added documentation
Added support for filter validation
Fixed SQL Translator, removed useless test classes
Fixed SQL Translator, removed useless test classes
Merge remote-tracking branch 'origin/BenchNFM' into BenchNFM
Added optimized SQL translation
Added support for multiple storage engines in MySQL
Changed processing order
to speedup the output when only the command line is asked (not the whole translation)
Base name for each file is unique for each trace-formula pair
so that benchmarks for multiple input formulas can coexist in the same directory
Base name for each file is unique for each trace-formula pair
so that benchmarks for multiple input formulas can coexist in the same directory
Merge remote-tracking branch 'origin/BenchNFM' into BenchNFM
Added support for implies in SQL translation
plus bugfix to the translation (the syntax for union is peculiar with MySQL)
Fixed Monpoly translation for implies operator