d-plaindoux / thicket / 433

Builds Branch Commit Type Ran Committer Via Coverage
433 master Restore removed function push d-plaindoux travis-ci pending completion   set done
432 master Review linker in order to return linked items push d-plaindoux travis-ci pending completion   set done
431 master Review thicket code push d-plaindoux travis-ci pending completion   set done
430 master Review examples push d-plaindoux travis-ci pending completion   set done
429 master Unfolded type revisited push d-plaindoux travis-ci pending completion   set done
428 master Fix bug in the code generation process push d-plaindoux travis-ci pending completion   set done
427 master Review type representation for model, traits and controller push d-plaindoux travis-ci pending completion   set done
426 master Fix type in package name push Didier Plaindoux travis-ci pending completion   set done
425 master Review unification process / inclusion type when dealign with polymorphic types (no subtyping) push d-plaindoux travis-ci pending completion   set done
424 master Add Knuth operator push d-plaindoux travis-ci pending completion   set done
423 master Review linker and unification process related to trait push d-plaindoux travis-ci pending completion   set done
422 master Add trait sustitution and substitutions push d-plaindoux travis-ci pending completion   set done
421 master Fix package name push d-plaindoux travis-ci pending completion   set done
420 master Improve type checker push d-plaindoux travis-ci pending completion   set done
419 master Improve type display push d-plaindoux travis-ci pending completion   set done