projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe8daea) | patch
speed up option-file generation on Mac OS by an order of magnitude
authorMorgan Deters <mdeters@gmail.com>
Mon, 17 Sep 2012 22:38:32 +0000 (22:38 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 17 Sep 2012 22:38:32 +0000 (22:38 +0000)
commit747c97106c6a6f8f8718b4b5ddfd61f505f3bf5f
treee652c33b7a5fda27264e459d108c542a6ebd4f9etree
parentfe8daeac0ccff8e9b2a88f599b15f16f1f6fbfbacommit | diff
speed up option-file generation on Mac OS by an order of magnitude
src/options/mkoptions diff | blob | history