SymbiYosys.git
7 years agoAdd AIGER cex support
Clifford Wolf [Sat, 28 Jan 2017 14:16:06 +0000 (15:16 +0100)]
Add AIGER cex support

7 years agoImprove docs
Clifford Wolf [Sun, 22 Jan 2017 17:04:47 +0000 (18:04 +0100)]
Improve docs

7 years agoFix handling of empty src dir
Clifford Wolf [Sun, 22 Jan 2017 16:36:21 +0000 (17:36 +0100)]
Fix handling of empty src dir

7 years agoAdd .gitignore
Clifford Wolf [Sun, 22 Jan 2017 16:01:53 +0000 (17:01 +0100)]
Add .gitignore

7 years agoAdd README.md
Clifford Wolf [Sun, 22 Jan 2017 15:59:51 +0000 (16:59 +0100)]
Add README.md

7 years agoInitial import
Clifford Wolf [Sun, 22 Jan 2017 15:47:47 +0000 (16:47 +0100)]
Initial import