mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-02 00:00:44 +00:00
Code Activity

Added write_smt2 (only gate level logic supported so far)

Browse source
This commit is contained in:
Clifford Wolf 2014-12-24 16:17:57 +01:00
parent aad195b88c
commit e548483c91
2 changed files with 353 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
backends/smt2/Makefile.inc Normal file
View file

@ -0,0 +1,3 @@
OBJS += backends/smt2/smt2.o