Georges Dupéron
|
8ff2a1d267
|
TR Bug in flexible-with-generalized-ctor.hl.rkt: typed-racket-lib/typed-racket/types/overlap.rkt:40:0: mask-accessor: contract violation expected: mask? given: #f
|
2017-05-12 01:08:02 +02:00 |
|
Georges Dupéron
|
0d36df9c1a
|
Auto-push to master successful builds on the dev branch.
|
2017-03-22 00:11:37 +01:00 |
|
Georges Dupéron
|
32ac4188a6
|
Remove older versions from Travis build, they seem to have issues with phc-graph/subtemplate-override and with some of the types used in thoughts.rkt
|
2017-01-18 00:25:06 +01:00 |
|
Georges Dupéron
|
7a264197ea
|
Re-enable building HEAD with Travis
|
2017-01-18 00:01:26 +01:00 |
|
Georges Dupéron
|
ff4c9e2403
|
Added 6.7 in Travis build
|
2017-01-04 20:24:32 +01:00 |
|
Georges Dupéron
|
3ae5e6bdaa
|
Remove -x option on raco test in .travis.yml, so that all modules are run, including those without a test submodule.
|
2016-10-11 00:23:46 +02:00 |
|
Georges Dupéron
|
4c84b1625d
|
Run Travis on 2 threads only, to avoid OOM when compiling phc-adt. Added and used check-equal?-values: form.
|
2016-10-03 01:29:53 +02:00 |
|
Georges Dupéron
|
1f395775ce
|
Build the hyper-literate document.
|
2016-10-03 00:04:29 +02:00 |
|
Georges Dupéron
|
e66684c070
|
Removed from Travis build the Racket versions which are not compatible with phc-adt.
|
2016-10-02 03:58:27 +02:00 |
|
Georges Dupéron
|
9a09370594
|
raco pkg new phc-graph
|
2016-08-17 14:09:56 +02:00 |
|