8000 Commits · mpreiner/cvc5 · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Aug 24, 2023

[proofs] [alethe] Flatten HO chains (#9682)
HanielB
authored

Commits on Jun 19, 2023

[proofs] [sat] Cover missed case when tracking optimized clauses' proofs (#9679)
HanielB
authored

Commits on Apr 21, 2023

[proofs] [alethe] Use defs+assumptions scope mode for Alethe (#9688)
HanielB
authored

Commits on Apr 4, 2023

[proofs] [alethe] Fixes issue where clausal reasoning would clash with introduced literals (#9637)
HanielB
authored

Commits on Mar 2, 2023

[proofs] [alethe] Proper support for Skolems (#9530)
HanielB
authored

Commits on Mar 1, 2023

[proofs] [alethe] Fix some resolution pivots added during conversion (#9535)
HanielB
authored

Commits on Feb 27, 2023

[proofs] [alethe] Fixes and extensions to arithmetic rules (#9303)
HanielB
authored

Commits on Feb 8, 2023

[proof] [alethe] Fix resolution post update when not printing pivots (#9458)
HanielB
authored

Commits on Jan 25, 2023

Commits on Jan 23, 2023

[dsl] Adding code for the DSL compiler (#9441)
HanielB
authored

Commits on Jan 18, 2023

[proofs] Adds option to optimize elaboration of macro resolution steps (#9414)
HanielB
authored

Commits on Jan 11, 2023

Commits on Jan 10, 2023

[proofs] [cnf] Add utility for retrieving clauses from input/lemmas (#9280)
HanielB
authored

Commits on Nov 29, 2022

[proofs] [alethe] Update node converter (#9294)
HanielB
authored

Commits on Nov 16, 2022

[proofs] [alethe] Alethe let binding (#9260)
HanielB
authored

Commits on Oct 28, 2022

[proofs] [alethe] Delethe subtype elimination (#9249)
HanielB
authored

Commits on Oct 27, 2022

[proof] [prop] Cache prop proof per check-sat (#9242)
HanielB
authored

Commits on Oct 21, 2022

[proofs] [uf] Make EqProof conversion robust to fickle rewriting of n-ary kinds (#9232)
HanielB
authored

Commits on Sep 22, 2022

[parser] Fix handling of the :named attribute (#9155)
HanielB
authored

Commits on Sep 21, 2022

[proof] Add regression (#9153)
HanielB
authored

Commits on Sep 20, 2022

[proof] [sat] Avoid duplicating assumption in chain links for SAT proof (#9141)
HanielB
authored

Commits on Aug 25, 2022

[proofs] Fix eqproof conversion (#9081)
HanielB
authored

Commits on Aug 1, 2022

Commits on Jul 25, 2022

[proof] [cnf] Track input and lemma clauses in ProofCnfStream (#8993)
HanielB
authored

Commits on Jul 22, 2022

Commits on Jun 7, 2022

Move slow regression (#8866)
HanielB
authored

Commits on Jun 2, 2022

[proofs] [sat] [cores] Fix unsat cores based on the SAT proof (#8850)
HanielB
authored

Commits on May 25, 2022

[proofs] [alethe] Remove static call to options from post-processor (#8817)
HanielB
authored

Commits on May 16, 2022

[proofs] Generalize handling of constants merged in equality engine (#8781)
HanielB
authored

0