Commit message (Expand)AuthorAgeFiles
* Evaluate the \pred(p) construction.Ivan Enderlin2014-05-211
* Extend closure support.Ivan Enderlin2014-05-211
* Allow to escape slash.Ivan Enderlin2014-05-211
* Add syntactic sugar for class().Ivan Enderlin2014-05-212
* Auto-collecting invariants.Ivan Enderlin2014-05-211
* Add the ::nothing:: token.Ivan Enderlin2014-04-111
* Fix a PHP compatibility.Ivan Enderlin2014-04-031
* Update an exception message.Ivan Enderlin2014-04-021
* Merge branch 'iterator' into incomingIvan Enderlin2014-04-011
| * Allow missing @requires.Ivan Enderlin2014-04-011
* | A missing @ensures is considered as true.Ivan Enderlin2014-04-011
* Totally new structural coverage algorithm.Ivan Enderlin2014-04-011
* Avoid some creation of a #dynamic_resolution node.Ivan Enderlin2014-03-312
* Update the regex syntactic sugar.Ivan Enderlin2014-03-311
* Override the isEmpty() method.Ivan Enderlin2014-03-311
* Absent @throwable => failed.Ivan Enderlin2014-03-311
* Absent @ensures => failed.Ivan Enderlin2014-03-311
* Format code. #maniaIvan Enderlin2014-03-241
* Update the runtime to the new behavior semantics.Ivan Enderlin2014-03-141
* Add the state of the library.Ivan Enderlin2014-02-102
* Happy new year \o/.Ivan Enderlin2014-01-0745
* The @description clause can be present anywhere.Ivan Enderlin2014-01-032
* Use a default assertion checker when necessary.Ivan Enderlin2014-01-031
* Format `composer.json`.Ivan Enderlin2014-01-031
* Update indexes of exceptions.Ivan Enderlin2013-11-251
* A @default can be declared if…Ivan Enderlin2013-11-251
* Add the encapsulation shunter preambler!Ivan Enderlin2013-11-251
* Update the callable after running a preambler.Ivan Enderlin2013-11-251
* The generateData method is now static…Ivan Enderlin2013-11-252
* The __setCallable method is now public.Ivan Enderlin2013-11-251
* Fix an error in an exception message.Ivan Enderlin2013-11-251
* mv AssertionChecker\Preambler Preambler\HandlerIvan Enderlin2013-11-253
* Update an exception message.Ivan Enderlin2013-11-251
* Move importations.Ivan Enderlin2013-11-252
* Fix compilation of crate variable.Ivan Enderlin2013-11-221
* Support crate constant.Ivan Enderlin2013-11-221
* Add tracability for crate constant.Ivan Enderlin2013-11-221
* Clean a little bit \old(e) support.Ivan Enderlin2013-11-223
* Fix a regression in behaviors.Ivan Enderlin2013-11-221
* Remove reference when setting the value.Ivan Enderlin2013-11-221
* Adding a clause redefine its parent.Ivan Enderlin2013-11-221
* Better constructor support.Ivan Enderlin2013-11-221
* Better constructor support.Ivan Enderlin2013-11-221
* Classnames are backslash left-trimmed.Ivan Enderlin2013-11-221
* New $bindToClass argument on Praspel::interprete.Ivan Enderlin2013-11-221
* Don't check invariant before invoking constructor.Ivan Enderlin2013-11-211
* Cannot have global/parent @ensures or @throwable.Ivan Enderlin2013-11-211
* Support dynamic resolutions as external variables.Ivan Enderlin2013-11-112
* Interpreter can bind a class on the specification.Ivan Enderlin2013-11-111
* Introduce the “contract (static) registry”.Ivan Enderlin2013-11-111