- 28 Dec, 2016 6 commits
-
-
Leo authored
Conflicts: README.md _oasis setup.ml
-
Leo authored
-
Leo authored
-
Leo authored
-
Leo authored
-
Leo authored
+ When spawning a new terminal, it may be useful to be able to have oclaunch auto-launch disabled and start using the running terminal. + Refer to documentation (Auto-launch page) for details of the functionality (what it is, how to use it). + Need to improve status implementation.
-
- 21 Dec, 2016 2 commits
-
-
Leo authored
-
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.
-
- 17 Dec, 2016 1 commit
-
- 27 Nov, 2016 2 commits
- 31 Oct, 2016 1 commit
-
-
Leo authored
-
- 30 Oct, 2016 1 commit
-
-
Leo authored
-
- 26 Oct, 2016 5 commits
- 25 Oct, 2016 6 commits
- 23 Oct, 2016 3 commits
-
-
Leo authored
-
Leo authored
+ Use or mark as unsed some variable (fixes warning 32). Some remains though, especially in Rc module and atdgen-generated code. + Remove spy1_rc from tools, since it needs to be be independant from Rc module. Add corresponding code in rc module.
-
Leo authored
+ Would look better on both White and Dark background, since White is not displayed on White background and Yellowi (and Red) were too flashy.
-
- 22 Oct, 2016 3 commits
-
-
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)
-
https://gitlab.com/WzukW/oclaunchLeo authored
-
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% │ └──────────┴────────────┴─────────┴───────────┴──────────┴────────────┘ ```
-
- 21 Oct, 2016 1 commit
-
-
Leo authored
According to the developper manual, the `build` tag means: > build dependencies are no longer needed at run-time: they won’t trigger recompilations of your package. (see https://opam.ocaml.org/doc/manual/dev-manual.html#sec9)
-
- 20 Oct, 2016 2 commits
- 11 Sep, 2016 2 commits
- 31 Aug, 2016 1 commit
-
-
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.
-
- 29 Aug, 2016 3 commits
-
-
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)
-
Leo authored
+ Error is used by core in Result module, renaming to avoid confusion.
-
Leo authored
-
- 28 Aug, 2016 1 commit
-
-
Leo authored
-