GAPT

Settings | Report Duplicate

2

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 06, 2025 — Feb 06, 2026 Showing page 1 of 259 Search / Filter on:
update sbt-sonatype plugin to support publishing to central	Fabian Achammer	More...				8 months ago
update release notes and set release date	Fabian Achammer	More...				8 months ago
bump version number to 2.18.1	Fabian Achammer	More...				8 months ago
add wscanTest	Fabian Achammer	More...				8 months ago
remove unnecessary imports	Fabian Achammer	More...				8 months ago
rename ->:.scala file to ArrowType.file	Fabian Achammer	More...				9 months ago
Merge branch 'release-2.18.0'	Fabian Achammer	More...				12 months ago
fix undefined reference	Fabian Achammer	More...				12 months ago
bump version number to 2.18.0	Fabian Achammer	More...				12 months ago
fix pep examples	Fabian Achammer	More...				12 months ago
restore snapshot version	Fabian Achammer	More...				12 months ago
fix wscanTest	Fabian Achammer	More...				12 months ago
Merge branch 'release-2.18.0' into develop	Fabian Achammer	More...				12 months ago
update copyright year	Fabian Achammer	More...				12 months ago
improve wscan interface	Fabian Achammer	More...				12 months ago
set release date	Fabian Achammer	More...				12 months ago
update release notes	Fabian Achammer	More...				12 months ago
bump version number to 2.18.0	Fabian Achammer	More...				12 months ago
fix user manual	Fabian Achammer	More...				12 months ago
rename ResolutionCandidate to PointedClause	Fabian Achammer	More...				12 months ago
add scaladoc	Fabian Achammer	More...				12 months ago
update user manual section about WDLS and formula equations	Fabian Achammer	More...				12 months ago
improve dls api	Fabian Achammer	More...				12 months ago
make input of solveFormulaEquation and dls a predicate elimination problem	Fabian Achammer	More...				12 months ago
cite SCAN and DLS algorithm	Fabian Achammer	More...				12 months ago
rename ScanTest to wscanTest	Fabian Achammer	More...				12 months ago
update user manual	Fabian Achammer	More...				12 months ago
add witnessLimit parameter to ScanTest	Fabian Achammer	More...				12 months ago
add convenience methods for State and Derivation	Fabian Achammer	More...				12 months ago
implement variables as initial witnesses	Fabian Achammer	More...				12 months ago

←
1
2
3
4
5
6
7
8
9
…
258
259
→