d-plaindoux / thicket / 418

Builds Branch Commit Type Ran Committer Via Coverage
418 master Improve type display push d-plaindoux travis-ci pending completion   set done
417 master Add trait - compilation done - optimization must be done - more tests required push d-plaindoux travis-ci pending completion   set done
416 master Add filter to monadic model push d-plaindoux travis-ci pending completion   set done
415 master Add more tests push d-plaindoux travis-ci pending completion   set done
414 master Review unification process push d-plaindoux travis-ci pending completion   set done
413 master Review derivation - model is the only type accepted push d-plaindoux travis-ci pending completion   set done
412 master Review README push d-plaindoux travis-ci pending completion   set done
411 master Review doc and README push d-plaindoux travis-ci pending completion   set done
410 master Class derivation - in progress push d-plaindoux travis-ci pending completion   set done
409 master Extend importation to operators push d-plaindoux travis-ci pending completion   set done
408 master Review strict application - force parameter evaluation push d-plaindoux travis-ci pending completion   set done
407 master Review range library push d-plaindoux travis-ci pending completion   set done
406 master Fix issue related to error management push d-plaindoux travis-ci pending completion   set done
405 master Review typechecker + adapter - optimization and generalization push d-plaindoux travis-ci pending completion   set done
404 master Review Thicket libraries push d-plaindoux travis-ci pending completion   set done