The unpac monorepo manager self-hosting as a monorepo using unpac
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #144 from backtracking/143-neato-pinned-pos

Graphivz: added PosPinned to NeatoAttributes.vertex

authored by

Jean-Christophe Filliatre and committed by
GitHub
96d146d9 1639dc46

+6
+1
vendor/opam/ocamlgraph/CHANGES.md
··· 1 1 2 + - [Graphviz]: added `PosPinned` to type `NeatoAttributes.vertex` 2 3 - [Oper]: improved efficiency of `intersect` 3 4 (#136, reported by Ion Chirica) 4 5 - [Path.Check]: improved efficiency with a better use of the cache
+3
vendor/opam/ocamlgraph/src/graphviz.ml
··· 887 887 [ CommonAttributes.vertex 888 888 | `Pos of float * float 889 889 (** Initial coordinates of the node. *) 890 + | `PosPinned of float * float 891 + (** Initial coordinates of the vertex, pinned. *) 890 892 ] 891 893 892 894 (** Attributes of edges. They include all common edge attributes and ··· 922 924 #CommonAttributes.vertex as att -> 923 925 CommonAttributes.fprint_vertex ppf att 924 926 | `Pos (f1, f2) -> fprintf ppf "pos=\"%f,%f\"" f1 f2 927 + | `PosPinned (f1, f2) -> fprintf ppf "pos=\"%f,%f!\"" f1 f2 925 928 926 929 let fprint_edge ppf = function 927 930 #CommonAttributes.edge as att -> CommonAttributes.fprint_edge ppf att
+2
vendor/opam/ocamlgraph/src/graphviz.mli
··· 471 471 [ CommonAttributes.vertex 472 472 | `Pos of float * float 473 473 (** Initial coordinates of the vertex. *) 474 + | `PosPinned of float * float 475 + (** Initial coordinates of the vertex, pinned. *) 474 476 ] 475 477 476 478 (** Attributes of edges. They include all common edge attributes and