Commit History

Author SHA1 Message Date
  Leo a534dc3551 Merge branch 'dev' 2 years ago
  Leo e791990df3 Version 0.3.0-rc1 2 years ago
  Leo 6ad8120fd3 Clean-up indentation using fix-indent.ml script 2 years ago
  Leo 2be80fd086 Add disable status in state 2 years ago
  Leo 955feb0b41 Clean up status code 2 years ago
  Leo 9b349b9f64 Allow to disable auto-launch 2 years ago
  Leo 2fe6decbae Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev 2 years ago
  Leo 59a6cb38fa Add benchmark to chose between S-Expressions and JSON for rc file 3 years ago
  Leo 7c96c01982 Clean up Messages code 2 years ago
  Leo d6207e9bce Clean-up lock module 2 years ago
  Leo 79180547d8 Clean-up default file 2 years ago
  Leo 4e2432561c Typo 2 years ago
  Leo 579bb0f7ac Typo 2 years ago
  Leo 381e2675a6 Run fix-indent.ml script 2 years ago
  Leo 01249c2446 Check and fix indentation of fix-indent.ml script 2 years ago
  Leo d066fe0c95 Stop using tree command in fix-indent script 2 years ago
  Leo 14efd32b88 Typo 2 years ago
  Leo d8a68725ee Clean up dev configuration file 2 years ago
  Leo 01b6a56f7b Update TODO 2 years ago
  Leo 4859e426c0 Improve messages and clean command 2 years ago
  Leo e542a016d1 Update TODO 2 years ago
  Leo 141b1011fa Remove dubbled entries when adding entries 2 years ago
  Leo 488b0bc147 Change order of added entries 2 years ago
  Leo 0e5b0d4c34 Add entries when importing, instead of remplacing 2 years ago
  Leo 6d1588cc08 Improve spying expression 2 years ago
  Leo d042fc9401 Code clean-up: fix some warning of the compiler 2 years ago
  Leo c432345115 Choose color more adapted to both white and black background 2 years ago
  Leo 21b9d2400f Stop using biniou format for tmp file 2 years ago
  Leo 07a635bc51 Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev 2 years ago
  Leo c36a3807b6 Add benchmark to compare biniou format and bin_prot one 2 years ago