aboutsummaryrefslogtreecommitdiffstats
path: root/Praspel.php
Commit message (Expand)AuthorAgeFiles
* Make the `praspel` function global.Ivan Enderlin2015-06-011
* Change `interprete` method name to `interpret`.Ivan Enderlin2015-06-011
* Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.Ivan Enderlin2015-05-281
* Happy new year!Ivan Enderlin2015-01-051
* Remove the ƒ function.Ivan Enderlin2014-07-071
* Happy new year \o/.Ivan Enderlin2014-01-071
* New $bindToClass argument on Praspel::interprete.Ivan Enderlin2013-11-221
* Introduce the “contract (static) registry”.Ivan Enderlin2013-11-111
* Support $this.Ivan Enderlin2013-11-051
* Avoid a misuse of a variable.Ivan Enderlin2013-11-041
* Re-index exceptions.Ivan Enderlin2013-11-011
* Detect a new Failure\Precondition.Ivan Enderlin2013-11-011
* Format code. #maniaIvan Enderlin2013-11-011
* Add trace support!Ivan Enderlin2013-11-011
* Formata code. #maniaIvan Enderlin2013-10-311
* Define flex entities.Ivan Enderlin2013-10-151
* generateData() make an isotropic random generationIvan Enderlin2013-09-171
* Add borrowing variables and \old(…) support.Ivan Enderlin2013-09-161
* Avoid useless \result assignements.Ivan Enderlin2013-09-161
* Format code. #maniaIvan Enderlin2013-09-131
* Avoid a |=. #performanceIvan Enderlin2013-08-291
* Format code. #maniaIvan Enderlin2013-08-291
* Finalize the @throwable verification algorithm.Ivan Enderlin2013-08-291
* Cast the verdict as a boolean.Ivan Enderlin2013-08-291
* Update API documentation.Ivan Enderlin2013-08-291
* Relax the extractFromComment() method.Ivan Enderlin2013-08-211
* Behavior nestings are kept when an @ensures fails.Ivan Enderlin2013-06-131
* Update exceptional failure message.Ivan Enderlin2013-06-131
* Add auto data generation.Ivan Enderlin2013-06-131
* Format code. #maniaIvan Enderlin2013-06-131
* Update an exception message.Ivan Enderlin2013-06-131
* The RAC now verifies invariants.Ivan Enderlin2013-06-131
* Add internal precondition failure support.Ivan Enderlin2013-06-121
* Simplify code. #maniaIvan Enderlin2013-06-121
* Update API.Ivan Enderlin2013-06-111
* The RAC now verifies @behavior and @default.Ivan Enderlin2013-06-111
* Do not automatically generate data when missing.Ivan Enderlin2013-06-111
* RAC checks @throwable clause.Ivan Enderlin2013-06-101
* Use Visitor\Praspel for better exception messages.Ivan Enderlin2013-06-071
* New RAC for Praspel: cleaner and faster.Ivan Enderlin2013-06-071
* Better contract extraction.Ivan Enderlin2013-05-301
* RAC is able to auto-generate data (early draft).Ivan Enderlin2013-05-301
* Add the extractFromComment() method.Ivan Enderlin2013-05-281
* Add the interprete() method & praspel() function.Ivan Enderlin2013-02-201
* Happy new year \o/.Ivan Enderlin2013-01-011
* Welcome to Hoa\Praspel \o/!Ivan Enderlin2012-11-231