| b4e3e89 | Ivan Enderlin | 10 January 2017, 13:08:06 UTC | Prepare 1.17.01.10. | 10 January 2017, 13:08:06 UTC |
| 9c88532 | Ivan Enderlin | 10 January 2017, 13:04:59 UTC | Quality: Happy new year! | 10 January 2017, 13:04:59 UTC |
| 6a81c77 | gitomato | 10 January 2017, 09:45:17 UTC | Fix typo | 10 January 2017, 09:45:17 UTC |
| d00a773 | Ivan Enderlin | 06 January 2017, 14:35:30 UTC | Prepare 1.17.01.06. | 06 January 2017, 14:35:30 UTC |
| 2904182 | Ivan Enderlin | 06 January 2017, 14:33:21 UTC | Preambler: Use non-static cache in handler. The static cache approach in the handler is wrong. Static means shared, and we do not want it to be shared amongst instances of `Handler`. The cache must be dynamic and must belong to the current instance of an `Handler`. | 06 January 2017, 14:33:21 UTC |
| 75f94a4 | Ivan Enderlin | 24 October 2016, 13:18:08 UTC | Documentation: Fix a typo. | 24 October 2016, 13:18:08 UTC |
| 5918757 | Ivan Enderlin | 24 October 2016, 13:16:31 UTC | Documentation: Rename a section. | 24 October 2016, 13:16:31 UTC |
| be82e88 | Ivan Enderlin | 24 October 2016, 13:15:02 UTC | Documentation: Add JML and `Hoa\Realdom` links. | 24 October 2016, 13:15:02 UTC |
| c3a3712 | Ivan Enderlin | 24 October 2016, 13:11:59 UTC | Documentation: New `README.md`. | 24 October 2016, 13:11:59 UTC |
| 7a8c2d0 | Ivan Enderlin | 11 October 2016, 15:02:34 UTC | Documentation: Update `support` properties. | 11 October 2016, 15:02:34 UTC |
| 15f8b67 | Ivan Enderlin | 11 May 2016, 07:55:24 UTC | Prepare 1.16.05.11. | 11 May 2016, 07:55:24 UTC |
| 850b9b9 | Alexis von Glasow | 09 May 2016, 22:23:40 UTC | Add use missing for Hoa\Consistency | 10 May 2016, 11:56:11 UTC |
| a638798 | Ivan Enderlin | 09 May 2016, 11:28:19 UTC | Prepare 1.16.05.09. | 09 May 2016, 11:28:19 UTC |
| d42a5c2 | Alexis von Glasow | 25 March 2016, 08:33:25 UTC | Disjunction: Fix autoloading. | 09 May 2016, 11:25:27 UTC |
| 1e80ca1 | Ivan Enderlin | 17 January 2016, 13:20:01 UTC | Grammar: Update copyright. | 17 January 2016, 13:20:01 UTC |
| 14cbe9f | Ivan Enderlin | 14 January 2016, 21:34:17 UTC | Prepare 1.16.01.16. | 14 January 2016, 21:34:22 UTC |
| 6563335 | Ivan Enderlin | 14 January 2016, 21:33:50 UTC | Composer: Forget to add a new stable library. | 14 January 2016, 21:33:50 UTC |
| 2ca6fdb | Ivan Enderlin | 14 January 2016, 21:06:25 UTC | Prepare 1.16.01.15. | 14 January 2016, 21:06:28 UTC |
| 45074f5 | Ivan Enderlin | 14 January 2016, 21:05:02 UTC | Composer: New stable library. | 14 January 2016, 21:05:02 UTC |
| 114345a | Ivan Enderlin | 14 January 2016, 20:00:12 UTC | Update because of the BC break. | 14 January 2016, 20:00:12 UTC |
| 5efccdb | Ivan Enderlin | 14 January 2016, 19:59:55 UTC | Prepare 1.16.01.14. | 14 January 2016, 19:59:55 UTC |
| bfeab62 | Ivan Enderlin | 11 January 2016, 09:30:49 UTC | Prepare 0.16.01.11. | 11 January 2016, 09:30:49 UTC |
| 11fc549 | Ivan Enderlin | 11 January 2016, 08:15:26 UTC | Quality: Drop PHP5.4. | 11 January 2016, 08:15:26 UTC |
| a224ff4 | Ivan Enderlin | 09 January 2016, 08:06:35 UTC | Quality: Run devtools:cs. | 09 January 2016, 08:06:35 UTC |
| c7fbacd | Ivan Enderlin | 09 January 2016, 07:20:36 UTC | Core: Remove `Hoa\Core`. | 09 January 2016, 07:20:36 UTC |
| 96268fc | Ivan Enderlin | 09 December 2015, 16:18:59 UTC | Consistency: Remove `from` calls. | 11 December 2015, 07:59:02 UTC |
| 3c92894 | Ivan Enderlin | 08 December 2015, 20:39:21 UTC | Consistency: Use `Hoa\Consistency`. | 08 December 2015, 20:39:21 UTC |
| eac7c9a | Ivan Enderlin | 20 November 2015, 12:00:53 UTC | Exception: Use `Hoa\Exception`. The core is being splitted into several libraries. `Hoa\Exception` is one of them. | 23 November 2015, 21:47:22 UTC |
| a99b764 | Ivan Enderlin | 08 September 2015, 13:28:27 UTC | Prepare 0.15.09.08. | 08 September 2015, 13:28:27 UTC |
| e013e1b | Stéphane HULARD | 03 August 2015, 09:41:34 UTC | Add a `.gitignore` file. | 03 August 2015, 09:41:34 UTC |
| 47e26bd | Ivan Enderlin | 01 June 2015, 11:45:25 UTC | Prepare 0.15.06.01. | 01 June 2015, 11:45:25 UTC |
| 9f68a69 | Ivan Enderlin | 01 June 2015, 10:19:17 UTC | Make the `praspel` function global. | 01 June 2015, 10:19:17 UTC |
| b858f9f | Ivan Enderlin | 01 June 2015, 10:02:37 UTC | Change `interprete` method name to `interpret`. | 01 June 2015, 10:08:27 UTC |
| 8dea9e4 | Ivan Enderlin | 29 May 2015, 14:03:57 UTC | Prepare 0.15.05.29. | 29 May 2015, 14:03:57 UTC |
| 23dad64 | Ivan Enderlin | 29 May 2015, 12:50:47 UTC | Move to `Hoa\Ustring`. | 29 May 2015, 12:50:47 UTC |
| 0fce307 | Ivan Enderlin | 28 May 2015, 10:10:30 UTC | Move to PSR-1-2 & drop PHP5.3 & `from`/`import`. | 28 May 2015, 10:10:30 UTC |
| f780160 | Ivan Enderlin | 24 February 2015, 08:38:30 UTC | Prepare 0.15.02.24. | 24 February 2015, 08:38:30 UTC |
| 49caada | Ivan Enderlin | 24 February 2015, 08:36:29 UTC | Add the `CHANGELOG.md` file. | 24 February 2015, 08:36:29 UTC |
| 58dae36 | Ivan Enderlin | 05 January 2015, 13:44:27 UTC | Happy new year! | 05 January 2015, 13:44:27 UTC |
| df82c9f | Ivan Enderlin | 09 December 2014, 12:59:10 UTC | Move to PSR-4. | 09 December 2014, 12:59:10 UTC |
| afe3060 | Ivan Enderlin | 15 November 2014, 21:22:01 UTC | Hoa\Visitor has been finalized. | 15 November 2014, 21:22:01 UTC |
| 59a146d | Ivan Enderlin | 09 November 2014, 10:05:20 UTC | Use hoa/iterator ~1.0. | 09 November 2014, 10:05:20 UTC |
| 94c305d | Stéphane PY | 23 September 2014, 09:56:17 UTC | Add branch-alias | 23 September 2014, 09:56:17 UTC |
| 4e6b959 | Ivan Enderlin | 17 September 2014, 15:36:18 UTC | Drop PHP5.3. | 17 September 2014, 15:36:18 UTC |
| e376281 | Ivan Enderlin | 17 September 2014, 15:36:04 UTC | Add the installation section. | 17 September 2014, 15:36:04 UTC |
| 3825237 | Ivan Enderlin | 16 September 2014, 19:55:38 UTC | Start Rüsh Release. | 16 September 2014, 19:55:38 UTC |
| b2dda6c | Ivan Enderlin | 25 August 2014, 08:23:21 UTC | Generate an object without a constructor. | 25 August 2014, 08:23:21 UTC |
| 20d62e3 | Ivan Enderlin | 25 August 2014, 08:09:33 UTC | Catch all exceptions. | 25 August 2014, 08:09:33 UTC |
| cf7c9b1 | Ivan Enderlin | 07 July 2014, 07:38:30 UTC | Remove the ƒ function. | 07 July 2014, 07:38:30 UTC |
| 6202b1e | Ivan Enderlin | 30 June 2014, 12:17:57 UTC | Link to atoum/praspel-extension. | 30 June 2014, 12:17:57 UTC |
| f047900 | Ivan Enderlin | 21 May 2014, 14:13:01 UTC | Evaluate the \pred(p) construction. | 21 May 2014, 14:13:01 UTC |
| 7462328 | Ivan Enderlin | 21 May 2014, 13:30:26 UTC | Extend closure support. Avoid an issue in the `getAttributeData` method. | 21 May 2014, 13:30:26 UTC |
| ee49364 | Ivan Enderlin | 21 May 2014, 13:24:39 UTC | Allow to escape slash. | 21 May 2014, 13:24:39 UTC |
| 3f019dd | Ivan Enderlin | 21 May 2014, 06:50:55 UTC | Add syntactic sugar for class(). \C <=> class('C'). | 21 May 2014, 06:53:31 UTC |
| b5fcc37 | Ivan Enderlin | 21 May 2014, 06:50:28 UTC | Auto-collecting invariants. | 21 May 2014, 06:50:28 UTC |
| d4db95e | Ivan Enderlin | 11 April 2014, 16:42:39 UTC | Add the ::nothing:: token. | 11 April 2014, 16:42:39 UTC |
| 749d546 | Ivan Enderlin | 03 April 2014, 08:43:53 UTC | Fix a PHP compatibility. | 03 April 2014, 08:43:53 UTC |
| 8fb22c7 | Ivan Enderlin | 02 April 2014, 12:17:47 UTC | Update an exception message. | 02 April 2014, 12:17:47 UTC |
| bca8de0 | Ivan Enderlin | 01 April 2014, 12:49:16 UTC | Merge branch 'iterator' into incoming | 01 April 2014, 12:49:16 UTC |
| 65ad33f | Ivan Enderlin | 01 April 2014, 12:49:02 UTC | Allow missing @requires. | 01 April 2014, 12:49:02 UTC |
| eb052f6 | Ivan Enderlin | 01 April 2014, 12:33:14 UTC | A missing @ensures is considered as true. | 01 April 2014, 12:33:14 UTC |
| 78d81ac | Ivan Enderlin | 31 March 2014, 20:57:29 UTC | Totally new structural coverage algorithm. Much faster, much simpler to maintain and consider recents changes in Praspel (cf research papers). | 01 April 2014, 12:31:12 UTC |
| 080f7b8 | Ivan Enderlin | 31 March 2014, 17:31:20 UTC | Avoid some creation of a #dynamic_resolution node. | 31 March 2014, 17:31:20 UTC |
| a72bfbb | Ivan Enderlin | 31 March 2014, 17:20:11 UTC | Update the regex syntactic sugar. | 31 March 2014, 17:24:32 UTC |
| ec1aa6d | Ivan Enderlin | 31 March 2014, 16:42:46 UTC | Override the isEmpty() method. | 31 March 2014, 16:42:46 UTC |
| 62afa42 | Ivan Enderlin | 31 March 2014, 15:30:13 UTC | Absent @throwable => failed. | 31 March 2014, 15:30:13 UTC |
| cc375fb | Ivan Enderlin | 31 March 2014, 15:18:55 UTC | Absent @ensures => failed. | 31 March 2014, 15:18:55 UTC |
| 7cab3a4 | Ivan Enderlin | 24 March 2014, 09:37:32 UTC | Format code. #mania | 24 March 2014, 09:37:32 UTC |
| 56b0391 | Ivan Enderlin | 14 March 2014, 21:55:40 UTC | Update the runtime to the new behavior semantics. | 14 March 2014, 21:55:40 UTC |
| 3461224 | Ivan Enderlin | 10 February 2014, 15:15:32 UTC | Add the state of the library. | 10 February 2014, 15:15:32 UTC |
| 2f99951 | Ivan Enderlin | 07 January 2014, 10:55:25 UTC | Happy new year \o/. | 07 January 2014, 10:55:25 UTC |
| 97439a3 | Ivan Enderlin | 03 January 2014, 15:57:27 UTC | The @description clause can be present anywhere. | 03 January 2014, 15:57:27 UTC |
| 4cc9c27 | Ivan Enderlin | 03 January 2014, 15:51:46 UTC | Use a default assertion checker when necessary. | 03 January 2014, 15:51:46 UTC |
| df03b1a | Ivan Enderlin | 03 January 2014, 14:03:31 UTC | Format `composer.json`. | 03 January 2014, 14:03:31 UTC |
| 0c2c75d | Ivan Enderlin | 25 November 2013, 14:11:33 UTC | Update indexes of exceptions. | 25 November 2013, 14:11:33 UTC |
| 977d226 | Ivan Enderlin | 25 November 2013, 14:10:46 UTC | A @default can be declared if… … at least one @behavior exists. | 25 November 2013, 14:10:46 UTC |
| c265aef | Ivan Enderlin | 25 November 2013, 10:57:54 UTC | Add the encapsulation shunter preambler! Shunt encapsulation: instanciate a class and set its state by using invariants and not methods calls. | 25 November 2013, 10:57:54 UTC |
| 64452dc | Ivan Enderlin | 25 November 2013, 10:50:56 UTC | Update the callable after running a preambler. A preambler can change the callable, we then need to update it in the assertion checker. | 25 November 2013, 10:50:56 UTC |
| fc0c707 | Ivan Enderlin | 25 November 2013, 10:41:12 UTC | The generateData method is now static… … and it has been moved into `Hoa\Praspel\AssertionChecker` class. | 25 November 2013, 10:41:12 UTC |
| 380dba9 | Ivan Enderlin | 25 November 2013, 10:39:54 UTC | The __setCallable method is now public. | 25 November 2013, 10:39:54 UTC |
| 4f4c924 | Ivan Enderlin | 25 November 2013, 10:39:27 UTC | Fix an error in an exception message. | 25 November 2013, 10:39:27 UTC |
| 775ea77 | Ivan Enderlin | 25 November 2013, 08:56:35 UTC | mv AssertionChecker\Preambler Preambler\Handler | 25 November 2013, 08:56:35 UTC |
| d9fb455 | Ivan Enderlin | 25 November 2013, 08:43:54 UTC | Update an exception message. | 25 November 2013, 08:43:54 UTC |
| 541255f | Ivan Enderlin | 25 November 2013, 08:43:42 UTC | Move importations. | 25 November 2013, 08:43:42 UTC |
| eb9d1c5 | Ivan Enderlin | 22 November 2013, 15:13:48 UTC | Fix compilation of crate variable. | 22 November 2013, 15:13:48 UTC |
| e057548 | Ivan Enderlin | 22 November 2013, 14:26:07 UTC | Support crate constant. | 22 November 2013, 14:26:07 UTC |
| a19102f | Ivan Enderlin | 22 November 2013, 14:25:47 UTC | Add tracability for crate constant. | 22 November 2013, 14:25:47 UTC |
| c5b3449 | Ivan Enderlin | 22 November 2013, 14:11:57 UTC | Clean a little bit \old(e) support. Remove a useless code in the RAC. And move the `\old(e)` support from the interpreter to the model. | 22 November 2013, 14:11:57 UTC |
| 61f09f7 | Ivan Enderlin | 22 November 2013, 14:10:22 UTC | Fix a regression in behaviors. | 22 November 2013, 14:10:22 UTC |
| a386cb3 | Ivan Enderlin | 22 November 2013, 14:06:04 UTC | Remove reference when setting the value. 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). | 22 November 2013, 14:06:04 UTC |
| 942f186 | Ivan Enderlin | 22 November 2013, 13:19:18 UTC | Adding a clause redefine its parent. | 22 November 2013, 13:19:18 UTC |
| 90cdfe1 | Ivan Enderlin | 22 November 2013, 13:18:47 UTC | Better constructor support. Compute a new callable and a new reflection for the rest of the RAC since we generate a real instance. | 22 November 2013, 13:18:47 UTC |
| f82db70 | Ivan Enderlin | 22 November 2013, 11:04:09 UTC | Better constructor support. When the callable is a constructor, we need a special process, based on `ReflectionClass::newInstanceArgs`. | 22 November 2013, 11:04:09 UTC |
| 6382c6b | Ivan Enderlin | 22 November 2013, 11:03:12 UTC | Classnames are backslash left-trimmed. | 22 November 2013, 11:03:12 UTC |
| c862a7c | Ivan Enderlin | 22 November 2013, 11:02:15 UTC | New $bindToClass argument on Praspel::interprete. Bind class when interpreting. | 22 November 2013, 11:02:15 UTC |
| 1d3d606 | Ivan Enderlin | 21 November 2013, 15:27:52 UTC | Don't check invariant before invoking constructor. | 21 November 2013, 15:27:52 UTC |
| 9c609da | Ivan Enderlin | 21 November 2013, 15:00:20 UTC | Cannot have global/parent @ensures or @throwable. The semantics of a global @throwable clause is really hard to define. Same for @ensures. After a study, we realized that users do not write global or parent @ensures or @throwable clauses. Thus, to simplify everything, we reject such contract constructions. | 21 November 2013, 15:01:35 UTC |
| bec521d | Ivan Enderlin | 11 November 2013, 08:07:10 UTC | Support dynamic resolutions as external variables. `this->foo` is considered as a borrowing variable, with the type `TYPE_EXTERNAL`. Verifications use the contract registry and the binded class of specifications. | 11 November 2013, 08:07:10 UTC |
| 6e854e8 | Ivan Enderlin | 11 November 2013, 08:05:04 UTC | Interpreter can bind a class on the specification. | 11 November 2013, 08:05:04 UTC |
| faa9e89 | Ivan Enderlin | 11 November 2013, 08:03:06 UTC | Introduce the “contract (static) registry”. The contract static registry aims at containing all Praspel contracts. This is very helpful when a contract manipulates external (out of the current contract) data. | 11 November 2013, 08:03:06 UTC |
