Commits · 286b5c1a9be7c14c9d4dc242162da9d2cdcdeb5e · verimag / synchrone / sasa

Jun 17, 2021
- Chore: refactor the code to be able to provide the whole SimuState.t to Daemons · cc029128
  erwan authored 3 years ago
  
  4.6.0
  
  cc029128
- New: add dependencies graphs in guides/contributors · 803b8e99
  erwan authored 3 years ago
  
  803b8e99
Apr 02, 2021
- Chore: adapt the doc generation to the new docker image (emacs 25->26) · 8b6dea1f
  erwan authored 3 years ago
  
  8b6dea1f
Mar 10, 2021
- Minor fixes · 95ca37b3
  erwan authored 4 years ago
  
  95ca37b3
Dec 02, 2020
- Doc: fix a link (to the sasaVM.ova) · 84ef167b
  erwan authored 4 years ago
  
  4.3.19
  
  84ef167b
Dec 01, 2020
- Doc: add a link to the SSS'20 sasa tutorial · 029f479d
  erwan authored 4 years ago
  
  029f479d
Nov 18, 2020
- Doc: add the sasaVM password · 3fbea2da
  erwan authored 4 years ago
  
  4.3.17
  
  3fbea2da
Nov 12, 2020
- rdbg: redefine the behaviour of step and back-step to a more useful behavior for sasa · 957f29ba
  erwan authored 4 years ago
  
  4.3.13
  
  957f29ba
- Doc: add a screencasts section · b38eefde
  erwan authored 4 years ago
  
  4.3.12
  
  b38eefde
Nov 10, 2020
- Doc: explicit the 'make topology.cmxs' magic. · 31e571ed
  erwan authored 4 years ago
  
  31e571ed
Nov 09, 2020
- Doc: minors enhancements · e2328c64
  erwan authored 4 years ago
  
  e2328c64
Nov 04, 2020
- Doc: fix typo · 8981bfaa
  erwan authored 4 years ago
  
  4.3.10
  
  8981bfaa
Nov 03, 2020
- Doc: install preocess enhancement · 4247e31f
  erwan authored 4 years ago
  
  4.3.9
  
  4247e31f
- Doc: more enhancements · 4055fa4d
  erwan authored 4 years ago
  
  4.3.8
  
  4055fa4d
Nov 02, 2020
- Doc: enhancements · a4b9ac91
  erwan authored 4 years ago
  
  4.3.7
  
  a4b9ac91
Oct 29, 2020
- Test: include test/sasa-rdbg-cmds.ml in test/*/my-rdbg-tuning.ml files · b79db8ec
  erwan authored 4 years ago
  
  and git-track all of them
  b79db8ec
- Doc: add a td;dr subsection to the install one · df1fd008
  erwan authored 4 years ago
  
  4.3.6
  
  df1fd008
Oct 28, 2020
- Doc: some enhancements in the install section · a6897fae
  erwan authored 4 years ago
  
  4.3.5
  
  a6897fae
Oct 27, 2020
- rdbgui4sasa: add gnuplot as an external dep, and remove deps already in sasa · 99e6290d
  erwan authored 4 years ago
  
  99e6290d
- Doc: enhancements in the install section · beb4576b
  erwan authored 4 years ago
  
  beb4576b
Sep 28, 2020
- Update: add a --worst-central-daemon option (that uses the potential function) · 4d322400
  erwan authored 4 years ago
  
  4d322400
Sep 15, 2020
- Doc: update the CLI options lists · cdf64a92
  erwan authored 4 years ago
  
  cdf64a92
Sep 04, 2020
- Doc: fix pb due to orm footnote that are not handled properly · 37787b56
  erwan authored 4 years ago
  
  4.3.1
  
  37787b56
Sep 03, 2020
- Doc: typos · 5ba257a9
  erwan authored 4 years ago
  
  4.3.0
  
  5ba257a9
Aug 17, 2020
- Make the lustre and lutin dependencies optional (as they actually are) · 2c066d79
  erwan authored 4 years ago
  
  4.2.7
  
  2c066d79
Jul 10, 2020
- Build: the sasa opam package does not depend on lablgtk3 anymore · cbe5adce
  erwan authored 4 years ago
  
  Doc: mention the new rdbgui4sasa opam package
  4.2.5
  
  cbe5adce
Jul 09, 2020
- Doc: mention the Evil module in the contributors guide · ba926589
  erwan authored 4 years ago
  
  ba926589
Jun 25, 2020
- Doc: a few enhancements · 20174b01
  erwan authored 4 years ago
  
  20174b01
Jun 23, 2020
- Doc: a few enhancements · 4ab54d0d
  erwan authored 4 years ago
  
  4.2.3
  
  4ab54d0d
Mar 05, 2020
- Update: use 1 as default weight if none is set instead of rising an error. · 5daf53c9
  erwan authored 5 years ago
  
  5daf53c9
Feb 19, 2020
- Chore: add async-unison in the list of test · 8786bcac
  erwan authored 5 years ago
  
  8786bcac
Feb 14, 2020

Fix: when actions contain characters that cannot be used as ident, remove them. · 84a18208

erwan authored 5 years ago

Indeed,  the  generated  oracle  and daemons  were  not  syntactically
correct in such cases, e.g., if an action was named "I(p)".

84a18208

Feb 09, 2020
- Doc: some enhancements · c19cd138
  erwan authored 5 years ago
  
  c19cd138
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
- Doc: some precisions on the install process · d71a3214
  erwan authored 5 years ago
  
  d71a3214
Jan 22, 2020
- 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
Jan 13, 2020
- 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