diff options
author | Aki Van Ness <aki@yosyshq.com> | 2022-03-17 07:26:14 -0400 |
---|---|---|
committer | N. Engelhardt <nakengelhardt@gmail.com> | 2022-04-08 08:05:15 +0200 |
commit | 1f1a403ccee3b37a42fae96a66114943d30e0415 (patch) | |
tree | ba654e1517fa8a6ace3eb861d8f923dd4007d366 /passes/sat/Makefile.inc | |
parent | 6053856f9130dd864b4f38c8b71f13f5e2ca7f6b (diff) | |
download | yosys-1f1a403ccee3b37a42fae96a66114943d30e0415.tar.gz yosys-1f1a403ccee3b37a42fae96a66114943d30e0415.tar.bz2 yosys-1f1a403ccee3b37a42fae96a66114943d30e0415.zip |
pass jny: flipped the defaults for the inclusion of various bits of metadata
Diffstat (limited to 'passes/sat/Makefile.inc')
0 files changed, 0 insertions, 0 deletions