about summary refs log tree commit diff stats
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
...
* 5884Kartik Agaram2020-01-121-0/+7
|
* 5881Kartik Agaram2020-01-101-7/+0
|
* 5875Kartik Agaram2020-01-021-7/+7
|
* 5870Kartik Agaram2020-01-021-0/+3
|
* 5868Kartik Agaram2020-01-021-0/+0
| | | | | Follow stupid GNU convention, because why not: https://www.gnu.org/prep/standards/html_node/Releases.html
* 5859Kartik Agaram2020-01-012-0/+67
| | | | Move script to create a Linux-based boot image into a sub-directory.
* 5858Kartik Agaram2020-01-0195-0/+32627
| | | | | | Move script to create a Soso boot image into a sub-directory. I'm trying to streamline newcomer attention to just a couple of use cases.
* 5837 - better colors for trace browserKartik Agaram2019-12-281-10/+25
|
* 5819Kartik Agaram2019-12-221-1/+1
| | | | Minor tweaks to stop wasting horizontal space in the trace.
* 5816 - browse_trace bug fixedKartik Agaram2019-12-211-0/+1
|
* 5815Kartik Agaram2019-12-211-4/+4
|
* 5814Kartik Agaram2019-12-211-25/+25
|
* 5813Kartik Agaram2019-12-211-2/+1
|
* 5812 - debugging an ancient niggle in browse_traceKartik Agaram2019-12-211-6/+5
| | | | | | | | The problem: when I hit 'G' to go to the bottom of the trace, if the bottom is visible on screen, the screen scrolls so the bottom of the trace is the bottom-most line on screen. But the cursor moves to where the trace used to end rather than the new location of the bottom of the trace (the bottom of the screen).
* 5805Kartik Agaram2019-12-081-0/+12
|
* 5801 - move `tangle` to `tools/` dirKartik Agaram2019-12-072-0/+1189
|
* 5800 - move `browse_trace` to `tools/` dirKartik Agaram2019-12-0712-0/+1927
|
* 5799 - move html-generation to `tools/` directoryKartik Agaram2019-12-073-1/+344
|
* 5797 - move `enumerate/` to `tools/` directoryKartik Agaram2019-12-072-0/+34
|
* 5796 - move treeshake to a new tools/ directoryKartik Agaram2019-12-075-0/+239