 Steffen Vogel
|
422ffd5c06
|
Use pkg-config for linking tcl-tk
Both MacPorts and Homebrew have a pkg-config file for TCL. So lets use it.
|
7 years ago |
|
Steffen Vogel
|
9eca3671ab
|
Dont mix Homebrew and MacPorts build options
|
7 years ago |
|
Steffen Vogel
|
a3f19f047c
|
Remove space after backslash
|
7 years ago |
|
Steffen Vogel
|
94c76f85da
|
Applied fixes from @joshhead (thanks for your effors!)
|
7 years ago |
|
Steffen Vogel
|
b8d531957d
|
Added notes for compilation on OS X
|
7 years ago |
|
Steffen Vogel
|
7e08e37961
|
Fix compilation on OS X in order to support both MacPorts and Homebrew
|
7 years ago |
|
Steffen Vogel
|
19f36271c2
|
Allow standard tools to be overwritten in make invocation
|
7 years ago |
|
Steffen Vogel
|
44b47b57e3
|
use Homebrew only if installed
|
7 years ago |
Clifford Wolf
|
7481ba4750
|
Improve opt_rmdff support for $dlatch cells
|
7 years ago |
|
Clifford Wolf
|
18ea65ef04
|
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" support
|
7 years ago |
|
Clifford Wolf
|
fe29869ec5
|
Add $ff and $_FF_ support to equiv_simple
|
7 years ago |
|
Clifford Wolf
|
e54c355b41
|
Add "yosys-smtbmc --aig-noheader" and AIGER mem init support
|
7 years ago |
|
Clifford Wolf
|
45e10c1c89
|
Be more conservative with merging large cells into FSMs
|
7 years ago |
|
Clifford Wolf
|
49b8160488
|
Add warnings for quickly growing FSM table size in fsm_expand
|
7 years ago |
|
Clifford Wolf
|
b0a430f601
|
Merge branch 'master' of github.com:cliffordwolf/yosys
|
7 years ago |
|
Clifford Wolf
|
b54972c112
|
Fix RTLIL::Memory::start_offset initialization
|
7 years ago |
|
Clifford Wolf
|
fea528280b
|
Add "enum" and "typedef" lexer support
|
7 years ago |
|
Clifford Wolf
|
87fe8ab3f2
|
Merge pull request #293 from thoughtpolice/minor-cleanup
Delete some dead code in the Hierarchy pass
|
7 years ago |
|
Austin Seipp
|
6781543244
|
passes/hierarchy: delete some dead code
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
7 years ago |
|
Clifford Wolf
|
78f65f89ff
|
Fix bug in AstNode::mem2reg_as_needed_pass2()
|
7 years ago |
|
Clifford Wolf
|
b7cfb7dbd2
|
Fix $initstate handling bug in yosys-smtbmc
|
7 years ago |
|
Clifford Wolf
|
8953a55cd8
|
Update ABC to hg id f8cadfe3861f
|
7 years ago |
|
Clifford Wolf
|
8012de40b9
|
Updated ABC to hg id 38b26a543f1d
|
7 years ago |
|
Clifford Wolf
|
2d32c6c4f6
|
Fixed handling of local memories in functions
|
7 years ago |
|
Clifford Wolf
|
0cac95ea94
|
Added "check -initdrv"
|
7 years ago |
|
Clifford Wolf
|
81a9ee2360
|
Added handling of local memories and error for local decls in unnamed blocks
|
7 years ago |
|
Clifford Wolf
|
b9ad91b93e
|
Implicitly set "yosys-smtbmc --noprogress" on windows
|
7 years ago |
|
Clifford Wolf
|
080004b19a
|
Fixed typo in tests/simple/arraycells.v
|
7 years ago |
|
Clifford Wolf
|
ed812ea39c
|
Fixed "yosys-smtbmc --noprogress"
|
7 years ago |
|
Clifford Wolf
|
dfb461fe52
|
Added Verilog $rtoi and $itor support
|
7 years ago |
|
Clifford Wolf
|
81bb952e5d
|
Handle "always 1" like "always -1" in .smtc files
|
7 years ago |
|
Clifford Wolf
|
f0df7dd796
|
Added cell port resizing to hierarchy pass
|
7 years ago |
|
Clifford Wolf
|
a7fb64efe6
|
Updated ABC to hg id 55cd83f432c0
|
7 years ago |
|
Clifford Wolf
|
6b2c23c721
|
Bugfix in RTLIL::SigSpec::remove2()
|
7 years ago |
|
Clifford Wolf
|
7da7a6d1df
|
Updated ABC to hg id 8c6a635f7a20
|
7 years ago |
|
Clifford Wolf
|
2198948398
|
Improved write_json help message
|
7 years ago |
|
Clifford Wolf
|
4f5efc3416
|
Updated ABC to hg id f591c081d5e7
|
7 years ago |
|
Clifford Wolf
|
4cf3170194
|
Merge pull request #284 from azonenberg/master
greenpak4: Support for many new cell types
|
7 years ago |
|
Andrew Zonenberg
|
5ffede5c0e
|
Merge pull request #1 from azonenberg-hk/master
Pull changes from HK trip
|
7 years ago |
|
Andrew Zonenberg
|
9f69a70d74
|
Merge https://github.com/cliffordwolf/yosys
|
7 years ago |
|
Clifford Wolf
|
33a22f8768
|
Simplified log_spacer() code
|
7 years ago |
|
Clifford Wolf
|
a0dff87a57
|
Added "yosys -W regex"
|
7 years ago |
|
Clifford Wolf
|
f144adec58
|
Added AIGER back-end to automatic back-end detection
|
7 years ago |
|
Clifford Wolf
|
f31e6a7174
|
Updated ABC to hg rev a4872e22c646
|
7 years ago |
|
Clifford Wolf
|
3d0e51f813
|
Updated ABC to hg rev 8bab2eedbba4
|
7 years ago |
|
Andrew Zonenberg
|
ada98844b9
|
greenpak4: Added INT pin to GP_SPI
|
7 years ago |
|
Andrew Zonenberg
|
6b526e9382
|
greenpak4: removed unused MISO pin from GP_SPI
|
7 years ago |
|
Andrew Zonenberg
|
638f3e3b12
|
greenpak4: Removed SPI_BUFFER parameter
|
7 years ago |
|
Andrew Zonenberg
|
073e8df9f1
|
greenpak4: replaced MOSI/MISO with single one-way SDAT pin
|
7 years ago |
|
Andrew Zonenberg
|
d4a05b499e
|
greenpak4: Changed port names on GP_SPI for clarity
|
7 years ago |