about summary refs log tree commit diff homepage
path: root/test/Solver
AgeCommit message (Expand)Author
2024-01-30Avoid generating array names in solver builders that could accidently collideMartin Nowack
2023-04-21Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...Cristian Cadar
2023-03-22STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...Frank Busse
2023-02-28Add a few simple solver testsDaniel Schemmel
2019-03-20tests: add STPDumpDebugQueries.cFrank Busse
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-05-09Improve handling of constant array in Z3Timotej Kapus
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2015-04-15Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshiftDan Liew
2014-02-14Fixed overshift of arithmetic right shift by constant so that itDan Liew
2014-02-14Fixed overshift of arithmetic right shift by symbolic so that it overshiftsDan Liew
2014-02-14Fixed overshift of logical right shift by constant so that itDan Liew
2014-02-14Fixed overshift of logical right shift by symbolic so that it overshiftsDan Liew
2014-02-14Fixed overshifting an expression by a constant so that we overshift toDan Liew
2014-02-14Added a test case for testing overshift behaviour of Shl and fixedDan Liew
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2014-01-20Fixed many tests that make use of the file tool to checkDan Liew
2013-10-15Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc ...Hristina Palikareva
2011-07-24Applied patch by Leandro Sales that makes Kleaver compatible with theCristian Cadar
2009-06-26More large integer support.Daniel Dunbar
2009-06-25Kill off last getConstantValue uses.Daniel Dunbar
2009-06-16Improve FastCexSolver: Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 05:40:57 +0000