projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1029d9d) | patch
Change generated options to be thread_local. (#5583)
authorEverett Maus <ejm3y@virginia.edu>
Sat, 5 Dec 2020 01:09:54 +0000 (17:09 -0800)
committerGitHub <noreply@github.com>
Sat, 5 Dec 2020 01:09:54 +0000 (17:09 -0800)
commita3395c1a96a3f116254e026acd1ccd066b6e9e09
treee52c0d995ee98bc40f246e27ef6e3951e4056d52tree
parent1029d9d55d254372951448d1af08bec4d9d1a31acommit | diff
Change generated options to be thread_local. (#5583)

Signed-off-by: Everett Maus <evmaus@google.com>
src/options/mkoptions.py diff | blob | history