mirror of
https://github.com/enso-org/enso.git
synced 2024-12-25 20:11:40 +03:00
8a50e8f930
- Change dev profile settings. Improves build performance; will not affect anything else. Details below. - Introduce script for benchmarking various incremental builds. Usage is explained in the script comments. - Add a line to `intervals` showing total main-thread CPU work logged in a profile; this can be used to compare the results of optimizations (I'll be starting a discussion informed by that data separately; this change just enables the tooling to report it). |
||
---|---|---|
.. | ||
build-performance | ||
ci | ||
graphmod | ||
legal-review | ||
legal-review-helper | ||
native-image-config-cleanup | ||
performance | ||
simple-library-server | ||
README.md |
Enso Tools
This folder contains various tools and utilities that aid in the development of the Enso programming language. It should not be used as a dumping ground for things that have better places, but instead is used to hold things that should be part of this repository but do not have another sensible place for them.