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.027Feb1387326Jan2523191813119845Dec129Nov75Sep2130Aug27Jul2522212018121183129Jun2322212014131098131May30252420191129Apr1914631Mar9216Feb29Dec28171621Nov181422Oct212016141211876520Sep1292131Aug27235231Jul30292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan3027test: add a pseudo-potential function to test/async-unisontest: now that by default simu are not bouded, bound the gm testsAdd rules to generate star and hypercubes in test/Makefile.dotfix: try to catch ctrc-c signals (do not seem to work)fix: silent configurations are necessarily legitimatefix: during exhaustive searches, force a 0 potential for legit conffeat: add 2 options for exaustive searches: --es-dfs and --es-continue-when-best-sol-foundfix: a bug in Greedy deamons (some paths were not tried)test: add a potential function in st-KK06-algo1test: fix the toy exemple a5sf for random (rooted-tree) topologiesfeat: add 2 new CLI options: --es-abort-if-not-progressing and --es-no-tabutest: make sure rdbg tests exit with a code > 0 when failingfix: try harder to find a working pdf readerAdding of a forgotten symlink for test/fully-polylabrilabriMerge branch 'master' into labritest: add a few qtest testsv4.11.0v4.11.0test: clean old generated ml filesfeat: try to build the .cmxs (via make) in case of a dynlink errordoc: some enhancementsbuild: make sure that no topo.ml files lies aroundAdd non-ref tests and example of useuse dune instead of ocamlopt to build sasa simulation filesMerge branch 'master' into labrifeat: add a fault injection button in the GUIv4.10.0v4.10.0ci: add missing untracked filesv4.9.0v4.9.0test: fix the ugm_test ruleci: track missing filesci: track a missing filefeat: add the possibility to generate chain with ggnew: use dune to build the algo cmxs (requires rdbg >= 1.200)Minor corrections (including a bug in step_f, rule P)remove a empty fileVersion 1 de l'algo fully-polynew: add the possibility to have external filesfix: inject only one faultfix: truncate info displayed in dot outputnew: add a --gen-dot-at-legitbuild: not it works with kind 1.6build: current does not work with ocaml 5 (because of functory)build: should not depend on emacs
Loading