Whiley Documentation

Settings | Report Duplicate

1

I Use This!

Inactive

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 18, 2024 — Jul 18, 2025 Showing page 14 of 17 Search / Filter on:
WLS: tweaked the description of the null type.	DavePearce	More...				over 11 years ago
WLS: added syntax for Quantifier, Append, Range and Shift Expressions.	DavePearce	More...				over 11 years ago
WLS: added a few more pieces of syntax.	DavePearce	More...				over 11 years ago
WLS: making some progress tidying a few things up here and there.	DavePearce	More...				over 11 years ago
WLS: some minor refactoring of statement documentation.	DavePearce	More...				over 11 years ago
WLS: working on expression grammar, whilst taking a lot of influence from the JLS.	DavePearce	More...				over 11 years ago
GSW: I'm not exactly sure about whether or not I should support implicit coercion. Certainly, not supporting it would be easier ...	DavePearce	More...				over 11 years ago
GSW: further tweaks to the section on subtyping. Have now pulled out the concept of implicit vs explicit coercions.	DavePearce	More...				over 11 years ago
GSW: some tweaks to the verification section.	DavePearce	More...				over 11 years ago
GSW: minor addition	DavePearce	More...				over 11 years ago
GSW: Added sections on structural types and subtyping.	DavePearce	More...				over 11 years ago
WLS: worked through the main declaration kinds now.	DavePearce	More...				over 11 years ago
WLS: minor tweak to the listings syntax highlighting.	DavePearce	More...				over 11 years ago
WLS: continuing to work on declarations. Have completed type and constant declarations.	DavePearce	More...				over 11 years ago
WLS: working on the description of declarations within a Whiley source file.	DavePearce	More...				over 11 years ago
WLS: added some very rough introductory blurb	DavePearce	More...				over 11 years ago
WLS: making progress working through statements. Still quite a few to go.	DavePearce	More...				over 11 years ago
WLS: working on compound statements, including if, while, do/while and for.	DavePearce	More...				over 11 years ago
WLS: making good progress working my way through the statements.	DavePearce	More...				over 11 years ago
WLS: well, the glossary works ... but I don't think I can spend too much time on it yet!!	DavePearce	More...				over 11 years ago
WLS: adding support for a glossary	DavePearce	More...				over 11 years ago
WLS: now working through the statements.	DavePearce	More...				over 11 years ago
WLS: continuing to add brief descriptions for types.	DavePearce	More...				over 11 years ago
WLS: almost done with the very rough initial first pass through types.	DavePearce	More...				over 11 years ago
WLS: continuing on the descriptions for types.	DavePearce	More...				over 11 years ago
WLS: still adding description to the entries for types.	DavePearce	More...				over 11 years ago
WLS: continued working on the descriptions for types	DavePearce	More...				over 11 years ago
WLS: started adding descriptions to each type entry.	DavePearce	More...				over 11 years ago
WLS: worked through all the types. I think that's got all of them, and that they are correctly specified.	DavePearce	More...				over 11 years ago
WLS: Very useful progress on putting in the grammar for types.	DavePearce	More...				over 11 years ago

←
1
2
…
9
10
11
12
13
14
15
16
17
→