riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
1,969 Commits 87 Branches 48 Tags 35 MiB
Commit Graph

1969 Commits

Author SHA1 Message Date
Clifford Wolf acda74c12c Added support for memories to verific bindings 2014-03-16 17:05:05 +01:00
Clifford Wolf 7545510edc Use Verific Net::{IsGnd,IsPwr} API in Verific bindings 2014-03-16 16:06:03 +01:00
Clifford Wolf ef1795a1e8 Fixed typo in RTLIL::Module::{addSshl,addSshr} 2014-03-15 22:52:10 +01:00
Clifford Wolf 0ebee4c8e7 Progress in Verific bindings 2014-03-15 22:51:12 +01:00
Clifford Wolf fc2c821407 Progress in Verific bindings 2014-03-15 15:31:54 +01:00
Clifford Wolf 1d00ad9d4d Progress in Verific bindings 2014-03-15 14:36:11 +01:00
Clifford Wolf b7c71d92f6 Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API 2014-03-15 14:35:29 +01:00
Clifford Wolf e37d672ae7 Progress in Verific bindings 2014-03-14 16:40:25 +01:00
Clifford Wolf 5da9558fa8 Added log_dump() support for generic pointers 2014-03-14 16:39:50 +01:00
Clifford Wolf 0ac915a757 Progress in Verific bindings 2014-03-14 11:46:13 +01:00
Clifford Wolf 77e5968323 Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API 2014-03-14 11:45:44 +01:00
Clifford Wolf 9a1accf692 Progress in Verific bindings 2014-03-13 18:21:00 +01:00
Clifford Wolf 6a53bc7b27 Copy Verific vdbs files to Yosys "share" data directory 2014-03-13 17:34:31 +01:00
Clifford Wolf 34e54cda5b Small improvement in SAT log messages 2014-03-13 13:12:49 +01:00
Clifford Wolf 7a1ac11203 Added test_navre.ys for verific frontend 2014-03-13 13:12:06 +01:00
Clifford Wolf 542afc562f Hotfix for kernel/compatibility.h 2014-03-13 12:55:15 +01:00
Clifford Wolf 0e658dbc02 Merge branch 'master' of https://github.com/Siesh1oo/yosys 2014-03-13 12:50:34 +01:00
Clifford Wolf fad8558eb5 Merged OSX fixes from Siesh1oo with some modifications 2014-03-13 12:48:10 +01:00
Siesh1oo 0e30f16af1 - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compatibility patch. 2014-03-13 11:34:21 +01:00
Siesh1oo bc657b58e4 Merge branch 'master' of https://github.com/Siesh1oo/yosys 
Conflicts:
	Makefile
	libs/minisat/System.cc
 2014-03-13 11:30:50 +01:00
Siesh1oo 49c0bfa3ad - 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.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.
 2014-03-13 11:29:15 +01:00
Siesh1oo ed2c577592 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library 2014-03-13 11:29:15 +01:00
Siesh1oo 95e309b94d - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'. 2014-03-13 11:29:15 +01:00
Siesh1oo 1d0abb3ad2 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used. 
- Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.
 2014-03-13 11:29:15 +01:00
Siesh1oo 26895223a1 - 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.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.
 2014-03-13 11:29:11 +01:00
Siesh1oo c621bfa746 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library 2014-03-13 11:29:11 +01:00
Siesh1oo 989ef95a7f - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app 2014-03-13 11:29:11 +01:00
Siesh1oo 4cad046233 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'. 2014-03-13 11:29:03 +01:00
Siesh1oo 1cd7fbb6b8 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here 2014-03-13 11:29:03 +01:00
Siesh1oo cb4293624e - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used. 
- Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.
 2014-03-13 11:29:03 +01:00
Siesh1oo 89443aadbc - Makefile: resolve merge conflict. 2014-03-13 11:29:03 +01:00
Clifford Wolf a4d72de91d Some fixes in libs/minisat (thanks to Siesh1oo) 2014-03-12 23:28:10 +01:00
Siesh1oo 8127d5e8c3 - 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.
 2014-03-12 23:17:14 +01:00
Siesh1oo 5a50760e2c - 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.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.
 2014-03-12 18:33:37 +01:00
Siesh1oo 50423e3935 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library 2014-03-12 14:42:26 +01:00
Siesh1oo aead1b75e8 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app 2014-03-12 14:18:07 +01:00
Siesh1oo a8efb61e1f - Makefile: follow changes in https://github.com/cliffordwolf/yosys 2014-03-12 14:16:55 +01:00
Siesh1oo 18367919ea - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13). 2014-03-12 14:15:53 +01:00
Siesh1oo 948d04c06c - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.) 2014-03-12 14:15:25 +01:00
Siesh1oo e308091529 Merge branch 'master' of https://github.com/Siesh1oo/yosys 2014-03-12 14:01:10 +01:00
Siesh1oo cfabaa1689 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'. 2014-03-12 14:00:40 +01:00
Siesh1oo 51bf1c871e - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here 2014-03-12 14:00:40 +01:00
Siesh1oo 94bc11f021 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used. 
- Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.
 2014-03-12 14:00:40 +01:00
Siesh1oo 8f3fa09481 - Makefile: resolve merge conflict. 2014-03-12 14:00:40 +01:00
Clifford Wolf 3152863479 Fixed dependencies of "make test" 2014-03-12 10:46:27 +01:00
Clifford Wolf 94c1307c26 Added libs/minisat (copy of minisat git master) 2014-03-12 10:17:51 +01:00
Siesh1oo 59239f65dd - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS 2014-03-11 22:00:49 +01:00
Siesh1oo 31eee5c62e Rebase to cliffordwolf repo HEAD finished. 2014-03-11 21:59:20 +01:00
Siesh1oo c17ee0f6dd - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'. 2014-03-11 19:43:59 +01:00
Siesh1oo 4d56fbc150 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here 2014-03-11 19:43:59 +01:00