Mentions légales du service

Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • bug-report-parametricity
  • home-exchange
  • master default
  • cpp2019-submission
4 results
Created with Raphaël 2.2.011Nov109863131Oct30292827252422212019181716141110984318Sep16141311109853122Aug2023Jun22212019161413121110231May3029282725243Apr19Mar27Feb19Oct181615141312109875130Sep2826252423222119151312111098754331Aug30203231Jul292825242221201918171615131110987654328Jun2524232019188Apr10Mar97643127Feb2524232221201918171529Jan8765432129Dec2726252120161514133130Nov292217161587331Octfinished the big proofhome-exchangehome-exchangecheckpointtake benefit of cot'finished naive_boundary_triangles with the new statementcheckpointcheckpointcheckpointparts coming from triangles3.vbreaks proofs from triangles3.v into several filesmove proofs and definitions aroundcombinatory property with respect to edges and for the inside triangle casefinished proving the neighbor property when the new point is inside the hullproved that edges containing the new point have two neighbors, inside trianglefinished removing rot' from the developmentin the middle of removing rot' from the proofimproving the proof about of triangles adjacent to hull edgesfinished proving that every hull edge has a neighbor trianglecheckpointproving that edges of the convex hull are shared with a triangle.checkpointchanged the abstraction layer for convex hull enumerationmastermastercheckpointadapt to_ccw_system and runner to alpha-conversionalpha-conversion for better names in the articlegrouped surface properties in one sub-specificationremoved cc_fun, reordered map_system, renamed specificationsmakes the correctness statement simpleradds a final lineThe algorithm runs on a small example (6 points), using type Zmake functions in this file work for arbitrary typescleaned lines that are too longremove useless hypothesesNow with a complete proof of independence from the map implementationMake hull_from_result not depend on the size of the input or the contextmake that all pdf files are generatedmake git more silentmake git more silentthe presentation of axiom4 in svg format was missinga bibliography style file that is needed to reproduce the ICTAC extend abstractNow parametricity seems to work on pre_update, don't know why!