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 06, 2024 — Nov 06, 2025 Showing page 1 of 54 Search / Filter on:
Merge branch 'develop'	Bruno Woltzenlogel Paleo	More...				over 9 years ago
Merge pull request #110 from EzequielPostan/develop	Bruno	More...				over 9 years ago
Fixing extension from ProofParser to ProofCombinatorParser	Ezequiel Postan	More...				over 9 years ago
Merge pull request #108 from jgorzny/develop	Bruno	More...				over 9 years ago
Merge branch 'develop-s' into develop	jgorzny	More...				over 9 years ago
Remove FOLU TODO - fix already implemented	jgorzny	More...				over 9 years ago
Remove TODO to update both carry maps	jgorzny	More...				over 9 years ago
Refactor duplicate code in FOLU	jgorzny	More...				over 9 years ago
Merge similar apply functions in MRR	jgorzny	More...				over 9 years ago
Merge findDesiredSequent variants	jgorzny	More...				over 9 years ago
Remove annotation from several functions	jgorzny	More...				over 9 years ago
Remove duplicate functions for checking sequent equivalence	jgorzny	More...				over 9 years ago
Remove repeated functions in FORPILU	jgorzny	More...				over 9 years ago
Refactor UR rebuild in FORPI	jgorzny	More...				over 9 years ago
Fix findRemainder	jgorzny	More...				over 9 years ago
Merge checkForResSmart functions	jgorzny	More...				over 9 years ago
Move getRenamedMGU to FindMGU	jgorzny	More...				over 9 years ago
Merge functions to tryToResolveUsingAllCarrys	jgorzny	More...				over 9 years ago
Resolve minor TODO	jgorzny	More...				over 9 years ago
Clean multipleResolution	jgorzny	More...				over 9 years ago
Clean minor TODOs in FOLowerUnits	jgorzny	More...				over 9 years ago
Remove getUnitLiteral function	jgorzny	More...				over 9 years ago
Fix Contraction unit tests	jgorzny	More...				over 9 years ago
Remove desiredFound function	jgorzny	More...				over 9 years ago
Clean UnifyingResolution	jgorzny	More...				over 9 years ago
Remove TODO in UR	jgorzny	More...				over 9 years ago
Minor clean - various files	jgorzny	More...				over 9 years ago
Clean FOLowerUnit comments	jgorzny	More...				over 9 years ago
Clean unit FO unit tests	jgorzny	More...				over 9 years ago
Clean SPASS parser	jgorzny	More...				over 9 years ago

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