This project is mirrored from https://gitee.com/NQL886/scope.git.
Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
- 18 Jul, 2018 4 commits
-
-
Bryan Boreham authored
Optimise Node.WithLatests()
-
Bryan Boreham authored
Optimise WithParents() when there is only one parent
-
Bryan Boreham authored
This is more efficient than repeatedly inserting a single value.
-
Bryan Boreham authored
To save allocating and re-allocating the data structure by repeated addition.
-
- 17 Jul, 2018 2 commits
-
-
Bryan Boreham authored
Avoids creating and discarding a StringSet just to carry the parameters, and makes the code more readable too.
-
Bryan Boreham authored
This avoids creating and discarding a StringSet just to pass the parameter
-
- 16 Jul, 2018 1 commit
-
-
Bryan Boreham authored
-
- 13 Jul, 2018 3 commits
-
-
Bryan Boreham authored
Re-use gzip writers in a pool
-
Alfonso Acosta authored
-
Bryan Boreham authored
Optimise merge where one side is a subset of the other
-
- 12 Jul, 2018 8 commits
-
-
Bryan Boreham authored
-
Bryan Boreham authored
-
Bryan Boreham authored
Make StringSet.Merge() work like StringLatestMap.Merge()
-
Bryan Boreham authored
If we run out of things to look at in the other map, return quickly. Also move the equal-key case above the less-than case, since maps with equal keys are the common case when merging.
-
Bryan Boreham authored
Swap the two maps so we are merging older into later.
-
Bryan Boreham authored
-
Bryan Boreham authored
-
Bryan Boreham authored
"github.com/NYTimes/gziphandler" keeps a pool of gzip writers, which saves on garbage-collection. Also the old one, github.com/PuerkitoBio/ghost, is marked "Status : Unmaintained"
-
- 09 Jul, 2018 3 commits
-
-
Bryan Boreham authored
So that we have equal chance of merging older into newer or vice-versa
-
Bryan Boreham authored
Add a test case where one input is longer than the other; also run each case both ways round. Omit the case which was already the reverse of another.
-
Filip Barl authored
Support rendering node details extras
-
- 08 Jul, 2018 2 commits
-
-
Bryan Boreham authored
The default time.Time.String() includes nanoseconds, wall-clock adjustment, etc. Also don't include the key twice when stringizing the map itself.
-
Bryan Boreham authored
Since they allocate sizeable chunks of memory, this can save on garbage-collection.
-
- 04 Jul, 2018 3 commits
-
-
Bryan Boreham authored
Use a buffer pool in report.ReadBinary() to reduce garbage-collection
-
Bryan Boreham authored
-
Bryan Boreham authored
-
- 03 Jul, 2018 1 commit
-
-
Simon authored
Fixes monospace font overlapping in terminal+linux
-
- 02 Jul, 2018 1 commit
-
-
Simon Howe authored
- Also fixes actually using Roboto-Mono, xterm.js now only accepts fontFamily customization via the JS api. (uses `<canvas`). - There is an issue (https://github.com/xtermjs/xterm.js/issues/1170) if linux has to fall back to 'monospace' where things fail to render correctly, so provide a couple of common options so this rarely happens. - If we distribute robo-mono in the webpack bundle that might also work.
-
- 29 Jun, 2018 4 commits
-
-
Filip Barl authored
-
Filip Barl authored
-
Filip Barl authored
-
Filip Barl authored
Support TimeTravel injection
-
- 27 Jun, 2018 1 commit
-
-
Filip Barl authored
-
- 26 Jun, 2018 1 commit
-
-
Filip Barl authored
-
- 22 Jun, 2018 4 commits
-
-
Bryan Boreham authored
Faster report merging through mutating objects
-
Bryan Boreham authored
-
Bryan Boreham authored
-
Bryan Boreham authored
When we know we have the only reference to a Report or Node object we can avoid copying the data to change it. Add "Unsafe" variants of various Merge operations which mutate the receiver, and a new Merger which takes advantage of them.
-
- 21 Jun, 2018 2 commits
-
-
Filip Barl authored
Update gray theme colors
-
Filip Barl authored
-