aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFiles
* 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
|
* 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
| | | | | Remove a useless code in the RAC. And move the `\old(e)` support from the interpreter to the model.
* Fix a regression in behaviors.Ivan Enderlin2013-11-221
|
* Remove reference when setting the value.Ivan Enderlin2013-11-221
| | | | | | | | | If the variable is an argument that is passed by-reference, and, if its value is changed during the execution of the system, its reference will be propagated until here. Consequently, in the post-state of the system, the value of the variable in the pre-state will be equal to the value in the post-state. This is an error. Thus, we copy the value instead of using a reference (initially introduced for performance reason).
* Adding a clause redefine its parent.Ivan Enderlin2013-11-221
|
* Better constructor support.Ivan Enderlin2013-11-221
| | | | | Compute a new callable and a new reflection for the rest of the RAC since we generate a real instance.
* Better constructor support.Ivan Enderlin2013-11-221
| | | | | When the callable is a constructor, we need a special process, based on `ReflectionClass::newInstanceArgs`.
* Classnames are backslash left-trimmed.Ivan Enderlin2013-11-221
|
* New $bindToClass argument on Praspel::interprete.Ivan Enderlin2013-11-221
| | | | Bind class when interpreting.