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.030Jul292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912May1127Apr10618Mar171413121096527Feb2619149876331Jan30272220132Dec127Nov201431Oct242317141198730Sep2518619Jul181715121110985432128Jun262524232120191817141312117654330May2928272423171615149330Apr2128Mar27Fixed bnb_mod inconsistencies on result order and fixed small greedy bugPrepared simu on toy example : made toy example two_algo that supports automatic sasa simulationSimu resultsFiles for more automated testsSimu resultsRemoved filelock dependencyUpdate dijkstra ring expected rifUpdate dijkstra ring expected rifFiles to help automating testsFinished bnb_mod. bnb and diamond2 are not working properlytest: add an example to illustrate the use of lurette coveragerefactor: add a legitimate input argument to generated oracles (and sasa outputs)Renamed rejoin to tabou and recuit to annealingtest: fix the previous commitImplementation recuit simulé, changed dijkstra worst case potential, maintenancetest: the coloring algo is for non-directed graphs only!test: add a generic rule to generate directed ringsfix: raise an error when Algo.diameter is called on a non-connected graphv4.5.4v4.5.4fix: allow dot files to start with a relative pathv4.5.3v4.5.3build: fix opam packageci: use the main verimag repov4.5.2v4.5.2perf: remove useless copy of process states (/10 memory on some examples!)test: strengthen test in dfs (golden master copy)build: enhance opam fileImplemented a module based BnBRenamed parse to readImplemented Greedy and worst case initialization for dijkstraFinished a first version if wib step by step systemRenamed wib2 to wibChanged the results of dijkstra ring's test and reverted the order of the ring back to normalbuild: use another semantic-release toolImplemented dijkstra's potential (and reverted the order of the dijkstra-ring/ring.dot nodes)Made from rejoin an explorer that recognizes and factorize duplicate statesAdded a exhaustive explorer where each state know their best sub-executionImplemented a depth first search kind of Branch and Bound without initial execution and without smart choice of next stateChanged SasaExplore.Build so it remembers the progress during the execution (had an issue with the 'v type)Chore: rename some type aliasesFix: make the behavior of rdbgui4sasa more sensibleCreated wib2 which has the same api than SasaExplore, and that uses SasaExplore's ExplorersFinished implementing exploration inside SASA.