Commits · c19cd138a29cd3c04e5e0752cd0ab39938c1686d · verimag / synchrone / sasa · GitLab

Snippets Groups Projects

Feb 09, 2020
- Doc: some enhancements · c19cd138
  erwan authored 5 years ago
  
  c19cd138
- Chore: rework the gg and gg-deco help messages · f665f01b
  erwan authored 5 years ago
  
  2.15.1
  
  f665f01b
- Fix: in gg-deco, only the first pattern was taken into account · 6eefec00
  erwan authored 5 years ago
  
  6eefec00
Feb 08, 2020
- Chore: rework the gg and gg-deco help messages · d8a5dd34
  erwan authored 5 years ago
  
  d8a5dd34
Feb 07, 2020
- Chore: re-phrase the help messages · b1bf334f
  erwan authored 5 years ago
  
  2.15.0
  
  b1bf334f
- Update: the merged code now compiles! · a622266e
  erwan authored 5 years ago
  
  a622266e
- merge the Gwennan 4-generate-random-graphs branch · 6701c5ac
  erwan authored 5 years ago
  
  6701c5ac
- New: add graph attributes in the decorated graph · 47caee48
  erwan authored 5 years ago
  
  47caee48
- 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