List view
- Due by May 27, 2016•18/18 issues closed
ChangeList for v0.3.39
No due date•7/7 issues closed- No due date•17/17 issues closed
- No due date•19/19 issues closed
- No due date•8/8 issues closed
The main purpose of this milestone is to decouple RuntimeAssertions from the verification process.
No due date•1/1 issues closedThe main purpose of this milestone is to remove the BackPropagation phase.
No due date•5/5 issues closedThis milestone characterises the complete list of changes I'm planning ahead of the v0.4.0 release.
Due by April 29, 2015•59/59 issues closed- Due by September 19, 2014•13/13 issues closed
- Due by September 12, 2014•3/3 issues closed
More refactorings and bug fixes to be completed.
Due by September 5, 2014•4/4 issues closedMore improvements to verifier
Due by August 29, 2014•6/6 issues closed- Due by August 22, 2014•9/9 issues closed
Aims to provide continued improvements to quantifier instantiation
Due by August 9, 2014•12/12 issues closedMilestone for collating things to do for next release.
Due by July 28, 2014•3/3 issues closedThe purpose of this milestone is to implement "functional regions".
No due date•2/2 issues closedCurrently, syntax has been added for variable declarations but the flow type checker ignores the declared variable type.
Due by March 3, 2014•1/1 issues closedThe purpose of this milestone is to update the parser, so that it is more robust to line wraps and exposes potential for better error handling.
Due by January 10, 2014This purpose of this milestonr is to adjust the syntax for functions, methods, types, constants and references.
Due by December 20, 2013•9/9 issues closed- Due by January 28, 2013•15/15 issues closed
- Due by July 1, 2013•17/17 issues closed
- Due by June 1, 2013•36/36 issues closed
- Due by December 21, 2012•22/22 issues closed
Next release!
Due by October 31, 2012•64/64 issues closedNext release!
Due by July 16, 2012•10/10 issues closed- No due date•1/1 issues closed
The purpose is this milestone is continued refactoring of the front-end with an aim to improving overall quality. Also, to continue progressively adding in new features and syntax.
Due by February 29, 2012•2/2 issues closed- Due by December 12, 2011•5/5 issues closed
- Due by November 7, 2011•3/3 issues closed
- Due by October 24, 2011•5/5 issues closed
- Due by September 19, 2011•2/2 issues closed