W

WhileyTheoremProver

Settings | Report Duplicate

0

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
Aug 04, 2025 — Aug 04, 2026 Showing page 1 of 15 Search / Filter on:
Merge pull request #151 from Whiley/dependabot/maven/junit-junit-4.13.1	David Pearce	More...				almost 6 years ago
Bump junit from 4.12 to 4.13.1	dependabot[bot]	More...				almost 6 years ago
Merge branch 'develop'	DavePearce	More...				almost 6 years ago
Preparing next release version	DavePearce	More...				almost 6 years ago
Merge branch 'develop'	DavePearce	More...				about 7 years ago
Preparing next release version	DavePearce	More...				about 7 years ago
Various minor fixes to help WyC	DavePearce	More...				about 7 years ago
Support for Environment.toDictionary()	DavePearce	More...				about 7 years ago
Enable Associating Assertions with SyntacticItems	DavePearce	More...				about 7 years ago
Updating to latest WyCC	DavePearce	More...				about 7 years ago
Attempting to resolve version issue	DavePearce	More...				about 7 years ago
Some tweaks for compiling on Travis	DavePearce	More...				about 7 years ago
Merge branch 'develop'	DavePearce	More...				about 7 years ago
Bringing up to speed with latest WyCC	DavePearce	More...				about 7 years ago
Merge branch 'develop'	DavePearce	More...				over 7 years ago
Preparing next release version	DavePearce	More...				over 7 years ago
Update to WyCC 0.7.7	DavePearce	More...				over 7 years ago
Merge branch 'develop'	DavePearce	More...				over 7 years ago
Preparing next release version	DavePearce	More...				over 7 years ago
Merge branch 'bug/883-counterexamples' into develop	DavePearce	More...				over 7 years ago
Fixes for counterexample generation	DavePearce	More...				over 7 years ago
Bug fix for counterexample generation	DavePearce	More...				over 7 years ago
Minor fixes.	DavePearce	More...				over 7 years ago
Update to latest WyC	DavePearce	More...				over 7 years ago
Update NameResolver Issues	DavePearce	More...				over 7 years ago
Add failing test cases	DavePearce	More...				almost 8 years ago
Fixes for Name Resolution	DavePearce	More...				almost 8 years ago
Updating to latest WyCC	DavePearce	More...				almost 8 years ago
Merge branch 'master' of github.com:Whiley/WhileyTheoremProver	DavePearce	More...				over 8 years ago
Merge branch 'develop'	DavePearce	More...				over 8 years ago

←
1
2
3
4
5
6
7
8
9
…
14
15
→