1. 28 Dec, 2016 6 commits
  2. 21 Dec, 2016 2 commits
    • Leo's avatar
      2fe6decb
    • Leo's avatar
      Add benchmark to chose between S-Expressions and JSON for rc file · 59a6cb38
      Leo authored
      Rc files are quite long for their purpose, since its command to be launched
      across a session.
      
      Rc files were created, with some random text (from the cecill license in fact),
      in two format. We keep .human, human readable files for the futur if necessary.
      
      Here is the result:
      ┌──────┬──────────┬─────────┬───────────┬──────────┬────────────┐
      │ Name │ Time/Run │ mWd/Run │  mjWd/Run │ Prom/Run │ Percentage │
      ├──────┼──────────┼─────────┼───────────┼──────────┼────────────┤
      │ Sexp │ 820.59us │ 934.00w │ 1_029.18w │    0.18w │    100.00% │
      │ Json │ 198.46us │ 981.00w │     3.07w │          │     24.19% │
      └──────┴──────────┴─────────┴───────────┴──────────┴────────────┘
      Json is clearly faster, however we are with very short time, this way Sexp maybe
      acceptable (us stand for μs).
      
      Note: Cherry picked from a private branch, with conflict resolution.
      Thought it may be useful to have this.
      59a6cb38
  3. 17 Dec, 2016 1 commit
    • Leo's avatar
      Clean up Messages code · 7c96c019
      Leo authored
       + Remove file copied from Core_extended, use Textutils functions instead.
       + Make colors a bit softer.
       + May be problem like issue #4.
      7c96c019
  4. 27 Nov, 2016 2 commits
  5. 31 Oct, 2016 1 commit
    • Leo's avatar
      Typo · 4e243256
      Leo authored
      4e243256
  6. 30 Oct, 2016 1 commit
    • Leo's avatar
      Typo · 579bb0f7
      Leo authored
      579bb0f7
  7. 26 Oct, 2016 5 commits
  8. 25 Oct, 2016 6 commits
  9. 23 Oct, 2016 3 commits
  10. 22 Oct, 2016 3 commits
    • Leo's avatar
      Stop using biniou format for tmp file · 21b9d240
      Leo authored
       + The bin_prot format bundled with Core is faster, produce smaller file and remove dependancies.
       + Remove Atdgen related file but not dependency, since it's used to import configuration file.
       + Done a bit of clean-up of tmp_file.
       + All tests pass! (the long way)
      21b9d240
    • Leo's avatar
      07a635bc
    • Leo's avatar
      Add benchmark to compare biniou format and bin_prot one · c36a3807
      Leo authored
       + This shows bin_prot is much faster (roughly 5 times) than biniou, an
       argument to consider the transition (#6).
       + Copied code from src to keep it even if it is removed in the future.
       + Create file to preview test data serialised, in "/tmp". Bin_prot is
       smaller too. (See Facts at the end).
       + Awful parts: had to copy the data of the test twice, because I
       couldn't mark tmp_file and Tmp_file_t.tmp_file types as equal.
      
      Facts
      
      Size:
      ```
      4971 /tmp/bvsbp.bi
      3254 /tmp/bvsbp.bp
      8225 total
      ```
      
      Results of the test:
      ```
      Estimated testing time 20s (2 benchmarks x 10s). Change using -quota SECS.
      ┌──────────┬────────────┬─────────┬───────────┬──────────┬────────────┐
      │ Name     │   Time/Run │ mWd/Run │  mjWd/Run │ Prom/Run │ Percentage │
      ├──────────┼────────────┼─────────┼───────────┼──────────┼────────────┤
      │ Binou    │ 2_953.12us │  7.96kw │ 2_485.78w │   64.78w │    100.00% │
      │ Bin_prot │   645.70us │  3.02kw │   422.23w │   14.23w │     21.86% │
      └──────────┴────────────┴─────────┴───────────┴──────────┴────────────┘
      ```
      c36a3807
  11. 21 Oct, 2016 1 commit
  12. 20 Oct, 2016 2 commits
    • Leo's avatar
      Fix opam file · 71299ecd
      Leo authored
      Bad opam file format prevents dependencies from being installed.
      71299ecd
    • Leo's avatar
      Fix ci · e5e42d30
      Leo authored
      Add atdgen when building oclaunch, it's required.
      e5e42d30
  13. 11 Sep, 2016 2 commits
  14. 31 Aug, 2016 1 commit
    • Leo's avatar
      Remove atdgen dependency when building binary · e9b76315
      Leo authored
       + It has been removed from opam, but configure script was requiring it, leading
       to error.
       + Atdgen is used only when changing the structure of tmp file, to regenerate
       some file (Tmp_biniou_*.ml). We keep it as a dependency for tests, but user
       don’t need it just to build the user executable.
      e9b76315
  15. 29 Aug, 2016 3 commits
    • Leo's avatar
      Avoid warnnig 45 · 70513629
      Leo authored
       + Core is expected to overwrite some defaults.
      
       + It's the Result module which uses Error constructor. This gave warning:
      File "src/command_def.ml", line 37, characters 0-13:
      Warning 45: this open statement shadows the constructor Error (which is later used)
      70513629
    • Leo's avatar
      Rename constructor Error of Lock module · 8913f1aa
      Leo authored
       + Error is used by core in Result module, renaming to avoid confusion.
      8913f1aa
    • Leo's avatar
      Use ad hoc operator · 352c103f
      Leo authored
      352c103f
  16. 28 Aug, 2016 1 commit