diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-12 18:33:37 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-12 23:17:14 +0100 |
| commit | 8127d5e8c35da6610dc9fd43cca66ff9ca41f078 (patch) | |
| tree | 2a30bcb08197a4b77234befaa0096bccae52ae73 /libs/minisat | |
| parent | 31528634796c15d0dcdb113ff730fa743663ca07 (diff) | |
- kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
- passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
Diffstat (limited to 'libs/minisat')
0 files changed, 0 insertions, 0 deletions