 Leo
|
d066fe0c95
Stop using tree command in fix-indent script
|
8 years ago |
|
Leo
|
14efd32b88
Typo
|
8 years ago |
|
Leo
|
d8a68725ee
Clean up dev configuration file
|
8 years ago |
|
Leo
|
01b6a56f7b
Update TODO
|
8 years ago |
|
Leo
|
4859e426c0
Improve messages and clean command
|
8 years ago |
|
Leo
|
e542a016d1
Update TODO
|
8 years ago |
|
Leo
|
141b1011fa
Remove dubbled entries when adding entries
|
8 years ago |
|
Leo
|
488b0bc147
Change order of added entries
|
8 years ago |
|
Leo
|
0e5b0d4c34
Add entries when importing, instead of remplacing
|
8 years ago |
|
Leo
|
6d1588cc08
Improve spying expression
|
8 years ago |
|
Leo
|
d042fc9401
Code clean-up: fix some warning of the compiler
|
8 years ago |
|
Leo
|
c432345115
Choose color more adapted to both white and black background
|
8 years ago |
|
Leo
|
21b9d2400f
Stop using biniou format for tmp file
|
8 years ago |
|
Leo
|
07a635bc51
Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev
|
8 years ago |
|
Leo
|
c36a3807b6
Add benchmark to compare biniou format and bin_prot one
|
8 years ago |
|
Leo
|
e1e823f9bb
Mark all dependencies as build ones, since we do not use it at runtime.
|
8 years ago |
|
Leo
|
71299ecdda
Fix opam file
|
8 years ago |
|
Leo
|
e5e42d305a
Fix ci
|
8 years ago |
|
Leo
|
6b6149280a
Typo
|
8 years ago |
|
Leo
|
772f381cd1
Update .gitlab-ci.yml
|
8 years ago |
|
Leo
|
e9b76315c0
Remove atdgen dependency when building binary
|
8 years ago |
|
Leo
|
70513629f4
Avoid warnnig 45
|
8 years ago |
|
Leo
|
8913f1aa0d
Rename constructor Error of Lock module
|
8 years ago |
|
Leo
|
352c103fe4
Use ad hoc operator
|
8 years ago |
|
Leo
|
fe1c79021f
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
8 years ago |
|
Leo
|
6fc0dc112c
Improve opam file
|
8 years ago |
|
Leo
|
d91fa8dc5a
Merge branch 'newrc-format' into dev
|
8 years ago |
|
Leo
|
516c2beb6b
Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev
|
8 years ago |
|
Leo
|
7a1a679caf
Build test executable to native code
|
8 years ago |
|
Leo
|
26c55720fd
Improve brevity of type signature
|
8 years ago |
