git.libre-soc.org Git - cvc5.git/search

2019-05-15	Mathias Preiner	cmake: Install JAR and JNI files for Java bindings...	commit \| commitdiff \| tree
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	commit \| commitdiff \| tree
2019-03-26	Mathias Preiner	get-authors: Exclude empty lines.	commit \| commitdiff \| tree
2019-03-26	Mathias Preiner	get-authors: Exclude common source code patterns. ...	commit \| commitdiff \| tree
2019-03-14	Mathias Preiner	Disable DCO signing for organization members.	commit \| commitdiff \| tree
2019-03-13	Mathias Preiner	Fix public headers for make install. (#2856)	commit \| commitdiff \| tree
2019-01-05	Mathias Preiner	cmake: Disable unit tests for static builds. (#2775)	commit \| commitdiff \| tree
2018-11-14	Mathias Preiner	cmake: Require boost 1.50.0 for examples. (#2710)	commit \| commitdiff \| tree
2018-11-08	Mathias Preiner	cmake: Add option to explicitely enable/disable static...	commit \| commitdiff \| tree
2018-10-20	Mathias Preiner	Remove antlr_undefines.h. (#2664)	commit \| commitdiff \| tree
2018-10-19	Mathias Preiner	Remove autotools build system. (#2639)	commit \| commitdiff \| tree
2018-10-19	Mathias Preiner	cmake: Run regression level 2 for make check. (#2645)	commit \| commitdiff \| tree
2018-10-16	Mathias Preiner	cmake: Add CxxTest include directory to unit test includes...	commit \| commitdiff \| tree
2018-10-15	Mathias Preiner	cmake: Generate git_versioninfo.cpp on build time....	commit \| commitdiff \| tree
2018-10-11	Mathias Preiner	cmake: Use gcovr instead lcov for coverage report generation...	commit \| commitdiff \| tree
2018-10-03	Mathias Preiner	unit: Fix ASAN detection for GCC. (#2561)	commit \| commitdiff \| tree
2018-10-02	Mathias Preiner	cmake: Add examples to build-tests, add warning for...	commit \| commitdiff \| tree
2018-10-01	Mathias Preiner	cmake: Generate compile_commands.json on configure...	commit \| commitdiff \| tree
2018-10-01	Mathias Preiner	cmake: Add build target build-tests to build all test...	commit \| commitdiff \| tree
2018-09-30	Mathias Preiner	cmake: Ignore ctest exit code for coverage reports.	commit \| commitdiff \| tree
2018-09-28	Mathias Preiner	cmake: Add CxxTest finder module to allow custom paths...	commit \| commitdiff \| tree
2018-09-27	Mathias Preiner	cmake: Only print dumping warning if not disabled by...	commit \| commitdiff \| tree
2018-09-26	Mathias Preiner	cmake: Fix test target dependency issues. (#2540)	commit \| commitdiff \| tree
2018-09-26	Mathias Preiner	cmake: Exclude examples for coverage target. (#2535)	commit \| commitdiff \| tree
2018-09-26	Mathias Preiner	cmake: Add check for GCC 4.5.1 and warn user. (#2533)	commit \| commitdiff \| tree
2018-09-25	Mathias Preiner	cmake: Fix tag code generation dependencies. (#2529)	commit \| commitdiff \| tree
2018-09-25	Mathias Preiner	cmake: Fix dependencies for code generation. (#2524)	commit \| commitdiff \| tree
2018-09-25	Mathias Preiner	Fix wiki urls. (#2504)	commit \| commitdiff \| tree
2018-09-24	Mathias Preiner	cmake: Fix theory order #2. (#2522)	commit \| commitdiff \| tree
2018-09-24	Mathias Preiner	cmake: Fix theory order. (#2518)	commit \| commitdiff \| tree
2018-09-24	Mathias Preiner	cmake: Add program prefix option. (#2515)	commit \| commitdiff \| tree
2018-09-24	Mathias Preiner	Fix generating debug/trace tags.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add python3 option.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Enable -Wall.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Fix systemtests dependency.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Build fully static binaries with option --static.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Run make coverage in parallel by default.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add more documentation, some fixes and cleanup.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: configure wrapper: Modify next steps message...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Guard GetGitRevisionDescription.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add support for cross-compiling for Windows.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Require JUnit version 4.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Guard examples that require Boost.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Disable unit tests if assertions are not enabled.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: FindANTLR: Check if antlr3FileStreamNew is available.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: configure.sh wrapper: Fixes for sh.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	travis: Switch to cmake.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: configure.sh wrapper: Add --name option.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: configure.sh wrapper: Add --prefix for install...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add some more documentation, cleanup.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Move helper functions to cmake/Helpers.cmake.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Simplify build type configuration.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add make install rule.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for Valgrind.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Various CMakeLists.txt fixes/cleanup.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Only build libcvc4 and libcvc4parser as libraries.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Move find_package to where it is actually needed.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add Java runtime as required dependency (required...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add convenience wrappers for tag generation.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add library versioning for libcvc4.so.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Rebase with current master, add new tests/source...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add missing checks for cvc4autoconfig.h to ConfigureC...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Use target specific includes for libcvc4.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add missing dependency.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add support for building static binaries/libraries.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add options for specifying install directories...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for GLPK-cut-log.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for ABC.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Compile Java tests and add to ctest if Java...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add SWIG support + Python and Java bindings.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Various portfolio/default option fixes.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add portfolio support.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add ASAN support.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Enable shared by default.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Disable W-suggest-override for unit tests.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Do not set global output directories for binaries...	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Fix some includes.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for readline.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Generate token headers.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Cleanup CMakeLists.txt files, remove SHARED.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for LFSC.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for CaDiCaL.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for CryptoMiniSat.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for SymFPU.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add module finder for CLN.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Add libsignatures for proofs.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Remove unused CMakeLists.txt	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Working build infrastructure.	commit \| commitdiff \| tree
2018-09-22	Mathias Preiner	cmake: Antlr parser generation done.	commit \| commitdiff \| tree
2018-09-13	Mathias Preiner	Fix #include for minisat headers in bvminisat. (#2463)	commit \| commitdiff \| tree
2018-09-07	Mathias Preiner	Replace boost::integer_traits with std::numeric_limits...	commit \| commitdiff \| tree
2018-09-07	Mathias Preiner	Remove clock_gettime() replacement for macOS. (#2436)	commit \| commitdiff \| tree
2018-09-05	Mathias Preiner	Use std::uniqe_ptr for d_eq_infer to make Coverity...	commit \| commitdiff \| tree
2018-09-05	Mathias Preiner	Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)	commit \| commitdiff \| tree
2018-08-30	Mathias Preiner	Refactor theory preprocess into preprocessing pass...	commit \| commitdiff \| tree
2018-08-29	Mathias Preiner	Refactor MipLibTrick preprocessing pass. (#2359)	commit \| commitdiff \| tree
2018-08-27	Mathias Preiner	Use std:unique_ptr instead of raw pointers in theory...	commit \| commitdiff \| tree
2018-08-21	Mathias Preiner	Move d_realAssertionsEnd from SmtEnginePrivate to AssertionP...	commit \| commitdiff \| tree
2018-08-17	Mathias Preiner	Refactor eager atoms preprocessing pass. (#2318)	commit \| commitdiff \| tree
next

RSS Atom