openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
W
WhileyDevelopmentKit
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Inactive
Commits
: Listings
Analyzed
about 6 hours
ago. based on code collected
about 16 hours
ago.
May 05, 2023 — May 05, 2024
Showing page 1 of 3
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
Minor tweak
DavePearce
More...
over 2 years ago
Updating latest version
DavePearce
More...
over 2 years ago
Updating stable config
DavePearce
More...
over 2 years ago
Updating to latest config
DavePearce
More...
over 2 years ago
Updating latest version numbers
DavePearce
More...
over 2 years ago
Updating configuration ahead of next release
DavePearce
More...
over 2 years ago
Updates to latest snapshot
DavePearce
More...
almost 3 years ago
Updated to 0.6.0-SNAPSHOT
DavePearce
More...
almost 3 years ago
Updated for beta branch
DavePearce
More...
almost 3 years ago
Update to WDK v0.5.3
DavePearce
More...
almost 3 years ago
Update to wy2boogie v0.2.5
DavePearce
More...
about 3 years ago
Update wdk-v0.5.3 again!
DavePearce
More...
about 3 years ago
Another fix for v0.5.3
DavePearce
More...
about 3 years ago
Update v0.5.3
DavePearce
More...
about 3 years ago
Update latest flag
DavePearce
More...
about 3 years ago
Updating dist 0.5.3
DavePearce
More...
about 3 years ago
Add boogie activator
DavePearce
More...
about 3 years ago
Merge branch 'master' of github.com:Whiley/WhileyDevelopmentKit
DavePearce
More...
over 3 years ago
Add prerelease of WDK 0.5.0
DavePearce
More...
over 3 years ago
Update LATEST
DavePearce
More...
over 3 years ago
Add release v0.5.2
DavePearce
More...
over 3 years ago
Update Example + Script
DavePearce
More...
over 3 years ago
Update for version 0.5.2
DavePearce
More...
over 3 years ago
Improved wy script
DavePearce
More...
over 3 years ago
Add LATEST indicator
DavePearce
More...
over 3 years ago
Add wdk-latest.tgz symlink
DavePearce
More...
over 3 years ago
Adding latest release
DavePearce
More...
over 3 years ago
Updating latest release config
DavePearce
More...
over 3 years ago
Prepare next release (0.5.0)
DavePearce
More...
almost 4 years ago
Updated to latest versions
DavePearce
More...
about 4 years ago
←
1
2
3
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree