index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Switched to Python 3
Clifford Wolf
2015-08-22
*
Added sat -show-regs, -show-public, -show-all
Clifford Wolf
2015-08-18
*
Bugfix in fsm_detect for complex muxtrees
Clifford Wolf
2015-08-18
*
Properly clean up unused "init" attributes
Clifford Wolf
2015-08-18
*
Small corrections to const2ast warning messages
Clifford Wolf
2015-08-17
*
Check base-n literals only contain valid digits
Florian Zeitz
2015-08-17
*
Warn on literals exceeding the specified bit width
Florian Zeitz
2015-08-17
*
Merge pull request #72 from cseed/master
Clifford Wolf
2015-08-17
|
\
|
*
Added .travis.yml.
Cotton Seed
2015-08-17
|
/
*
Another bugfix for ice40 and xilinx brams_init make rules
Clifford Wolf
2015-08-16
*
Fixed Makefile rules for generated share files
Clifford Wolf
2015-08-16
*
Added $tribuf and $_TBUF_ sim models
Clifford Wolf
2015-08-16
*
Added tribuf command
Clifford Wolf
2015-08-16
*
Added $tribuf and $_TBUF_ cell types
Clifford Wolf
2015-08-16
*
Fixed opt_clean handling of inout ports
Clifford Wolf
2015-08-16
*
Fixed generation of smt2 concat statements
Clifford Wolf
2015-08-15
*
Fix version strings for out-of-tree builds
Larry Doolittle
2015-08-14
*
Another block of spelling fixes
Larry Doolittle
2015-08-14
*
Keep gcc from complaining about uninitialized variables
Larry Doolittle
2015-08-14
*
Re-created command-reference-manual.tex, copied some doc fixes to online help
Clifford Wolf
2015-08-14
*
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2015-08-13
|
\
|
*
Added "write_smt2 -regs"
Clifford Wolf
2015-08-12
|
*
Fixed "make clean" for out-of-tree builds
Clifford Wolf
2015-08-12
|
*
Adjust makefiles to work with out-of-tree builds
Clifford Wolf
2015-08-12
|
*
Improved handling of "keep" attributes in hierarchical designs in opt_clean
Clifford Wolf
2015-08-12
|
*
Fixed hashlib for 64 bit int keys
Clifford Wolf
2015-08-12
|
*
Added SMV back-end 'test_cells.sh' script
Clifford Wolf
2015-08-12
*
|
More ASCII encoding fixes
Clifford Wolf
2015-08-13
*
|
Fixed CRLF line endings
Clifford Wolf
2015-08-13
*
|
Some ASCII encoding fixes (comments and docs) by Larry Doolittle
Clifford Wolf
2015-08-13
|
/
*
Merge pull request #70 from gaomy3832/bugfix
Clifford Wolf
2015-08-12
|
\
|
*
Remove unused blackbox modules in opt_clean.
Mingyu Gao
2015-08-11
|
*
Bugfix for cell hash cache option in opt_share.
Mingyu Gao
2015-08-10
*
|
Bugfix for cell hash cache option in opt_share.
Mingyu Gao
2015-08-11
*
|
Fixed handling of [a-fxz?] in decimal constants
Clifford Wolf
2015-08-11
*
|
Added missing ct_all setup to opt_clean
Clifford Wolf
2015-08-11
|
/
*
Use MEMID as name for $mem cell
Clifford Wolf
2015-08-09
*
Merge pull request #69 from zeldin/master
Clifford Wolf
2015-08-07
|
\
|
*
Added iCE40 WARMBOOT cell
Marcus Comstedt
2015-08-06
|
/
*
Remove some very strange whitespace in btor.cc (by Larry Doolittle)
Clifford Wolf
2015-08-05
*
Bugfix in SMV back-end for partially unassigned wires
Clifford Wolf
2015-08-05
*
Added ENABLE_LIBYOSYS Makefile option
Clifford Wolf
2015-08-04
*
Added $assert support to SMV back-end
Clifford Wolf
2015-08-04
*
Added libyosys.so build
Clifford Wolf
2015-08-04
*
Merge pull request #68 from zeldin/master
Clifford Wolf
2015-08-01
|
\
|
*
Add -noautowire option to verilog frontend
Marcus Comstedt
2015-08-01
|
/
*
Added WORDS parameter to $meminit
Clifford Wolf
2015-07-31
*
Fixed flatten $meminit handling
Clifford Wolf
2015-07-30
*
Improvements in BLIF back-end
Clifford Wolf
2015-07-29
[next]