projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7c19b1) | patch
don't use sed -i because it won't work on macos smtlib2-expr-support
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 3 Jun 2022 08:09:57 +0000 (01:09 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 3 Jun 2022 08:09:57 +0000 (01:09 -0700)
commit0b0123e00378fefb9efb0c586f6b8a1d33ca0063
treec4544f3f4f561fbd85ffa57583e352df3a0865d2tree
parentb7c19b1c8896ed7b4114e64dc9478fc0041e9ec1commit | diff
don't use sed -i because it won't work on macos
tests/various/.gitignore diff | blob | history
tests/various/smtlib2_module.sh diff | blob | history