MCLF / mclf / 397b3bfb-3d2f-4cbd-a8cc-3fe5265672f6

Builds Branch Commit Type Ran Committer Via Coverage
397b3bfb-3d2f-4cbd-a8cc-3fe5265672f6 master Update smooth_projective_curves.py Pull #125 GitHub circle-ci pending completion   set done
4fc0489d-2cf7-4116-985a-8d86ebc965c2 master Merge pull request #123 from MCLF/improve_piecewise_affine_functions push GitHub circle-ci pending completion   set done
4b78a742-386a-4aaf-844f-7db0c2627129 improve_piecewise_affine_functions Some small changes: push swewers circle-ci pending completion   set done
5d66f479-edb8-4cee-a679-7e8607d7333a master Merge pull request #122 from MCLF/fix_bug push GitHub circle-ci pending completion   set done
7e70d5ca-6eb7-4ffa-b845-5e9458aa328c fix_bug Fixed bug in `infimum` Pull #122 swewers circle-ci pending completion   set done
1cfb65d6-14df-49d8-a07f-a1f553b3c5b7 master Merge pull request #121 from MCLF/fix_documentation push GitHub circle-ci pending completion   set done
e313aa47-359f-4748-ba68-919fbfa58149 fix_documentation Fix the documentation Pull #121 swewers circle-ci pending completion   set done
ab08af4f-5222-46c1-a5bf-bd75caaaa862 master Merge pull request #119 from MCLF/fix_valuation_from_discoid push GitHub circle-ci pending completion   set done
98bf7500-28df-47e0-8435-cd58e14cf9b6 fix_valuation_from_discoid Merge branch 'master' into fix_valuation_from_discoid Pull #119 swewers circle-ci pending completion   set done
5bdc3545-be7a-456d-8cc3-945990f15608 master Merge pull request #120 from saraedum/coding push GitHub circle-ci pending completion   set done
0fdf54e7-2270-43b2-863a-87d8a0ae3fde coding Fix encoding issues Pull #120 Julian Rüth circle-ci pending completion   set done
1659 master Merge pull request #118 from MCLF/python3 push GitHub circle-ci pending completion   set done
1655 python3 Coerce initial value into QQ Pull #118 Stefan Wewers circle-ci pending completion   set done
1648 master Merge pull request #117 from MCLF/improve_curves push GitHub circle-ci pending completion   set done
1631 improve_curves Fixed some small bugs push Stefan Wewers circle-ci pending completion   set done