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.026May222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar2726222018171514131110987Merge branch 'toy-example-guillaume' into 'master'Toy example (Guillaume)Update: some rdbgui4sasa enhancementsNew: add a "restart with new seed" button to rdbgui4sasaUpdate: Add a Seed.reset functionAdd grid microbenchmarkChore: put all the seed handling in a dedicated module (so that I can use it in rdbgui)Fix: the forward and backward rounds with salutMove test clique back to 3 nAdd Makefile rules to run the heuristic daemons.toy-example-gui…toy-example-guillaumeMerge branch 'master' into toy-example-guillaumeAdd the url of the paperTest bigger topologiesFix daemon predicatesRemove wrong/redundant assertsFix READMEa bigger dot for simu experimentAdd a simu.lus file to perform simulation measures.Update: take advantage of the new rdbg mv_hook Exit event for more robustness4.4.04.4.0The coloring properties are proved for clique3, but timeout for dice5Add a generic rule to ease the proof lanuchingFix: the locally central daemon is also a central daemonFix: the central_demon missed a parameterChange sligthly the naming conventions so that rdbgui4sasa works with salut outputNew: rdbgui4sasa now handles salutExpérimentation avec le toy exampleUpdate: take advantage of the new mv_hook event (rdbg 1.191) to be more general4.3.314.3.31Fix: the rdbgui4sasa was not quite rigth. Now it seems to work.4.3.304.3.30Merge branch 'daemon-gui' into 'master'4.3.294.3.29Choredaemon-guidaemon-guiRefactoringRefactoringImplement the automatic locally central daemonImplement the automatic distributed daemon (and fix the automatic synchronous one)Implement the automatic Central daemonAdd a 2 chronogram viewer buttonsRefactoringHide some buttons in some modes when they are useless (e.g., step button in Manual mode)Only display custum mode buttons if sasa uses -custdRename the gui file
Loading