Commits · 1460df0e0eea2bdd43b26919176d893354e86099 · verimag / synchrone / sasa

Feb 07, 2020
- CI: add a missing file · 1460df0e
  erwan authored 5 years ago
  
  2.14.18
  
  1460df0e
- Test: yet another bfs spanning tree construction (ss-KK06-algo2) · 1dfcc16d
  erwan authored 5 years ago
  
  1dfcc16d
- Test: yet another bfs spanning tree construction · 3fdda0f4
  erwan authored 5 years ago
  
  3fdda0f4
Feb 06, 2020
- Fix: the variables could not be named as Boolean values in Steate printer (e.g., f was forbidden) · b49129fb
  erwan authored 5 years ago
  
  b49129fb
- Test: yet another bfs spanning tree construction · 91a8c77c
  erwan authored 5 years ago
  
  91a8c77c
- test: add a new spanning tree construction algorithm · 68163d12
  erwan authored 5 years ago
  
  2.14.17
  
  68163d12
- Update: write all sasa error msgs on stderr · 50255d75
  erwan authored 5 years ago
  
  50255d75
- test: do not hard code the degree in algo · 2382ba69
  erwan authored 5 years ago
  
  2382ba69
- Update: add a neighbor printer (for ocamldebug) · 4f178355
  erwan authored 5 years ago
  
  4f178355
- Chore: more paths to sources in the .merlin · 561ddb95
  erwan authored 5 years ago
  
  561ddb95
- Chore: add useful files in skeletons · 23a4862b
  erwan authored 5 years ago
  
  23a4862b
Feb 03, 2020
- Fix: in generated oracles, use an and pn instead of their values everywhere · d8f7683c
  erwan authored 5 years ago
  
  d8f7683c
Jan 31, 2020
- Chore · d31d6f81
  erwan authored 5 years ago
  
  2.14.16
  
  d31d6f81
- Fix: a spelling error in the generated oracles (adjacency/adjency) · 4fd77fe0
  erwan authored 5 years ago
  
  4fd77fe0
Jan 30, 2020
- Doc: add a link to vtt (verimag tools tutorials), plus some enhancements · 3e97747d
  erwan authored 5 years ago
  
  3e97747d
Jan 27, 2020
- docker: fix the test on the docker distribution · 716d608a
  erwan authored 5 years ago
  
  2.14.15
  
  716d608a
- Doc: some precisions on the install process · d71a3214
  erwan authored 5 years ago
  
  d71a3214
- test: use the rdbg 1.187.1 new online help mechanism · 0fe60af2
  erwan authored 5 years ago
  
  2.14.14
  
  0fe60af2
Jan 22, 2020
- test: add a bigger grid (10x10) · c1e03a15
  erwan authored 5 years ago
  
  c1e03a15
- Update: rename demon into daemon everywhere (for consistency) · 949ae275
  erwan authored 5 years ago
  
  2.14.13
  
  949ae275
Jan 20, 2020
- Doc: add labels to sections to get nicer url · da31d715
  erwan authored 5 years ago
  
  2.14.12
  
  da31d715
- Chore: enhance sasa warning messages · 02d7ebf7
  erwan authored 5 years ago
  
  02d7ebf7
Jan 13, 2020
- Docs: cp the poster image when building the doc in the CI · de2afd46
  erwan authored 5 years ago
  
  de2afd46
- Test: don't hardcode the degree in the example · 9088d93d
  erwan authored 5 years ago
  
  2.14.11
  
  9088d93d
- Update: some enhancements in the rdbg integration · 524b83e2
  erwan authored 5 years ago
  
  524b83e2
- Docs: add the poster into the user guides · c1533b10
  erwan authored 5 years ago
  
  c1533b10
Dec 02, 2019
- Doc: add a missing image · ab7c3b91
  erwan authored 5 years ago
  
  2.14.10
  
  ab7c3b91
- Doc: fix the doc generation · 16ed9889
  erwan authored 5 years ago
  
  2.14.9
  
  16ed9889
- CI: do not add the 1.2 opam repo · 79b44bd6
  erwan authored 5 years ago
  
  2.14.8
  
  79b44bd6
- The docker image ocaml/opam:ubuntu does not exist anymore · 865bd847
  erwan authored 5 years ago
  
  865bd847
Dec 01, 2019
- Test: various enhancements in the exemples · 45a971d0
  erwan authored 5 years ago
  
  45a971d0
- Test: add a print_sasa_event and use it by default · 7cd70503
  erwan authored 5 years ago
  
  7cd70503
- Doc: add a missing svg file · e7e48454
  erwan authored 5 years ago
  
  e7e48454
Nov 27, 2019
- Examples: add a 4x4 grid topology in the coloring dir · 36c1e523
  erwan authored 5 years ago
  
  36c1e523
Nov 20, 2019
- Fix: Topology.get_nb_link does not need the oriention of the graph · 5375aa41
  erwan authored 5 years ago
  
  Doc: Add some odoc generated html files to the rdbg section of the user guide
  2.14.7
  
  5375aa41
Nov 14, 2019
- Doc: more work on the user guide · 6b6f4c8b
  erwan authored 5 years ago
  
  2.14.6
  
  6b6f4c8b
Oct 31, 2019
- CI: Generate the _html dir before trying to copy it · b13d7994
  erwan authored 5 years ago
  
  2.14.5
  
  b13d7994
- Doc: some enhancements · f87bcf3c
  erwan authored 5 years ago
  
  also, use (back) the odoc make rule now the image has been updated
  2.14.4
  
  f87bcf3c
Oct 24, 2019
- Doc: the link to the odoc generated pages was not working · 23c04396
  erwan authored 5 years ago
  
  2.14.3
  
  23c04396
Oct 23, 2019
- Chore: fix the CI by avoiding to call odoc, which is unnecassary and broken on this docker image · 4f7f7091
  erwan authored 5 years ago
  
  2.14.2
  
  4f7f7091