Suzanne Soy
|
31fb17fb7c
|
Renamed main branch
|
2021-04-04 07:23:17 +01:00 |
|
Suzanne Soy
|
96070f02de
|
Turn off coverage in older versions
|
2021-03-05 04:14:36 +00:00 |
|
Suzanne Soy
|
34927d13f6
|
Fixed syntax
|
2021-03-04 21:31:57 +00:00 |
|
Suzanne Soy
|
e1f58aaa0f
|
Changed my name :)
|
2021-03-04 20:38:21 +00:00 |
|
Georges Dupéron
|
976b85d9c6
|
Updated Racket versions in .travis.yml
|
2019-04-24 22:23:59 +02:00 |
|
Georges Dupéron
|
e1166931ad
|
The tests show an incompatibility with Racket 6.6, drop support for that version
|
2018-06-03 19:38:44 +02:00 |
|
Georges Dupéron
|
2db0611128
|
Fixed raco test command (-x -> -r)
|
2018-05-31 19:54:53 +02:00 |
|
Georges Dupéron
|
99a3266674
|
Updated maintenance badge for 2018
|
2018-01-27 13:26:12 +01:00 |
|
Georges Dupéron
|
0c037b6810
|
Typos
|
2017-12-05 19:32:05 +01:00 |
|
Georges Dupéron
|
fd34baf83d
|
Added short overview to the documentation.
|
2017-12-05 00:46:45 +01:00 |
|
Georges Dupéron
|
6c350a6a96
|
Fixed use of defproc
|
2017-12-05 00:33:11 +01:00 |
|
Georges Dupéron
|
b6048fa86c
|
Docs explaing the use case, and the (function-based) implementation
|
2017-12-05 00:25:59 +01:00 |
|
Georges Dupéron
|
fe081f9ddf
|
Changed badge URL to CodeCov
|
2017-04-21 14:02:48 +02:00 |
|
Georges Dupéron
|
a28563446f
|
Updated description
|
2017-04-20 20:48:01 +02:00 |
|
Georges Dupéron
|
311d0ef9c4
|
Do not provide worklist-function directly, only provide the wrapper macro.
|
2017-04-20 19:54:33 +02:00 |
|
Georges Dupéron
|
db1a438d90
|
Removed WIP mention from README file
|
2017-04-20 18:32:22 +02:00 |
|
Georges Dupéron
|
2bead71e16
|
Moved implementation to main.rkt (part 2: update) + documentation
|
2017-04-20 18:31:35 +02:00 |
|
Georges Dupéron
|
5b5bbc3a1f
|
Moved implementation to main.rkt (part 1: rename)
|
2017-04-20 18:31:22 +02:00 |
|
Georges Dupéron
|
8499defa8a
|
Renamed worklist → worklist-function and work → worklist
|
2017-04-20 14:55:14 +02:00 |
|
Georges Dupéron
|
679f6f1783
|
Cleanup.
|
2017-04-19 20:31:52 +02:00 |
|
Georges Dupéron
|
b0532aa52e
|
Added maintenance badge (2017)
|
2017-04-19 20:22:07 +02:00 |
|
Georges Dupéron
|
afe3470339
|
Cleanup
|
2017-04-15 02:13:00 +02:00 |
|
Georges Dupéron
|
b5f611beb5
|
Now worklist handles duplicate elements correctly
|
2017-04-14 21:14:50 +02:00 |
|
Georges Dupéron
|
53ac33f9d9
|
Intersection types are present only in Racket versions 6.6 and above
|
2017-04-13 19:12:37 +02:00 |
|
Georges Dupéron
|
eacc4fdc75
|
Updated README
|
2017-04-13 19:11:54 +02:00 |
|
Georges Dupéron
|
6c8925c1ee
|
Added missing dependencies
|
2017-04-13 18:45:23 +02:00 |
|
Georges Dupéron
|
e9089b872c
|
Initial commit
|
2017-04-13 18:37:37 +02:00 |
|