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 13, 2024 — Nov 13, 2025 Showing page 6 of 54 Search / Filter on:
Add missing cases for proof exporter in VeriT format with Equality axioms.	Bruno	More...				almost 11 years ago
Remove unused timeout methods	Bruno	More...				almost 11 years ago
Remove dependency on scala.actor library	Bruno	More...				almost 11 years ago
add drat-trim executable	Bruno	More...				almost 11 years ago
Add drat-trim tool	Bruno	More...				almost 11 years ago
Bump version	Bruno	More...				almost 11 years ago
Add FOSubstitution Proof Rule	jgorzny	More...				almost 11 years ago
Checkpoint - Fix FOLowerUnits/Tracking Last commit for 'Override & Copy' strategy; will be replaced with a 'Substitution' proof rule implementation of the fix for this algorithm.	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Push congruence unit test	AFellner	More...				almost 11 years ago
Remove dead code, make EquationPath case class and create unit test for Congruence class	AFellner	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
Merge branch 'Skeptik-upstream/develop'	AFellner	More...				almost 11 years ago
Merge branch 'congruence'	AFellner	More...				almost 11 years ago
Add scaka-xml dependency to build.sbt	AFellner	More...				almost 11 years ago
Clean up pebbling code, remove algorithms and transLength measure from CLI	AFellner	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Clean up code	AFellner	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 Requires further testing.	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits Checkpoint	jgorzny	More...				almost 11 years ago
Fix FOLowerUnits	jgorzny	More...				almost 11 years ago

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