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.010Jul98762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Chore: add comments in generated filesDoc: mention the Evil module in the contributors guideFix: the step number during fault injection was wrong + wrong nodes were enabledFix: Do not use fault injection with oracles in unisonFix: change the potential function inferface.Update: Call the fault function if provided when a legitimate configuration is reachedUpdate: Use the user-defined legitimate function if providedNew: add a ligitimate function in the Algo apiFix: the list of neighbors provided to the potential function was wrong.New: add a fault functions to the Algo (to inject fault when a legitimate configuratiuon is reached).Chore: generate doc for the master branch onlyFix: track the Step module, defined in the previous commit (result of the Main split)New: add support for daemons that use potential fonction to find worst case scenario.Chore: use less points in the coloring campaignDoc: a few enhancementsDoc: a few enhancements4.2.34.2.3chore: refactor dijkstra implementationCI:4.2.24.2.2CI: ocaml/opam2:ubuntu-18.04 (ocaml/opam2:ubuntu does not work anymore)CI: ocaml/opam2:ubuntu-18.04 (ocaml/opam2:ubuntu does not work anymore)Chore: minor changes in simca generated pdfCI: ocaml/opam2:ubuntu now requires sudo to use opam depext (?)CI: use the verimag-sync-tools docker image to run simca test (so that R is installed)Test: add a missing r script used in the simca programs set4.2.14.2.1Test: add 2 missing algo files in test/alea-coloring-alt, and fix a typo in tools/simca/MakefileFix: use a more recent npm node (to fix the release CI job)4.2.04.2.0Upgrade: node_modulesUpgrade: semantic-release-gitlab ahs been deprecated over @hutson/semantic-delivery-gitlabNew: add tools/simca, a set of Ocaml programs to automate SIMulations CAmpaignsChore: renaming dirsTest: Add 2 new randomized graph coloring examples4.1.24.1.2Chore: Refcatoring + Homogeneisation of the coloring algorithmsChore: generalising Makefile rules, doc enhancementsTest: give a name to the local state in test/unison4.1.14.1.1Update: minor enhancements w.r.t. the legitimate rdbg commandsCI: (opam) install labltgk3 to be able to compile rdbgui4sasa4.1.0 opam-rele…4.1.0 opam-releaseCI: (opam) install labltgk3 to be able to compile rdbgui4sasatest/examples: split test/my-rdbg-commands.ml into test/sasa-rdbg-cmds.ml and rdbg-cmds.mlNew: add a gtk3 UI over rdbg named rdbgui4sasaUpgrade: the rdbg package renamed Event into RdbgEvent