Skeptik

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 24 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 13, 2024 — Nov 13, 2025 Showing page 9 of 54 Search / Filter on:
Clean Contraction	jgorzny	More...				over 11 years ago
Clean URMRR	jgorzny	More...				over 11 years ago
Fix various test files	jgorzny	More...				over 11 years ago
Add LFSC result file	jgorzny	More...				over 11 years ago
Remove TODO in UnifyingResolutionMRR	jgorzny	More...				over 11 years ago
Add FORPILU test result files	jgorzny	More...				over 11 years ago
Add SPASS parser test case files	jgorzny	More...				over 11 years ago
Clean FORPILU	jgorzny	More...				over 11 years ago
Fix FORPILU	jgorzny	More...				over 11 years ago
Change getSetOfVars	jgorzny	More...				over 11 years ago
Fix FORPILU	jgorzny	More...				over 11 years ago
Change EdgesToDelete	jgorzny	More...				over 11 years ago
Add UnifyingResolutionMRR tests	jgorzny	More...				over 11 years ago
Fix FORPILU	jgorzny	More...				over 11 years ago
Clean SPASS Parser	jgorzny	More...				over 11 years ago
Fix Contraction unapply	jgorzny	More...				over 11 years ago
Clean TODOs on various files	jgorzny	More...				over 11 years ago
Add FORPI command line support	jgorzny	More...				over 11 years ago
Clean FORPILU	jgorzny	More...				over 11 years ago
Add FORPI example	jgorzny	More...				over 11 years ago
Add FORPILU examples	jgorzny	More...				over 11 years ago
Fix bug in FORPILU	jgorzny	More...				over 11 years ago
Add another example	jgorzny	More...				over 11 years ago
Add example for FORPI	jgorzny	More...				over 11 years ago
Fix FORPILU	jgorzny	More...				over 11 years ago
Fix FORPILU	jgorzny	More...				over 11 years ago
Filter low theory lemmas in extra traversal and only compress those	AFellner	More...				over 11 years ago
Clean FORPILU	jgorzny	More...				over 11 years ago
Change FORPILU	jgorzny	More...				over 11 years ago
Add TODO	jgorzny	More...				over 11 years ago

←
1
2
…
5
6
7
8
9
10
11
12
13
…
53
54
→