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
*
Disabled (unused) Xilinx tristate buffers
Clifford Wolf
2015-02-04
*
Using design->selected_modules() in opt_*
Clifford Wolf
2015-02-03
*
Skip blackbox modules in design->selected_modules()
Clifford Wolf
2015-02-03
*
Added "yosys -L logfile"
Clifford Wolf
2015-02-03
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2015-02-01
|
\
|
*
Merge pull request #48 from rubund/master
Clifford Wolf
2015-02-01
|
|
\
|
|
*
Fixed typos found by lintian
Ruben Undheim
2015-02-01
*
|
|
no support for 6-series xilinx devices
Clifford Wolf
2015-02-01
|
/
/
*
/
Improved performance in equiv_simple
Clifford Wolf
2015-02-01
|
/
*
Removed old XST-based xilinx examples
Clifford Wolf
2015-02-01
*
Added Xilinx example for Basys3 board
Clifford Wolf
2015-02-01
*
Added EDIF backend support for multi-bit cell ports
Clifford Wolf
2015-02-01
*
Added missing ports and parameters to xilinx brams
Clifford Wolf
2015-02-01
*
Added "make mklibyosys", some minor API changes
Clifford Wolf
2015-02-01
*
Minor README changes
Clifford Wolf
2015-02-01
*
Removed TODO list from README file
Clifford Wolf
2015-02-01
*
Added yosys_banner(), Updated Copyright range
Clifford Wolf
2015-02-01
*
Added <algorithm> include to hashlib.h
Clifford Wolf
2015-02-01
*
Using selections in "ls" command
Clifford Wolf
2015-02-01
*
Shorter "dump" options
Clifford Wolf
2015-01-31
*
Bugfix in opt_const $eq -> buffer code
Clifford Wolf
2015-01-31
*
Log msg change
Clifford Wolf
2015-01-31
*
Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")
Clifford Wolf
2015-01-31
*
Added "equiv_induct -undef"
Clifford Wolf
2015-01-31
*
Added "equiv_simple -undef"
Clifford Wolf
2015-01-31
*
Added "equiv_make -blacklist <file> -encfile <file>"
Clifford Wolf
2015-01-31
*
Synced RTLIL::unescape_id() to log_id() behavior
Clifford Wolf
2015-01-30
*
Added "fsm -encfile"
Clifford Wolf
2015-01-30
*
More log_id() stuff
Clifford Wolf
2015-01-30
*
Some cleanups in log.cc
Clifford Wolf
2015-01-30
*
Improved an error message
Clifford Wolf
2015-01-28
*
Fixed bug in equiv_miter
Clifford Wolf
2015-01-28
*
Added "sat -show-ports"
Clifford Wolf
2015-01-27
*
Bugfix in resource sharing test
Clifford Wolf
2015-01-27
*
Updaed ABC to hg rev 61ad5f908c03
Clifford Wolf
2015-01-27
*
Rethrow with "catch(...) throw;"
Clifford Wolf
2015-01-25
*
Added equiv_remove
Clifford Wolf
2015-01-25
*
Added equiv_miter
Clifford Wolf
2015-01-25
*
Added ENABLE_NDEBUG makefile options
Clifford Wolf
2015-01-24
*
Added #ifdef NDEBUG for log_assert()
Clifford Wolf
2015-01-24
*
Fixed xilinx FDSE sim model
Clifford Wolf
2015-01-24
*
Various equiv_* improvements
Clifford Wolf
2015-01-24
*
Added dict/pool.sort()
Clifford Wolf
2015-01-24
*
Improvements in equiv_make, equiv_induct
Clifford Wolf
2015-01-22
*
Improved xdot calling
Clifford Wolf
2015-01-22
*
Added equiv_induct
Clifford Wolf
2015-01-22
*
Various equiv_simple improvements
Clifford Wolf
2015-01-22
*
Moved equiv stuff to passes/equiv/
Clifford Wolf
2015-01-22
*
Progress in equiv_simple
Clifford Wolf
2015-01-21
*
Fixed opt_muxtree performance bug
Clifford Wolf
2015-01-21
[next]