projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix fp issue (#2940)
2019-04-05 Alex OzdemirSatClauseSetHashFunction (#2916)
 commit | commitdiff | tree
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847)
 commit | commitdiff | tree
2019-03-01 Alex OzdemirErProof class with LFSC output (#2812)
 commit | commitdiff | tree
2019-01-24 Alex OzdemirExtended DRAT signature to operational DRAT (#2815)
 commit | commitdiff | tree
2019-01-18 Alex OzdemirExtract DIMACS Printing (#2800)
 commit | commitdiff | tree
2019-01-16 Alex OzdemirBugfix: LFSC clause equality (#2801)
 commit | commitdiff | tree
2019-01-16 Alex OzdemirExtended Resolution Signature (#2788)
 commit | commitdiff | tree
2019-01-14 Alex OzdemirClausalBitvectorProof (#2786)
 commit | commitdiff | tree
2019-01-13 Alex OzdemirLFSC LRAT Output (#2787)
 commit | commitdiff | tree
2019-01-12 Alex OzdemirLratInstruction inheritance (#2784)
 commit | commitdiff | tree
2019-01-11 Alex OzdemirFixed linking against drat2er, and use drat2er (#2785)
 commit | commitdiff | tree
2019-01-09 Alex Ozdemir[BV Proofs] Option for proof format (#2777)
 commit | commitdiff | tree
2019-01-09 Alex OzdemirClause proof printing (#2779)
 commit | commitdiff | tree
2019-01-09 Alex OzdemirLFSC drat output (#2776)
 commit | commitdiff | tree
2019-01-06 Alex Ozdemir[DRAT] DRAT data structure (#2767)
 commit | commitdiff | tree
2019-01-04 Alex Ozdemir[LRAT] A C++ data structure for LRAT. (#2737)
 commit | commitdiff | tree
2019-01-03 Alex Ozdemir[LRA proof] Recording & Printing LRA Proofs (#2758)
 commit | commitdiff | tree
2018-12-17 Alex Ozdemir Configured for linking against drat2er (#2754)
 commit | commitdiff | tree
2018-12-17 Alex OzdemirDRAT Signature (#2757)
 commit | commitdiff | tree
2018-12-15 Alex Ozdemir [LRA Proof] Storage for LRA proofs (#2747)
 commit | commitdiff | tree
2018-12-12 Alex Ozdemir[LRA proof] More complete LRA example proofs. (#2722)
 commit | commitdiff | tree
2018-12-12 Alex Ozdemir[LRAT] signature robust against duplicate literals...
commit | commitdiff | tree
2018-12-11 Alex OzdemirLRAT signature (#2731)
 commit | commitdiff | tree
2018-12-07 Alex OzdemirArith Constraint Proof Loggin (#2732)
 commit | commitdiff | tree
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733)
 commit | commitdiff | tree
2018-12-03 Alex OzdemirBit vector proof superclass (#2599)
 commit | commitdiff | tree
2018-11-27 Alex OzdemirLRA proof signature fixes and a first proof for linear...
commit | commitdiff | tree
2018-11-20 Alex OzdemirChange lemma proof step storage & iterators (#2712)
 commit | commitdiff | tree
2018-10-02 Alex OzdemirFix documentation for `make regress`. (#2557)
 commit | commitdiff | tree