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.020Jul18121183129Jun2322212014131098131May30252420191129Apr1914631Mar9216Feb29Dec28171621Nov181422Oct212016141211876520Sep1292131Aug27235231Jul30292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul18171512111098543modificate legitimate variable in verify.lus file and modificate verify.lus unison rangei functionSome change for make working salut OracleGen and add the read initial value in topologie in unisonFix some merge bug (I think) and ad coloring implementation with neigh typeadd central demon (need to be tested) + add random unsafe node (need to be test)fix some bugs and modificate kclustering for to_state function, new state.lus file, neigh type and fix some algo bugsfix: rdbgui4sasa "New Seed" button was wrong when a seed was setMerge branch 'fatou' into emileAdd neigh type (struct composed of state, reply and weight), add 3 new function for neigh type, add state.lus generation by salut, modificate unison,bfs-spanning-tree and rsp-tree (compare and kind2 work\!), add demon_is_valid function, a new constant (liste of neighbors number), modificate algo for the new to_state functionNew oracle for rsp-tree and rename variable in round.lusfix: make sure the dot graph is updated when the last step is reachedfix links and filesfix linkstrack topology files as they are currently edited by hand to deal withAdd to_state function and modificat oracle.lus in test directoryadd unisonadd bfs sptadd kclusteringmergingci: temporary fixci: lutin should be installed to run the testci: use the .opam file for building the git repoMerge branch 'master' of https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasatest: fix expected propertyMerge branch 'master' into emilea snapshot before mergingCompute rounds in the SUT, as in sasatest: update GM test exp filev4.7.0v4.7.0test: fix nonreg testtest: fix the k-clustering cost (since the digraph->rooted-tree move)test: use sasa round numbers in oraclesfix: do not increment the round counter at legit configAdd rsp-tree algo but kind2 isn't working and with weight at 1 and reply manually enter (tree4.lus)Add Bfs-spanning-tree algo but kind2 (verify) don't workround updateCleaner version of Unison and round update libadd the unison example, is legitimate state and the diameter constant.fix: rdbgui4sasa in salut modefeat: provide the rounds in sasa at each step (and so don't compute in rdbg anymore)Spring cleaningMerge branch 'optim-neigbors-update' into theo_w_optim