Commits · v1.200.3 · verimag / synchrone / rdbg · GitLab

Snippets Groups Projects

Apr 08, 2025
- fix: the generated version number was wrong for guix · c2abe4ef
  erwan authored 3 weeks ago
  
  View commits for tag v1.200.3 v1.200.3
  
  c2abe4ef
- fix: the generated version number for opam was wrong · be6c38bc
  erwan authored 3 weeks ago
  
  View commits for tag v1.200.2 v1.200.2
  
  be6c38bc
- fix: the version number on non-git install · 3cd884bb
  erwan authored 3 weeks ago
  
  View commits for tag v1.200.1 v1.200.1
  
  3cd884bb
Mar 21, 2025
- test: remove dune tests that cannot work before install · 400d8bdf
  erwan authored 1 month ago
  
  400d8bdf
Mar 14, 2025
- update lutin and rif el mode · 37e789ab
  erwan authored 1 month ago
  
  37e789ab
- test: add dune tests · de1135ae
  erwan authored 1 month ago
  
  de1135ae
Jan 19, 2024
- ci: update de node-js version for semantic-release · 27b9b35b
  erwan authored 1 year ago
  
  27b9b35b
Oct 16, 2023
- Use the oracle names to give a default name to the .cov file · 0d7301c6
  erwan authored 1 year ago
  
  0d7301c6
Jan 18, 2023
- ci: remove (for real!) a test that is meaningless in the CI · 0d1a2b4e
  erwan authored 2 years ago
  
  View commits for tag v1.200.0 v1.200.0
  
  0d1a2b4e
- feat: force a version change (the naming convention change deserve it) · f327c4c9
  erwan authored 2 years ago
  
  f327c4c9
- ci: remove a test that is meaningless in the CI · c2d4bec0
  erwan authored 2 years ago
  
  c2d4bec0
- ci: disable some tests (involving $DISPLAY) · be48e00d
  erwan authored 2 years ago
  
  be48e00d
- new: change generated files names to be compatible with dune conventions · 2f8cdcb2
  erwan authored 2 years ago
  
  my-rdbg-tuning.ml -> .my-rdbg-tuning.ml rdbg-cmds.ml -> rdbg-cmds.ml rdbg-session<i>.ml -> rdbg-session<i>.ml luretteSession<i>.ml -> luretteSession/luretteSession<i>.
  2f8cdcb2
Jan 12, 2023
- test: fix a test that only fails on the CI · 12288f2f
  erwan authored 2 years ago
  
  12288f2f
- test: fix a test that only fails on the CI · 3e550e34
  erwan authored 2 years ago
  
  3e550e34
- test: fix a test that only fails on the CI · dad8bdb3
  erwan authored 2 years ago
  
  dad8bdb3
- test: try to fix a test that only fails on the CI · c924cdfa
  erwan authored 2 years ago
  
  c924cdfa
Jan 11, 2023
- fix: do not exit in error when the rdbgwrap filtering failed · c652f11d
  erwan authored 2 years ago
  
  View commits for tag v1.199.2 v1.199.2
  
  c652f11d
Jan 08, 2023
- ci: upgrade the node.js docker image version · 81fd1bcd
  erwan authored 2 years ago
  
  View commits for tag v1.199.1 v1.199.1
  
  81fd1bcd
- fix: minor improvement · 13a3f0a2
  erwan authored 2 years ago
  
  13a3f0a2
Oct 28, 2022
- fix: a fake commit to protect the tgz used in the main opam repo · 7464c180
  erwan authored 2 years ago
  
  7464c180
Oct 27, 2022
- test: make sure to wait long enough batch mode (rdbg -in) · 67b87872
  erwan authored 2 years ago
  
  67b87872
Oct 26, 2022
- doc: minor enhancement · 17268740
  erwan authored 2 years ago
  
  17268740
Oct 18, 2022
- build: ledit is actually not necessary for rdbg to build fine · e4e87676
  erwan authored 2 years ago
  
  e4e87676
Jun 29, 2022
- ci : python is actually necessary for the opam tests · 7bf9276c
  erwan authored 2 years ago
  
  7bf9276c
- ci: use rdbg.opam to build the git repo · bd84c30d
  erwan authored 2 years ago
  
  View commits for tag v1.199.0 v1.199.0
  
  bd84c30d
- feat: remove (duplicated) input values at exit event for StdioRun · 8628c370
  erwan authored 2 years ago
  
  8628c370
Jun 20, 2022
- feat: in salut mode, start to count steps at 0 (as in sasa mode) · cb030d55
  erwan authored 2 years ago
  
  View commits for tag v1.198.0 v1.198.0
  
  cb030d55
May 25, 2022
- feat: interpret "wait <int>" commands in --input scripts for RP that terminates too fast. · 5764ddef
  erwan authored 2 years ago
  
  View commits for tag v1.197.0 v1.197.0
  
  5764ddef
- test: interpret "wait <int>" commands for --input scripts with RP that terminates too fast. · 737941f4
  erwan authored 2 years ago
  
  737941f4
Mar 16, 2022
- fix: previous change was a fix, not a build (force semantic versionning to work) · 4dc5affb
  erwan authored 3 years ago
  
  View commits for tag v1.196.17 v1.196.17
  
  4dc5affb
- build: fix the version number on the opam version · 8230d92e
  erwan authored 3 years ago
  
  8230d92e
Oct 22, 2021
- ci: fix · 942f82ce
  erwan authored 3 years ago
  
  942f82ce
- ci: upgrade the semantic version docker image · 6efad555
  erwan authored 3 years ago
  
  View commits for tag v1.196.16 v1.196.16
  
  6efad555
- fix: do not run the session too soon to let one set the seed before · 57020104
  erwan authored 3 years ago
  
  57020104
- build: fix the version number in opam packages · 54adb473
  erwan authored 3 years ago
  
  54adb473
Jul 13, 2021
- fix: when one RP terminates gently, do not exit with a >0 error code · 1d112e4b
  erwan authored 3 years ago
  
  View commits for tag v1.196.15 v1.196.15
  
  1d112e4b
- ci: fix the test_opam_test job · eb7f03cd
  erwan authored 3 years ago
  
  eb7f03cd
- build: fix the opam install on ocaml <= 4.10.0 · aaee1e18
  erwan authored 3 years ago
  
  aaee1e18
Jul 09, 2021
- build: change the opam packing process to be able to overide a version · 03c71ab9
  erwan authored 3 years ago
  
  03c71ab9