GAPT

Settings | Report Duplicate

2

I Use This!

Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2025 — Jul 20, 2026 Showing page 1 of 263 Search / Filter on:
release 2.19.0	Fabian Achammer	More...				4 months ago
update gapt repl to output responses	Fabian Achammer	More...				4 months ago
unify scan and wscan default options	Fabian Achammer	More...				4 months ago
update copyright year	Fabian Achammer	More...				4 months ago
update user manual	Fabian Achammer	More...				4 months ago
update release notes for 2.19.0	Fabian Achammer	More...				4 months ago
bump version number to 2.19.0	Fabian Achammer	More...				4 months ago
update bump-version script to new version places in build.sbt	Fabian Achammer	More...				4 months ago
Merge branch 'wscan-finite-witnesses' into develop	Fabian Achammer	More...				4 months ago
make limit of derivation count all derivation steps	Fabian Achammer	More...				4 months ago
rename derivationLimit to inferenceLimit	Fabian Achammer	More...				4 months ago
put cartesian product function in utils	Fabian Achammer	More...				4 months ago
put wdls out of folder	Fabian Achammer	More...				4 months ago
implement constraint elimination for reflexivity resolution	Fabian Achammer	More...				4 months ago
update wscan test parameters to search for shorter derivations	Fabian Achammer	More...				4 months ago
run testWscan with mixed-sided clauses and print derivation length	Fabian Achammer	More...				4 months ago
make scan abortable during purification	Fabian Achammer	More...				4 months ago
add example from hierarchical theorem proving paper	Fabian Achammer	More...				4 months ago
add wscan benchmark with more examples	Fabian Achammer	More...				4 months ago
put pretty printing into scan module	Fabian Achammer	More...				4 months ago
put freeFOLVariables into utils	Fabian Achammer	More...				4 months ago
make scan abortable	Fabian Achammer	More...				4 months ago
add test with purification subsumption graph of length 3	Fabian Achammer	More...				5 months ago
improve api for mutuallyNonEquivalentWitnesses	Fabian Achammer	More...				5 months ago
add test for solvable cyclic example	Fabian Achammer	More...				5 months ago
test that derivations are eliminating	Fabian Achammer	More...				5 months ago
rename lResU to lRes	Fabian Achammer	More...				5 months ago
add test for cyclic purification subsumption graph	Fabian Achammer	More...				5 months ago
fix timeout test case	Fabian Achammer	More...				5 months ago
generate factors iteratively and check them for redundancy	Fabian Achammer	More...				5 months ago

←
1
2
3
4
5
6
7
8
9
…
262
263
→