Tags: dreal/dreal3
Tags
feat(bin/dReach): remove the use of --short-sat by default We have a case where the use of `--short-sat` option degenerates performance. From now on, if you want to use `--short-sat`, please pass it as a dReal option by adding it to the end of command-line arguments.
chore(CMakeLists.txt): bump to version 3.16.06.02
fix(CMakeLists.txt): add -Wno-sign-compare compiler flags for lexer g… …enerated files See https://stackoverflow.com/questions/35689072/yyless-triggers-signed-comparison-warning-when-generated-scanner-is-compiled-wit
PreviousNext