mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-30 19:22:31 +00:00
Code Activity
3232 commits 122 branches 59 tags 72 MiB
Commit graph

3232 commits

This branch
This branch
All branches
Author SHA1 Message Date
Clifford Wolf
6ef2224331 Merge pull request #31 from bentley/posix-rm 
Remove non-POSIX 'rm -v'.
 2014-04-05 02:56:28 +02:00
Anthony J. Bentley
66a5da5edc POSIX find requires a path argument. 2014-04-04 16:51:27 -06:00
Anthony J. Bentley
b950197da1 Remove non-POSIX 'rm -v'. 2014-04-04 16:39:03 -06:00
Clifford Wolf
7370ae01e9 Added SIMLIB_NOLUT to simlib.v 2014-04-02 21:28:33 +02:00
Clifford Wolf
e24797add0 Added SIMLIB_NOSR to simlib.v 2014-04-02 21:06:55 +02:00
Clifford Wolf
d4a1b0af5b Added support for dlatchsr cells 2014-03-31 14:14:40 +02:00
Clifford Wolf
a3b9692a68 Fixed mapping of Verific WIDE_DFFRS operator 2014-03-20 13:40:01 +01:00
Clifford Wolf
470c2455e4 Fixed mapping of Verific FADD primitive with unconnected outputs 2014-03-20 13:26:52 +01:00
Clifford Wolf
9a34486bfb Fixed performance problem in opt_mux with nets driven by many conflicting drivers 2014-03-19 10:05:01 +01:00
Clifford Wolf
cdf1257565 Progress in Verific bindings 2014-03-17 14:43:16 +01:00
Clifford Wolf
e164edc8d1 Fixed typo in RTLIL::Module::addAdff() 2014-03-17 14:41:41 +01:00
Clifford Wolf
0b0dcfda7d Progress in Verific bindings 2014-03-17 02:43:53 +01:00
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