d-plaindoux / thicket / 291

Builds Branch Commit Type Ran Committer Via Coverage
291 master Update README.md push d-plaindoux travis-ci pending completion   set done
289 master Finish tag abstraction and remove view concept. This one is replaced by tag and definitions push d-plaindoux travis-ci pending completion   set done
288 master Minor pretty printer improvement and monoid definition push d-plaindoux travis-ci pending completion   set done
287 master Tag directive compilation push d-plaindoux travis-ci pending completion   set done
286 master Fix thicket code issues push d-plaindoux travis-ci pending completion   set done
285 master Normalize names + minor refactoring push d-plaindoux travis-ci pending completion   set done
284 master Prepare adapters push d-plaindoux travis-ci pending completion   set done
283 master Tipo push d-plaindoux travis-ci pending completion   set done
281 master Krivine abstract machine in progress push d-plaindoux travis-ci pending completion   set done
280 master Krivine abstract machine in progress push d-plaindoux travis-ci pending completion   set done
279 master Update README.md push d-plaindoux travis-ci pending completion   set done
278 master Krivine abstract machine in progress push d-plaindoux travis-ci pending completion   set done
276 master Krivine abstract machine in progress push d-plaindoux travis-ci pending completion   set done
275 master Krivine abstract machine - in progress push d-plaindoux travis-ci pending completion   set done
274 master Remove old compiler push d-plaindoux travis-ci pending completion   set done