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.011Oct4Sep21Jul1110329Jun2131May262415Mar28Feb271387326Jan2523191813119845Dec129Nov75Sep2130Aug27Jul2522212018121183129Jun2322212014131098131May30252420191129Apr1914631Mar9216Feb29Dec28171621Nov181422Oct212016141211876520Sep1292131Aug27235231Jul30292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413test: exit in error if kind2 is not installedbuild: well, optionnal deps are actually not installed. put them backbuild: some opam deps are actually not completely necessaryAjout fichier pour compiler clusteringdelmedir.entrai…delmedir.entrainementRapport technique et journal de bord à jours + Fix initialisation aléatoire des process pour le clusteringupdate journal de bord + k-clustering foncionnelci: fix the opem test rule (wrt opam depext)test: (re-) add the wolfram-cellular-automaton (was sierpinski)test: add the Hoepman ring orientation algorefactor: rename the sierpinski dir into wolfram-cellular automatonrefactor: add a ref for the Sierpinski algoci: track a file used in the non-reg teststest: the order of variables in to_state (<dir>_oracle.lus) should betest: 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 file
Loading