| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-09-27 | address review, fix oob | Andres Noetzli | |
| 2018-09-27 | Rewrites for (= "" _) and (= (str.replace _) _) | Andres Noetzli | |
| This commit adds rewrites for string equalities, specifically equalities with empty strings and replacements. | |||
| 2018-09-24 | Refactor strings equality rewriting (#2513) | Andrew Reynolds | |
| This moves the extended rewrites for string equality to the main strings rewriter as a function rewriteEqualityExt, and makes this function called on every equality that is generated (from non-equalities) by our rewriter. | |||
| 2018-09-24 | cmake: Fix dependencies for code generation. (#2524) | Mathias Preiner | |
| 2018-09-24 | Fix wiki urls. (#2504) | Mathias Preiner | |
| 2018-09-24 | cmake: Fix git version info (again). (#2523) | Aina Niemetz | |
| 2018-09-24 | cmake: Fix theory order #2. (#2522) | Mathias Preiner | |
| 2018-09-24 | Unify rewrites related to (str.contains x y) --> (= x y) (#2512) | Andres Noetzli | |
| 2018-09-24 | cmake: Fix theory order. (#2518) | Mathias Preiner | |
| 2018-09-24 | Make string rewriter unit tests more robust (#2520) | Andres Noetzli | |
| This commit changes the unit test for the string rewriter to use the extended rewriter instead of the regular rewriter to make it more robust, e.g. to different orderings in conjunctions. | |||
| 2018-09-24 | cmake: Fix and simplify git version info. (#2516) | Aina Niemetz | |
| 2018-09-24 | cmake: Add program prefix option. (#2515) | Mathias Preiner | |
| 2018-09-24 | Fix generating debug/trace tags. | Mathias Preiner | |
| 2018-09-23 | New C++ API: Add checks for Terms/OpTerms. (#2455) | Aina Niemetz | |
| 2018-09-23 | Fix regress2. (#2502) | Andrew Reynolds | |
| 2018-09-22 | cmake: Add python3 option. | Mathias Preiner | |
| 2018-09-22 | cmake: Enable -Wall. | Mathias Preiner | |
| 2018-09-22 | cmake: Fix systemtests dependency. | Mathias Preiner | |
| 2018-09-22 | cmake: Build fully static binaries with option --static. | Mathias Preiner | |
| 2018-09-22 | cmake: Run make coverage in parallel by default. | Mathias Preiner | |
| 2018-09-22 | cmake: Add more documentation, some fixes and cleanup. | Mathias Preiner | |
| 2018-09-22 | cmake: configure.sh wrapper: Use explicit build directory structure. | Aina Niemetz | |
| We don't create build directories for every build type (and configuration) anymore. The default build directory is now 'build' (created where you call the wrapper script from). Option --name allows to configure an individual name (and path) for the build directory. | |||
| 2018-09-22 | cmake: configure wrapper: Modify next steps message after configuration. | Mathias Preiner | |
| Since configure.sh is only a wrapper for cmake it prints all the messages from cmake. At the end we print the next steps after configuration. If configure.sh is used we add the info to also change into the build directory before calling make. | |||
| 2018-09-22 | cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup. | Mathias Preiner | |
| 2018-09-22 | cmake: Refactor cvc4_add_unit_test macro to support test names with '/'. | Aina Niemetz | |
| Required for consistent naming of tests, unit test names now also use the test naming scheme <category>/<subdir>/<test name>, e.g., unit/theory/theory_bv_white. | |||
| 2018-09-22 | cmake: Guard GetGitRevisionDescription. | Mathias Preiner | |
| 2018-09-22 | cmake: Add target runexamples. | Aina Niemetz | |
| 2018-09-22 | cmake: Add support for cross-compiling for Windows. | Mathias Preiner | |
| 2018-09-22 | cmake: Require JUnit version 4. | Mathias Preiner | |
| 2018-09-22 | cmake: Do not allow dumping with portfolio build. | Aina Niemetz | |
| 2018-09-22 | cmake: More documentation, clean up. | Aina Niemetz | |
| 2018-09-22 | cmake: Move extracting git information to src/base cmake config file. | Aina Niemetz | |
| 2018-09-22 | cmake: Guard examples that require Boost. | Mathias Preiner | |
| 2018-09-22 | cmake: Disable unit tests if assertions are not enabled. | Mathias Preiner | |
| 2018-09-22 | cmake: FindANTLR: Check if antlr3FileStreamNew is available. | Mathias Preiner | |
| 2018-09-22 | cmake: configure.sh wrapper: Fixes for sh. | Mathias Preiner | |
| 2018-09-22 | travis: Switch to cmake. | Mathias Preiner | |
| 2018-09-22 | cmake: Do not build examples and unit and system tests by default. | Aina Niemetz | |
| 2018-09-22 | cmake: configure.sh wrapper: Add --name option. | Mathias Preiner | |
| 2018-09-22 | cmake: examples: Configure output directory per target. | Aina Niemetz | |
| 2018-09-22 | cmake: Added java examples | Aina Niemetz | |
| 2018-09-22 | cmake: configure.sh wrapper: Add --prefix for install directory. | Mathias Preiner | |
| 2018-09-22 | cmake: Add some more documentation, cleanup. | Mathias Preiner | |
| 2018-09-22 | cmake: Move helper functions to cmake/Helpers.cmake. | Mathias Preiner | |
| 2018-09-22 | cmake: Added target examples (currently .cpp examples only) | Aina Niemetz | |
| 2018-09-22 | cmake: Simplify build type configuration. | Mathias Preiner | |
| 2018-09-22 | cmake: Refactor and clean up build profile printing. | Aina Niemetz | |
| 2018-09-22 | cmake: Added target check | Aina Niemetz | |
| Targets 'check', 'units', 'systemtests' and 'regress' are now run in parallel with the number of available cores by default. This can be overriden by passing ARGS=-jN. | |||
| 2018-09-22 | cmake: Add make install rule. | Mathias Preiner | |
| 2018-09-22 | cmake: configure.sh wrapper: Fix handling of options with arguments. | Aina Niemetz | |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback