W

WhileyDevelopmentKit

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 03, 2025 — Sep 03, 2026 Showing page 1 of 3 Search / Filter on:
Minor tweak	DavePearce	More...				almost 5 years ago
Updating latest version	DavePearce	More...				almost 5 years ago
Updating stable config	DavePearce	More...				almost 5 years ago
Updating to latest config	DavePearce	More...				almost 5 years ago
Updating latest version numbers	DavePearce	More...				about 5 years ago
Updating configuration ahead of next release	DavePearce	More...				about 5 years ago
Updates to latest snapshot	DavePearce	More...				about 5 years ago
Updated to 0.6.0-SNAPSHOT	DavePearce	More...				about 5 years ago
Updated for beta branch	DavePearce	More...				about 5 years ago
Update to WDK v0.5.3	DavePearce	More...				about 5 years ago
Update to wy2boogie v0.2.5	DavePearce	More...				over 5 years ago
Update wdk-v0.5.3 again!	DavePearce	More...				over 5 years ago
Another fix for v0.5.3	DavePearce	More...				over 5 years ago
Update v0.5.3	DavePearce	More...				over 5 years ago
Update latest flag	DavePearce	More...				over 5 years ago
Updating dist 0.5.3	DavePearce	More...				over 5 years ago
Add boogie activator	DavePearce	More...				over 5 years ago
Merge branch 'master' of github.com:Whiley/WhileyDevelopmentKit	DavePearce	More...				almost 6 years ago
Add prerelease of WDK 0.5.0	DavePearce	More...				almost 6 years ago
Update LATEST	DavePearce	More...				almost 6 years ago
Add release v0.5.2	DavePearce	More...				almost 6 years ago
Update Example + Script	DavePearce	More...				almost 6 years ago
Update for version 0.5.2	DavePearce	More...				almost 6 years ago
Improved wy script	DavePearce	More...				almost 6 years ago
Add LATEST indicator	DavePearce	More...				almost 6 years ago
Add wdk-latest.tgz symlink	DavePearce	More...				almost 6 years ago
Adding latest release	DavePearce	More...				almost 6 years ago
Updating latest release config	DavePearce	More...				almost 6 years ago
Prepare next release (0.5.0)	DavePearce	More...				about 6 years ago
Updated to latest versions	DavePearce	More...				over 6 years ago

←
1
2
3
→