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.017Aug22Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Make the lustre and lutin dependencies optional (as they actually are)4.2.74.2.7Add an example in unison of the use the rdbg_mv_hook to program daemon from rdbgMerge the fix done in master w.r.t. move numbersFix: rdbgui4sasa is part of the rdbgui4sasa opam package (which broke its opam install)4.2.64.2.6Build: the sasa opam package does not depend on lablgtk3 anymore4.2.54.2.5Build: split the sasa opma package to separate it fron rdbgui4sasa (and remove a dependancy on gtk3)4.2.44.2.4Fix: the move number was wrong! (I was counting the enabled instead of the activated!)Chore: 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 enhancements