projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes and additions for LFSC signatures (#8120)
2022-02-17 Lachnitt[proofs] [alethe] Introduce all_simplify and replace...
commit | commitdiff | tree
2021-12-07 Lachnitt[proofs] Alethe: Add ARITH_TRICHOTOMY to updater (...
commit | commitdiff | tree
2021-12-07 Lachnitt[proofs] Alethe: Fix Bug in Finalize (#7746)
 commit | commitdiff | tree
2021-12-03 Lachnitt[proofs] Alethe: Implementation of Process Function...
commit | commitdiff | tree
2021-12-01 Lachnitt[proofs] Alethe: Add finalize function to insert missing...
commit | commitdiff | tree
2021-12-01 LachnittAlethe: Add function that adds final steps to proof...
commit | commitdiff | tree
2021-11-30 LachnittAlethe: Further Printer Implementation (#7675)
 commit | commitdiff | tree
2021-11-30 Lachnitt[proofs] Alethe: Implementation of Printer (#7674)
 commit | commitdiff | tree
2021-11-30 Lachnitt[proofs] Alethe: Printer Specification (#7673)
 commit | commitdiff | tree
2021-11-18 Lachnitt[proofs] Alethe: Rename DUPLICATED_LITERALS (#7661)
 commit | commitdiff | tree
2021-11-10 Lachnitt[proofs] Alethe: Translate of Arithmetic rules (#7613)
 commit | commitdiff | tree
2021-11-10 Lachnitt[proofs] Alethe: Translate INSTANTIATE rule (#7607)
 commit | commitdiff | tree
2021-11-09 Lachnitt[proofs] Alethe: Translate Further Equality rules ...
commit | commitdiff | tree
2021-11-09 Lachnitt[proofs] Alethe: Translate Equality rules (#7605)
 commit | commitdiff | tree
2021-11-09 Lachnitt[proofs] Alethe: Translate REORDERING rule (#7533)
 commit | commitdiff | tree
2021-11-05 LachnittAlethe: Translate CNF rules (#7532)
 commit | commitdiff | tree
2021-10-26 Lachnitt[proofs] Alethe: Translate Block of clause pattern...
commit | commitdiff | tree
2021-10-26 Lachnitt[proofs] Alethe: Translate AND_INTRO rule (#7405)
 commit | commitdiff | tree
2021-10-26 Lachnitt[proofs] Alethe: Translate AND_ELIM rule (#7404)
 commit | commitdiff | tree
2021-10-26 Lachnitt[proofs] Alethe: Translate CONTRA rule (#7403)
 commit | commitdiff | tree
2021-10-26 Lachnitt[proofs] Alethe: Translate NOT_NOT_ELIM rule (#7402)
 commit | commitdiff | tree
2021-10-25 Lachnitt[proofs] Alethe: Translate MODUS_PONENS rule (#7401)
 commit | commitdiff | tree
2021-10-25 Lachnitt[proofs] Alethe: Translate EQ_RESOLVE rule (#7400)
 commit | commitdiff | tree
2021-10-25 Lachnitt[proofs] Alethe: Translate SPLIT rule (#7399)
 commit | commitdiff | tree
2021-10-22 Lachnitt[proofs] Alethe: Translate FACTORING rule (#7398)
 commit | commitdiff | tree
2021-10-22 Lachnitt[proofs] Alethe: Translate CHAIN_RESOLUTION rule (...
commit | commitdiff | tree
2021-10-20 Lachnitt[proofs] Alethe: Documentation on Translation (#7394)
 commit | commitdiff | tree
2021-09-23 Lachnitt[proofs[ Alethe: Fix Order of Arguments of addAletheStepFrom...
commit | commitdiff | tree
2021-09-23 Lachnitt[proofs] Alethe: Translate THEORY_REWRITE (#7236)
 commit | commitdiff | tree
2021-09-23 Lachnitt[proofs] Alethe: Add Alethe Files to be Compiled ...
commit | commitdiff | tree
2021-09-23 Lachnitt[proofs] Alethe: Translate SCOPE rule (#7224)
 commit | commitdiff | tree
2021-09-21 Lachnitt[Proofs] Alethe: Translate ASSUME rule (#7213)
 commit | commitdiff | tree
2021-09-21 Lachnitt[proofs] Alethe: Implementation of AletheProofPostprocessCal...
commit | commitdiff | tree
2021-09-17 Lachnitt[proofs] Alethe: Added Proof Postprocessor to alethe_proof_p...
commit | commitdiff | tree
2021-09-17 Lachnitt[proofs] Alethe: Added Final Callback Function to alethe_pro...
commit | commitdiff | tree
2021-09-15 Lachnitt[proofs] Alethe: Added Callback Function to alethe_proof_pro...
commit | commitdiff | tree
2021-09-15 Lachnitt[proof] Added printer for proof rule names (#7185)
 commit | commitdiff | tree
2021-09-15 Lachnitt[proof] Alethe proof rules (#7180)
 commit | commitdiff | tree