Displaying 2 results from an estimated 2 matches for "60ccbf9".
2016 Feb 23
7
[PATCH 0/4] Various tweaks to the generator.
Use interfaces files (*.mli files) instead of exporting all symbols
randomly.
Change the 'file is generated' warnings at the top of generated files
so they accurately describe which source file generates each output
file.
Rich.
2016 Sep 02
6
[PATCH 0/4] generator: Some work to split large C files
By splitting up large C files we can make parallel compiles
a bit faster.
Rich.