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

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

RSS Atom