Commits · 50255d753c93195b2118e1c1e1677d59e0becf19 · verimag / synchrone / sasa

Feb 06, 2020
- 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
- Update: print the step number in --no-log mode (otherwise, it is frustating) · 88b6e7bd
  erwan authored 5 years ago
  
  2.14.1
  
  88b6e7bd
- Doc: track the odoc generate html files instead of generating them in the CI · d1b7972e
  erwan authored 5 years ago
  
  Because currently, the docker image that builds the pages via the CI can not run odoc as it require a more recent dune version. It is because this image used opam 1 using opam 2 would fix this. will do latter
  d1b7972e
- Chore: merge the change of Karine · 16879afe
  erwan authored 5 years ago
  
  2.14.0
  
  16879afe
- Test: add calls to rdbg in the non-reg tests · f69b093b
  erwan authored 5 years ago
  
  f69b093b
- New: add a --no-data-file · bec863f0
  erwan authored 5 years ago
  
  bec863f0
- update: add type ' state state_init_fun · 8dd0f762
  Karine Altisen authored 5 years ago
  
  2.13.4
  
  8dd0f762