jpathy
|
7db05b2cc1
|
Use realpath
Use `os.path.realpath` instead to make sure symlinks are followed. This is also required to work for nix package manager.
|
2018-08-06 06:51:07 +00:00 |
|
Clifford Wolf
|
3c31572152
|
Added yosys-smtbmc copyright
|
2015-10-14 01:31:54 +02:00 |
|
Clifford Wolf
|
d7de0f4bd1
|
Improvements in yosys-smtbmc
|
2015-10-14 01:27:55 +02:00 |
|
Clifford Wolf
|
821f1b8534
|
Added yosys-smtbmc
|
2015-10-14 00:47:04 +02:00 |
|
Clifford Wolf
|
e548483c91
|
Added write_smt2 (only gate level logic supported so far)
|
2014-12-24 16:17:57 +01:00 |
|