github.com/hoaproject/Praspel commits | Ecosyste.ms: OpenCollective

Add coverage criteria (normal and exceptional).

63898995a0ef49ec3d38d8370ae252520c28f1ab authored over 11 years ago

Update API documentation.

9b38d6291ab08aadf4c565e6f9b218f689920688 authored over 11 years ago

Use \Hoa\Iterator.

dcd6e1ec54b7f75eacb365dacf4cb08462410e8e authored over 11 years ago

Use Hoa\Iterator.

c30d77fc85dc04a21ac5eadc8cffe202a4b36ce7 authored over 11 years ago

Add the domain coverage iterator.

Given a set of variables, for example:

@requires a: 'one' or 'two'
and b: 'thre...

5014dacc007cf99cd9862684e54ddc79e20c275f authored over 11 years ago

Ease rolling-release.

6b0d9057d86bd43d7d08b21fede4ea52590450d3 authored over 11 years ago

FIx composer dependencies

2243b1d35251fec370e853ff503ec2c6b6491915 authored over 11 years ago

Add composer.json.

f60d01b2519abbf3e066ad278c0dd762d25537e7 authored almost 12 years ago

Early draft of a data sampler iterator.

An easy way to iterate over data described by Praspel.

0b9162f8932d15eb446012d192c323b75577b58c authored almost 12 years ago

Fix a typo in the API documentation.

c4b719a500549b6b5049820cc26c0a62e01ffe11 authored almost 12 years ago

Take @throwable into account when iterating.

59c0d3bcef0d198d069ee980fa73384d814c1bd8 authored almost 12 years ago

Add a weak stack.

A weak stack is a stack where null elements are not iterated. Example:

$stack = new WeakSta...

2af5ad6a1369e1c6c810dab998b1eab1215f2349 authored almost 12 years ago

New @throwable clause API.

73afcad19993e283d0945a3d5be25b8250ef4898 authored almost 12 years ago

New interfaces for the @throwable clause.

The @throwable clause implements IteratorAggregate and Countable.

057439b846af197af8f15e19c4b7adac8bf589ef authored almost 12 years ago

Use ArrayIterator instead of ArrayObject.

3f09de1f24a8eae56f9dd9c3f9169f621d153da1 authored almost 12 years ago

Fix a bug while interpreting an exception list.

06af2a476900cc20112dda69f36e5f27e323c060 authored almost 12 years ago

Format code. #mania

bba4b1a8096ca8f061161b9f915cb5483de831b2 authored almost 12 years ago

Format code. #mania

b855eaf21eb56cb81b84f94f41b417a70f2a3351 authored almost 12 years ago

Add structural coverage.

Example of a contract:

@requires r: 'r';
@behavior a {
@requires ar: 'ar';
...

7fc8be25773bfebb4eab9e0079449dd65a06b994 authored almost 12 years ago

Add the Countable interface to Collection.

359c00991c29537c2593fcaec0bf24bca14ae72d authored almost 12 years ago

Introduce collection of clauses.

Clauses can have variables, so that they extend Declaration. But a
specification or a behavior c...

a47252b81b7f6cb207b27fb4ae3f290d0496c3ea authored almost 12 years ago

Fix an error while computing a @behavior ID.

c2c368e07a224f7817c033e9a9761ff0241d76ae authored almost 12 years ago

Rename @forexample to @description.

The @forexample has already a semantics defined in JML. Our @forexample
clause has a complete di...

d7686611a91db048f43c0be3b4ffec295de6c623 authored almost 12 years ago

Fix MIME type format.

453e6fcdd3bab20a8b93ffac624ddacef55c90d8 authored almost 12 years ago

Remove “xor” proposal.

eb3820f417adc26ba684a43188c5b011a3aecc32 authored almost 12 years ago

Add local variable with the “let” keyword.

A local variable is a contract variable, it does not represent a data of
the program (class attr...

af13e47350ad298432aef013e590e8ad1292b543 authored almost 12 years ago

Integerpp has been moved to Natural.

f9b766ceefeb3c996df7e7758ae878b9bf5b22f7 authored almost 12 years ago

Stop to readline on EOF.

Add the short option .q to quit.

9f6490ca666f01f5c4e50a18faa1994b4e1460a4 authored almost 12 years ago

Remove a useless echo.

da19316b651c66ed01ea480582f7e4cbbdc6eefc authored almost 12 years ago

Add the interprete() method & praspel() function.

c63b23473f006b2d0edd501293b58d3982940938 authored almost 12 years ago

Add the getVariable() method.

It helps fluid calls, such as:

$specification->getClause('requires')
->ge...

ee13ce70bc01025e873351486d90bd69ba7ece47 authored almost 12 years ago

Add the “accepted” token.

It helps to recognize an invalid escape character, such as: Foo\Bar\Baz,
which is equivalent to ...

43f4ab7d0e7e17fb35ef9b64172fda1d73ef457e authored almost 12 years ago

Update usage.

828df3699a17085da4882c764df663ce773cc25a authored almost 12 years ago

Add .Mime file.

20557eaaeb02d7e8b967a9f999ecf7d8480d2cac authored almost 12 years ago

Remove the “class” rule (useless for now).

ac5c0c83e867712b4c94c253121b02087858a8bf authored almost 12 years ago

Escape tokens.

80fc59dbdb0771c509a870751fd85cc4b106b267 authored almost 12 years ago

Update API documentation.

eaa388e022962ee6b639b2fb65c1212c15f93a4b authored about 12 years ago

Happy new year \o/.

cac81b37bf1935852ca7a3a1fb8abbda8d3c4d39 authored about 12 years ago

Add autocompleter on realistic domain names.

c2c423a7a42ae060947b9e014309ae48d63a8086 authored about 12 years ago

Simplify code. #mania

a722f62162f035e92f908b10b02592543d2caadb authored about 12 years ago

.v[ariables] print Praspel representations.

155ffa5dad513adaade2ea4e6c41f2808427cea1 authored about 12 years ago

Set holder on disjunction.

e47d09ad6395efe226b9757c0465028729c4ab82 authored about 12 years ago

Propagate constraints each time we got a new one.

8c99caaa0f6c215ab4efc1c2e6a5389fd2f9fa20 authored about 12 years ago

Use \ArrayIterator instead of \ArrayObject.

02449c063ed21b60d8e19065d90e27469df2b626 authored about 12 years ago

Implement \Hoa\Realdom\IRealdom\Holder interface.

2c5d61443f0650bfb70df310c7522d0f45c86806 authored about 12 years ago

Better variable identifiers handling.

73e34fffa1bbb2f5ac8ccdccea6900edfd7982c7 authored about 12 years ago

Add getId() and _getId() methods.

9c6f176e225620010168bd3b0e00eba834074949 authored about 12 years ago

Add variable in realdom arguments support.

22fa6e5f8f73e283e98c95b64f1d97f5c1ad0172 authored about 12 years ago

Allow variables in realdom arguments.

Also, prefix clauses tokens by “at_”.

c600c7f731c50442a5b2b9254358a9f85d4f44e4 authored about 12 years ago

Welcome to the interactive Praspel shell \o/.

b2b6ddd2703fd4df29d8726ec044fd7edffe40c7 authored about 12 years ago

Add the reset() and a temporary fix.

669a6f97a1a2814870f488fa90628ff0757133b0 authored about 12 years ago

Add the getClause() method.

Useful when making an endless interpreter.

2b1f93c291a731797bed28d2cdc112e0a21bd40a authored about 12 years ago

Hoa\Realdom API has changed, update the code.

c1bdbf7e5773d0a07c6523c9cbe095fa98380d77 authored about 12 years ago

Welcome to Hoa\Praspel \o/!

a2430d429c689656655970f697d8350dd1539527 authored about 12 years ago

Prepare the Hoa\Praspel repository

4b5e99f5003b30d98a7c5f74c3d02b33901af136 authored about 12 years ago