Commits · master · L. Wzukw / OcLaunch

Browse files

Dec 28, 2016
- Merge branch 'dev' · a534dc35
  Leo authored Dec 28, 2016
  a534dc35
- Version 0.3.0-rc1 · e791990d
  Leo authored Dec 28, 2016
  
  View commits for tag v0.3.0-rc1 v0.3.0-rc1
  e791990d
- Clean-up indentation using fix-indent.ml script · 6ad8120f
  Leo authored Dec 28, 2016
  
  6ad8120f
- Add disable status in state · 2be80fd0
  Leo authored Dec 28, 2016
  
  2be80fd0
- Clean up status code · 955feb0b
  Leo authored Dec 28, 2016
  
  955feb0b
- Allow to disable auto-launch · 9b349b9f
  Leo authored Dec 28, 2016
  9b349b9f
Dec 21, 2016
- Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev · 2fe6decb
  Leo authored Dec 21, 2016
  
  2fe6decb
- Add benchmark to chose between S-Expressions and JSON for rc file · 59a6cb38
  Leo authored Feb 07, 2016
  59a6cb38
Dec 17, 2016
- Clean up Messages code · 7c96c019
  Leo authored Dec 17, 2016
  7c96c019
Nov 27, 2016
- Clean-up lock module · d6207e9b
  Leo authored Nov 27, 2016
  
  d6207e9b
- Clean-up default file · 79180547
  Leo authored Nov 27, 2016
  79180547
Oct 31, 2016
- Typo · 4e243256
  Leo authored Oct 31, 2016
  
  4e243256
Oct 30, 2016
- Typo · 579bb0f7
  Leo authored Oct 30, 2016
  
  579bb0f7
Oct 26, 2016
- Run fix-indent.ml script · 381e2675
  Leo authored Oct 26, 2016
  381e2675
- Check and fix indentation of fix-indent.ml script · 01249c24
  Leo authored Oct 26, 2016
  
  01249c24
- Stop using tree command in fix-indent script · d066fe0c
  Leo authored Oct 26, 2016
  
  d066fe0c
- Typo · 14efd32b
  Leo authored Oct 26, 2016
  
  14efd32b
- Clean up dev configuration file · d8a68725
  Leo authored Oct 26, 2016
  
  d8a68725
Oct 25, 2016
- Update TODO · 01b6a56f
  Leo authored Oct 25, 2016
  
  01b6a56f
- Improve messages and clean command · 4859e426
  Leo authored Oct 25, 2016
  4859e426
- Update TODO · e542a016
  Leo authored Oct 25, 2016
  
  e542a016
- Remove dubbled entries when adding entries · 141b1011
  Leo authored Oct 25, 2016
  
  141b1011
- Change order of added entries · 488b0bc1
  Leo authored Oct 25, 2016
  
  488b0bc1
- Add entries when importing, instead of remplacing · 0e5b0d4c
  Leo authored Oct 25, 2016
  0e5b0d4c
Oct 23, 2016
- Improve spying expression · 6d1588cc
  Leo authored Oct 23, 2016
  
  6d1588cc
- Code clean-up: fix some warning of the compiler · d042fc94
  Leo authored Oct 23, 2016
  d042fc94
- Choose color more adapted to both white and black background · c4323451
  Leo authored Oct 23, 2016
  c4323451
Oct 22, 2016
- Stop using biniou format for tmp file · 21b9d240
  Leo authored Oct 22, 2016
  21b9d240
- Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev · 07a635bc
  Leo authored Oct 22, 2016
  
  07a635bc
- Add benchmark to compare biniou format and bin_prot one · c36a3807
  Leo authored Oct 22, 2016
  c36a3807
Oct 21, 2016
- Mark all dependencies as build ones, since we do not use it at runtime. · e1e823f9
  Leo authored Oct 21, 2016
  e1e823f9
Oct 20, 2016
- Fix opam file · 71299ecd
  Leo authored Oct 20, 2016
  71299ecd
- Fix ci · e5e42d30
  Leo authored Oct 20, 2016
  e5e42d30
Sep 11, 2016
- Typo · 6b614928
  Leo authored Sep 11, 2016
  
  6b614928
- Update .gitlab-ci.yml · 772f381c
  Leo authored Sep 11, 2016
  
  772f381c
Aug 31, 2016
- Remove atdgen dependency when building binary · e9b76315
  Leo authored Aug 31, 2016
  e9b76315
Aug 29, 2016
- Avoid warnnig 45 · 70513629
  Leo authored Aug 29, 2016
  70513629
- Rename constructor Error of Lock module · 8913f1aa
  Leo authored Aug 29, 2016
  8913f1aa
- Use ad hoc operator · 352c103f
  Leo authored Aug 29, 2016
  
  352c103f
Aug 28, 2016
- Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev · fe1c7902
  Leo authored Aug 28, 2016
  
  fe1c7902