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.08Apr422Mar1527Feb211513919Jan5Dec17Oct114Sep21Jul1110329Jun2131May262415Mar28Feb271387326Jan2523191813119845Dec129Nov75Sep2130Aug27Jul2522212018121183129Jun2322212014131098131May30252420191129Apr1914631Mar9216Feb29Dec28171621Nov181422Oct212016141211876520Sep1292131Aug27235231Jul30292827232219132130Jun28252322181716151411109874331May282726222120191816151413121110987654229Apr26242116129865229Mar2725242221111029Feb8Dec742118Nov121110943229Oct28271615141312876230Sep281615432131Aug272625242120181722Jul1098762125Jun23912Mayci: use Z3 instead of Bitwuzla (as it is not installed)ci: run-kind2.sh requires bctest: use Z3 instead of bitwuzla by defaultbuild: don't fail to include an untracked filefix: round number was wrong + a pb when the init conf is legitimatetest: add a debug version of the oracletest: in dijkstra, use the same K as in the lustre versionrefactorbuild: remove ledit from the depopts (fails to install on mac/arm)test: refactor scriptstest: finish to implemement ring-orientation (legitimate)test: check for cycle-convergence in salut/testtest: various fix were needed because kind2 now ignore assertCompute the distance using the Floyd-Marshall algorithmfix: lv6 now checks if static args are present (even if unused)test: add fault injection functionstest: rename salut/test/kclustering (to be like test/k-clustering)test: add missing static args to oracles (now lv6 report such errors)new: add a -restart option to the cli, to use the fault functionfix: static args were missing in the generated oraclesrefactor: add some gospel commentsci: update de node-js version for semantic-releasetest: add the ring-orientation in the test suitetest: exit 2 in run-kind2.sh when kind2 fails to prove a propertyfix: for silent algo, the round output of test/lustre/round.lus was wrongtest: 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 useless