ScavengerProver

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 13 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 21, 2025 — Jun 21, 2026 Showing page 1 of 74 Search / Filter on:
Bump SBT to 1.4.7, Scala to 2.13.5 and publish 0.2.2-SNAPSHOT	Daniyar Itegulov	More...				over 5 years ago
Fix module for mailbox	Vlad	More...				about 8 years ago
Swap antecedent and succedent arguments	Daniyar Itegulov	More...				over 8 years ago
Add short tutorial on how to publish snapshots and releases	Daniyar Itegulov	More...				over 8 years ago
Change WIP Scavenger version to 0.2.1-SNAPSHOT	Daniyar Itegulov	More...				over 8 years ago
Add support of timeout for provers	Daniyar Itegulov	More...				over 8 years ago
Add link to the Scavenger 0.1 paper	Daniyar Itegulov	More...				over 8 years ago
Add information about using Scavenger as a library in README.md	Daniyar Itegulov	More...				over 8 years ago
Refactor expert prover	Daniyar Itegulov	More...				over 8 years ago
Apply publish settings to all modules	Daniyar Itegulov	More...				over 8 years ago
Refactor expressions package	Daniyar Itegulov	More...				over 8 years ago
Move Symbol terms to the parser package	Daniyar Itegulov	More...				over 8 years ago
Add scoverage aggregation	Daniyar Itegulov	More...				over 8 years ago
Reformat build configurations	Daniyar Itegulov	More...				over 8 years ago
Fix renaming mistake and move `tptpPrettify` to pretty package	Daniyar Itegulov	More...				over 8 years ago
Change package domain from "au.aossie" to "org.aossie"	Daniyar Itegulov	More...				over 8 years ago
Reorganise project in a modular way and add publishing configuration	Daniyar Itegulov	More...				over 8 years ago
Merge branch 'patch-1' into 'develop'	Bruno Woltzenlogel Paleo	More...				over 8 years ago
add Padtsiolkin to the currently active developers	Vlad Podtelkin	More...				over 8 years ago
Upgrade sbt to 1.0.2 and update information in README	Daniyar Itegulov	More...				over 8 years ago
Upgrade sbt to 1.0.1, scala to 2.12.3 and other dependencies accordingly	Daniyar Itegulov	More...				over 8 years ago
Merge branch 'develop' into 'develop'	Bruno Woltzenlogel Paleo	More...				almost 9 years ago
Update padtsiolkin.md	Vlad Podtelkin	More...				almost 9 years ago
1 actor => 4 actors	vlad107	More...				almost 9 years ago
send clauses to another actors only when an empty expert-clause derived	vlad107	More...				almost 9 years ago
Update padtsiolkin.md	Vlad Podtelkin	More...				almost 9 years ago
Update padtsiolkin.md	Vlad Podtelkin	More...				almost 9 years ago
Update padtsiolkin.md	Vlad Podtelkin	More...				almost 9 years ago
Update padtsiolkin.md	Vlad Podtelkin	More...				almost 9 years ago
Update padtsiolkin.md	Vlad Podtelkin	More...				almost 9 years ago

←
1
2
3
4
5
6
7
8
9
…
73
74
→