Whiley Documentation

Settings | Report Duplicate

1

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 02, 2025 — Aug 02, 2026 Showing page 1 of 17 Search / Filter on:
Add microwave reference suggested by Gary Leavens	DavePearce	More...				over 4 years ago
More updates	DavePearce	More...				over 4 years ago
Remove travis.yml	DavePearce	More...				about 5 years ago
Update specification of import statements	DavePearce	More...				almost 7 years ago
Merge branch 'feature/832-final'	DavePearce	More...				almost 8 years ago
Update Definite Assignment	DavePearce	More...				almost 8 years ago
Merge branch 'master' of github.com:Whiley/WhileyDocs	DavePearce	More...				almost 8 years ago
Begun updating VariableDecl definition	DavePearce	More...				almost 8 years ago
Add StaticVarDecl	DavePearce	More...				almost 8 years ago
Merge branch 'feature/823-final'	DavePearce	More...				almost 8 years ago
Updated description of final modifier	DavePearce	More...				almost 8 years ago
WLS: add final keyword	DavePearce	More...				almost 8 years ago
Remove Any, Negation and Intersection Types	DavePearce	More...				almost 8 years ago
Update syntax for binary and hex literals.	DavePearce	More...				about 8 years ago
Remove WyTP	DavePearce	More...				over 8 years ago
Merge VSW with WYTP	DavePearce	More...				over 8 years ago
Add final keyword	DavePearce	More...				over 8 years ago
Add another loop invariant strategy	DavePearce	More...				over 8 years ago
WLS: updated to WyC v0.4.16	DavePearce	More...				about 9 years ago
GSW: updated to WyC version 0.4.16	DavePearce	More...				about 9 years ago
WLS: completed discussion of type refinement	DavePearce	More...				about 9 years ago
WLS: add discussion of type refinement	DavePearce	More...				about 9 years ago
WLS: added discussion of type checking	DavePearce	More...				about 9 years ago
WLS: updated definition assignment chapter	DavePearce	More...				about 9 years ago
WTP: some good updates to chapter on checking	DavePearce	More...				about 9 years ago
WTP: tidied up discussion of WyAL	DavePearce	More...				about 9 years ago
WTP: added discussion of case analysis.	DavePearce	More...				about 9 years ago
WTP: added discussion of choice in proofs	DavePearce	More...				about 9 years ago
WTP: begun discussing proof checking	DavePearce	More...				about 9 years ago
WTP: updated overview	DavePearce	More...				about 9 years ago

←
1
2
3
4
5
6
7
8
9
…
16
17
→