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 |
5c358ff | Ivan Enderlin | 11 November 2013, 08:02:08 UTC | A specification can be binded to a class. This is obligatory for dynamic and static resolutions. | 11 November 2013, 08:02:08 UTC |
af293fb | Ivan Enderlin | 11 November 2013, 08:01:37 UTC | Add the getRoot() method. | 11 November 2013, 08:01:37 UTC |
09b88c5 | Ivan Enderlin | 10 November 2013, 14:38:53 UTC | New `this` support. We no longer have a `#this_identifier` node, but a more generic one: `#dynamic_resolution` (the root can be anything). | 10 November 2013, 14:38:53 UTC |
31d2496 | Ivan Enderlin | 10 November 2013, 14:26:09 UTC | Split into getAttributeData() & getArgumentData(). | 10 November 2013, 14:26:09 UTC |
131da65 | Ivan Enderlin | 10 November 2013, 14:07:40 UTC | Add “preambler” support. | 10 November 2013, 14:07:40 UTC |
ce3a6b9 | Ivan Enderlin | 10 November 2013, 12:36:50 UTC | Use Hoa\Praspel\Exception\AssertionChecker… … instead of Hoa\Praspel\Exception\Generic. | 10 November 2013, 12:36:50 UTC |
60a2336 | Ivan Enderlin | 10 November 2013, 12:35:05 UTC | Add Hoa\Praspel\Exception\AssertionChecker. | 10 November 2013, 12:35:05 UTC |
4a00f5e | Ivan Enderlin | 10 November 2013, 12:14:05 UTC | Fix a null access when computing the trace. | 10 November 2013, 12:14:05 UTC |
a12ea68 | Ivan Enderlin | 08 November 2013, 13:18:50 UTC | Format code. #mania | 08 November 2013, 13:18:50 UTC |
a827ee6 | Ivan Enderlin | 08 November 2013, 08:55:27 UTC | Remove an used variable. | 08 November 2013, 08:55:27 UTC |