Skeptik

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 19, 2024 — Nov 19, 2025 Showing page 4 of 54 Search / Filter on:
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Add TheoryLemma to VeriT exporter	Bruno	More...				almost 11 years ago
Add TheoryLemma to VeriT parser	Bruno	More...				almost 11 years ago
Add PruneTheory algorithm	Bruno	More...				almost 11 years ago
Refactor equality axioms	Bruno	More...				almost 11 years ago
Implement TheoryLemma	Bruno	More...				almost 11 years ago
Rename EqAxiom to TheoryAxiom	Bruno	More...				almost 11 years ago
Fix FORPI No longer throwing errors in many cases; however, compressed proof is not complete. Suspect safe literals are being computed incorrectly. (Tracking of changes to terms appears functional)	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Fix FORPI	jgorzny	More...				almost 11 years ago
Add example proof with new th_resolution inference rule	Bruno	More...				almost 11 years ago
Add theory resolution inference rule to the exporter of VeriT proofs	Bruno	More...				almost 11 years ago
Add theory resolution inference rule to VeriT parser	Bruno	More...				almost 11 years ago

←
1
2
3
4
5
6
7
8
9
…
53
54
→