Mentions légales du service

Skip to content
  • makaimann's avatar
    Upgrade to cvc5 (#281) · 768ed5d0
    makaimann authored
    * Rename files and rename smt-switch classes
    
    * Replace CVC4->cvc5
    
    * Temporarily disable tests -- focus on compiling first
    
    * Update configure.sh and cmake
    
    * Fix CVC5_HOME capitalization
    
    * Require c++17
    
    * Fix cvc5_factory
    
    * Fixes: exception name, solver enum, remove kind hash
    
    * Fix another BVAdd, other hashes, and link against polyxx, poly and cadical
    
    * Search and replace in tests cvc4->cvc5
    
    * Revert "Temporarily disable tests -- focus on compiling first"
    
    This reverts commit 23c061fbf92a48ab587973b3847077c31ba1909d.
    
    * More search and replace
    
    * Update getter
    
    * Add setup-cvc5.sh
    
    * Set --produce-interpols only for interpolant test
    
    * Formatting
    
    * More cvc4->cvc5 updates
    
    * Update python bindings for cvc5
    
    * Use correct libpoly based on lib type
    
    * Fix libpoly names
    
    * Disable other tests for now
    
    * Fix syntax
    
    * Add btor test back in
    
    * Try just cvc5 again
    
    * No comments in yml file
    
    * Another try
    
    * Back to original
    ...
    768ed5d0
This project is licensed under the BSD 3-Clause "New" or "Revised" License. Learn more