mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-26 09:24:37 +00:00
Code Activity
1820 commits 122 branches 59 tags 72 MiB
Commit graph

1820 commits

This branch
This branch
All branches
Author SHA1 Message Date
Clifford Wolf
a67cd2d4a2 Progress in Verific bindings 2014-03-17 01:56:00 +01:00
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