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.03Jul29Jun2131May262415Mar28Feb271387326Jan2523191813119845Dec129Nov75Sep2130Aug27Jul2522212018121183129Jun2322212014131098131May30252420191129Apr1914631Mar9216Feb29Dec28171621Nov181422Oct212016141211876520Sep1292131Aug27235231Jul30292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb26test: fix testing scripttest: remove the adcency matrix from -lcd as it is uselesstest: add a Sierpinski triangle generation based on cellular automataAdded ring.dot for testingAdded makefileFunctionnal BFSUpdated rapporttest: use State.t instead of 'st intest/skeleton/ to ease the life of Ocaml beginnerstest: run-kind2.sh now exits in error when kind2 does.test: run kind2 test via the run-kind2.sh + dont hardcode the daemontest: generate ghosh dot files + code refactoringJournal de bord + algorithme d'entrainement (unison + coloring + début bfs)test: put the distance in the generated oracles toorefactor: clean, rename, reindenttest: add ghosh in the set of salut nonreg testnew: add the distance matrix (int^n^n) in the salut generated codetest: add the Ghosh mutual exclusion algo in sasa/test/ and salut/sasa/test/ci: track a missing filev4.13.0v4.13.0test: fix an expected resultfix: add a comment related to a fix that has actually been done in sha:0e839a561fc768686aa3810880perf: fine-tune the local search in the provided exemplesfeat: add 2 new CLI options: --es-bfs and --is-no-taburefactor: renaming, cleaning, documentingfix: use the new rdbg-session files naming convention in rdbgui4sasafeat: add a --greedy-deterministic-central daemonfeat: add a --es-dont-cut option, that unactivates B&B during ESsasa/test/st-KK-algo1: put the potential function in its own filetest: change the state scan/parse conventions so that it is compatiblev4.12.0v4.12.0delete outdated stufffix : a typo (that broke the sue of rdbg with sasa!)test: update the gm tests (because of the new default behavior wtr max step numbertest: 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-algo1
Loading