1
I Use This!
Very Low Activity

Commits : Listings

Analyzed 4 days ago. based on code collected 4 days ago.
Nov 18, 2018 — Nov 18, 2019
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'develop' 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
Prepating next release version 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
Merge branch 'feature/957-wyilfile' into develop 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
WyilFile versioning is now operational #957 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
Bug fixes for new Schema 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
Finally implemented a Schema!! 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
Working towards a true schema. 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 23 days ago
Create WyilFile.Attr section 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 24 days ago
Updated SyntacticItem Descriptors 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 24 days ago
Fix for WyilFile initialisation 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 24 days ago
Fix for import with 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 28 days ago
Merge branch 'feature/967-importwith' into develop 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 28 days ago
Support import from with multiple names. 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 28 days ago
Update NameResolution 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 28 days ago
Update parser and WyilFile format. 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 28 days ago
Fix #778 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... 28 days ago
Another fix for WyilFilePrinter 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Merge branch 'bug/55-prettyprint' into develop 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Fixes for WyilFilePrinter 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Fix QuickCheck sampling 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Merge branch 'feature/960-qcnames' into develop 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Support targetted checking #960 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Fix for QuickCheck. 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Updates to QuickCheck 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Merge branch 'bug/969-check' into develop 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Fixes #959 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Updating to latest version 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Merge branch 'develop' of github.com:Whiley/WhileyCompiler 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Merge branch 'feature/17-wypm' into develop 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago
Preparing next release version 626b627122ac22614a6d64e5efd79fb8?&s=32&rating=pg&d=https%3a%2f%2fopenhub.net%2fanon32
David J. Pearce
as DavePearce
More... about 1 month ago