Skip to content
Snippets Groups Projects
Select Git revision
  • 11-add-lustre-oracles-to-all-examples-of-the-test-directory
  • 12-add-a-get_graph_attributes-function-to-the-sasa-api
  • 3-compute-the-graph-degree-diameter-etc
  • 3-compute-the-graph-degree-diameter-etc-2
  • 4-generate-random-graphs
  • 7-process-should-have-acess-to-their-identity
  • 8-add-weights-to-graphs
  • 9-take-into-account-the-initialisation-of-local-variables-done-the-dot-again
  • addVariables
  • daemon-gui
  • delmedir.entrainement
  • emile
  • find-worst-path
  • fp_hugo
  • fwp-tests
  • gwennan
  • hugo
  • hugo_rdbg_daemon
  • init-search
  • labri protected
  • v4.14.0
  • v4.13.2
  • v4.13.1
  • v4.13.0
  • v4.12.0
  • v4.11.0
  • v4.10.0
  • v4.9.0
  • v4.8.0
  • v4.7.1
  • v4.7.0
  • v4.6.1
  • v4.6.0
  • v4.5.9
  • v4.5.8
  • v4.5.7
  • v4.5.6
  • v4.5.5
  • v4.5.4
  • v4.5.3
40 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.08Feb76331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Chore: rework the gg and gg-deco help messagesChore: re-phrase the help messages2.15.02.15.0Update: the merged code now compiles!merge the Gwennan 4-generate-random-graphs branchNew: add graph attributes in the decorated graphCI: add a missing file2.14.182.14.18Test: yet another bfs spanning tree construction (ss-KK06-algo2)Test: yet another bfs spanning tree constructionFix: the variables could not be named as Boolean values in Steate printer (e.g., f was forbidden)Test: yet another bfs spanning tree constructiontest: add a new spanning tree construction algorithm2.14.172.14.17Update: write all sasa error msgs on stderrtest: do not hard code the degree in algoUpdate: add a neighbor printer (for ocamldebug)Chore: more paths to sources in the .merlinChore: add useful files in skeletonsFix: in generated oracles, use an and pn instead of their values everywhereChore2.14.162.14.16Fix: a spelling error in the generated oracles (adjacency/adjency)Doc: add a link to vtt (verimag tools tutorials), plus some enhancementsdocker: fix the test on the docker distribution2.14.152.14.15Doc: some precisions on the install processtest: use the rdbg 1.187.1 new online help mechanism2.14.142.14.14test: add a bigger grid (10x10)Update: rename demon into daemon everywhere (for consistency)2.14.132.14.13Doc: add labels to sections to get nicer url2.14.122.14.12Chore: enhance sasa warning messagesDocs: cp the poster image when building the doc in the CITest: don't hardcode the degree in the example2.14.112.14.11Update: some enhancements in the rdbg integrationDocs: add the poster into the user guidesDoc: add a missing image2.14.102.14.10Doc: fix the doc generation2.14.92.14.9CI: do not add the 1.2 opam repo2.14.82.14.8The docker image ocaml/opam:ubuntu does not exist anymoreTest: various enhancements in the exemplesTest: add a print_sasa_event and use it by defaultDoc: add a missing svg fileExamples: add a 4x4 grid topology in the coloring dirFix: Topology.get_nb_link does not need the oriention of the graph2.14.72.14.7
Loading