aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFiles
* Prepare 0.15.06.01.0.15.06.01Ivan Enderlin2015-06-011
|
* Make the `praspel` function global.Ivan Enderlin2015-06-011
|
* Change `interprete` method name to `interpret`.Ivan Enderlin2015-06-012
|
* Prepare 0.15.05.29.0.15.05.29Ivan Enderlin2015-05-291
|
* Move to `Hoa\Ustring`.Ivan Enderlin2015-05-292
|
* Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.Ivan Enderlin2015-05-2844
|
* Prepare 0.15.02.24.0.15.02.24Ivan Enderlin2015-02-241
|
* Add the `CHANGELOG.md` file.Ivan Enderlin2015-02-241
|
* Happy new year!Ivan Enderlin2015-01-0545
|
* Move to PSR-4.0.14.12.10Ivan Enderlin2014-12-091
|
* Hoa\Visitor has been finalized.0.14.11.25Ivan Enderlin2014-11-151
|
* Use hoa/iterator ~1.0.0.14.11.09Ivan Enderlin2014-11-091
|
* Add branch-alias0.14.09.23Stéphane PY2014-09-231
|
* Drop PHP5.3.0.14.09.17Ivan Enderlin2014-09-171
|
* Add the installation section.Ivan Enderlin2014-09-171
|
* Start Rüsh Release.0.14.09.16Ivan Enderlin2014-09-161
|
* Generate an object without a constructor.Ivan Enderlin2014-08-251
|
* Catch all exceptions.Ivan Enderlin2014-08-251
|
* Remove the ƒ function.Ivan Enderlin2014-07-071
|
* Link to atoum/praspel-extension.Ivan Enderlin2014-06-301
|
* Evaluate the \pred(p) construction.Ivan Enderlin2014-05-211
|
* Extend closure support.Ivan Enderlin2014-05-211
| | | | Avoid an issue in the `getAttributeData` method.
* Allow to escape slash.Ivan Enderlin2014-05-211
|
* Add syntactic sugar for class().Ivan Enderlin2014-05-212
| | | | \C <=> class('C').
* 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
| | | | | Much faster, much simpler to maintain and consider recents changes in Praspel (cf research papers).
* 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
| | | | … at least one @behavior exists.
* Add the encapsulation shunter preambler!Ivan Enderlin2013-11-251
| | | | | Shunt encapsulation: instanciate a class and set its state by using invariants and not methods calls.
* Update the callable after running a preambler.Ivan Enderlin2013-11-251
| | | | | A preambler can change the callable, we then need to update it in the assertion checker.
* The generateData method is now static…Ivan Enderlin2013-11-252
| | | | … and it has been moved into `Hoa\Praspel\AssertionChecker` class.
* The __setCallable method is now public.Ivan Enderlin2013-11-251
|