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.06Feb331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Update: 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.7Doc: more work on the user guide2.14.62.14.6CI: Generate the _html dir before trying to copy it2.14.52.14.5Doc: some enhancements2.14.42.14.4Doc: the link to the odoc generated pages was not working2.14.32.14.3Chore: fix the CI by avoiding to call odoc, which is unnecassary and broken on this docker image2.14.22.14.2Update: print the step number in --no-log mode (otherwise, it is frustating)2.14.12.14.1Doc: track the odoc generate html files instead of generating them in the CIChore: merge the change of Karine2.14.02.14.0Test: add calls to rdbg in the non-reg testsNew: add a --no-data-fileupdate: add type ' state state_init_fun2.13.42.13.4
Loading