projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Bugfixes in new BTOR back-end
[yosys.git]
/
manual
/
2017-05-17
Clifford Wolf
Add $_ANDNOT_ and $_ORNOT_ gates
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-02-25
Clifford Wolf
Add $live and $fair cell types, add support for s_event...
tree
|
commitdiff
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
tree
|
commitdiff
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-05
Clifford Wolf
Merge pull request #304 from esden/gsed-darwin
tree
|
commitdiff
2017-02-05
Piotr Esden-Tempski
Use -E sed parameter instead of -r.
tree
|
commitdiff
2017-02-04
Clifford Wolf
Add $cover cell type and SVA cover() support
tree
|
commitdiff
2016-11-02
Clifford Wolf
Updated command reference in manual
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added $anyseq cell type
tree
|
commitdiff
2016-10-11
Clifford Wolf
Added $ff and $_FF_ cell types
tree
|
commitdiff
2016-08-30
Clifford Wolf
Removed $aconst cell type
tree
|
commitdiff
2016-08-28
Clifford Wolf
Removed $predict again
tree
|
commitdiff
2016-07-30
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-07-27
Clifford Wolf
Added $anyconst and $aconst
tree
|
commitdiff
2016-07-21
Clifford Wolf
Added $initstate cell type and vlog function
tree
|
commitdiff
2016-07-21
Clifford Wolf
After reading the SV spec, using non-standard predict...
tree
|
commitdiff
2016-07-13
Clifford Wolf
Added basic support for $expect cells
tree
|
commitdiff
2016-07-08
Clifford Wolf
Added warning about adding fsm_encoding attributes...
tree
|
commitdiff
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
tree
|
commitdiff
2016-06-17
Clifford Wolf
Added $sop cell type and "abc -sop"
tree
|
commitdiff
2016-05-14
Clifford Wolf
Minor presentation fixes
tree
|
commitdiff
2016-04-23
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-04-21
Clifford Wolf
Added "yosys -D" feature
tree
|
commitdiff
2016-04-03
Clifford Wolf
Merge pull request #145 from laanwj/master
tree
|
commitdiff
2016-04-03
Wladimir J. van...
Fix a few typos in the manual
tree
|
commitdiff
2016-04-01
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-03-31
Clifford Wolf
Renamed opt_share to opt_merge
tree
|
commitdiff
2016-03-31
Clifford Wolf
Renamed opt_const to opt_expr
tree
|
commitdiff
2016-03-07
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-02-29
Clifford Wolf
Merge pull request #119 from SebKuzminsky/spelling...
tree
|
commitdiff
2016-02-28
Sebastian Kuzminsky
user-facing spelling fixes
tree
|
commitdiff
2016-02-14
Clifford Wolf
Updated command reference in manual
tree
|
commitdiff
2015-12-15
Clifford Wolf
Merge pull request #110 from scanlime/master
tree
|
commitdiff
2015-12-15
Micah Elizabeth...
Remove nonportable "-r" option from xargs
tree
|
commitdiff
2015-12-07
Clifford Wolf
Merge pull request #108 from cseed/master
tree
|
commitdiff
2015-09-25
Clifford Wolf
Added read-enable to memory model
tree
|
commitdiff
2015-08-14
Larry Doolittle
Another block of spelling fixes
tree
|
commitdiff
2015-08-14
Clifford Wolf
Re-created command-reference-manual.tex, copied some...
tree
|
commitdiff
2015-08-14
Clifford Wolf
Spell check (by Larry Doolittle)
tree
|
commitdiff
2015-08-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2015-08-13
Clifford Wolf
More ASCII encoding fixes
tree
|
commitdiff
2015-08-13
Clifford Wolf
Fixed CRLF line endings
tree
|
commitdiff
2015-08-13
Clifford Wolf
Some ASCII encoding fixes (comments and docs) by Larry...
tree
|
commitdiff
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
tree
|
commitdiff
2015-04-04
Clifford Wolf
appnote 012 fix
tree
|
commitdiff
2015-04-04
Clifford Wolf
Appnote 012
tree
|
commitdiff
2015-04-04
Clifford Wolf
Merge pull request #55 from ahmedirfan1983/master
tree
|
commitdiff
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2015-04-03
Ahmed Irfan
appnote for verilog to btor
tree
|
commitdiff
2015-03-22
Clifford Wolf
Added blif reference to appnote 010
tree
|
commitdiff
2015-02-26
Clifford Wolf
Added $assume cell type
tree
|
commitdiff
2015-02-09
Clifford Wolf
Fixed creation of command reference in manual
tree
|
commitdiff
2015-02-09
Clifford Wolf
Updated command reference in manual
tree
|
commitdiff
2015-02-09
Clifford Wolf
Various presentation fixes
tree
|
commitdiff
2015-01-19
Clifford Wolf
Added $equiv cell type
tree
|
commitdiff
2014-12-31
Clifford Wolf
Improvements in CodingReadme
tree
|
commitdiff
2014-12-08
Clifford Wolf
Added more documentation fixmes for nontrivial register...
tree
|
commitdiff
2014-12-07
Clifford Wolf
Merge branch 'master' of https://github.com/Martoni...
tree
|
commitdiff
2014-12-07
Fabien Marteau
manual/presentation.tex: bg option is unknown with...
tree
|
commitdiff
2014-12-06
Clifford Wolf
Merge pull request #43 from Martoni/master
tree
|
commitdiff
2014-12-05
Fabien Marteau
suppressing semi-colon at the end of dot files
tree
|
commitdiff
2014-12-04
Clifford Wolf
Added some missing .gitignore in manual/
tree
|
commitdiff
2014-11-24
Clifford Wolf
Some fixes in stubnets example
tree
|
commitdiff
2014-11-08
Clifford Wolf
Some fixes in presentation
tree
|
commitdiff
2014-11-08
Clifford Wolf
Various documentation updates
tree
|
commitdiff
2014-11-03
Ahmed Irfan
corrected abstract of appnote
tree
|
commitdiff
2014-11-03
Ahmed Irfan
removed unused bib
tree
|
commitdiff
2014-11-03
Ahmed Irfan
corrections in appnote
tree
|
commitdiff
2014-11-03
Ahmed Irfan
appnote added
tree
|
commitdiff
2014-10-10
Clifford Wolf
Renamed SIZE() to GetSize() because of name collision...
tree
|
commitdiff
2014-09-22
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2014-09-08
Clifford Wolf
Added $lcu cell type
tree
|
commitdiff
2014-09-06
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-09-06
Clifford Wolf
Merge pull request #38 from rubund/master
tree
|
commitdiff
2014-09-06
Ruben Undheim
Corrected spelling mistakes found by lintian
tree
|
commitdiff
2014-09-04
Clifford Wolf
Removed $bu0 cell type
tree
|
commitdiff
2014-09-02
Clifford Wolf
Removed references to yosys-svgviewer from docs
tree
|
commitdiff
2014-08-30
Clifford Wolf
Added $alu cell type
tree
|
commitdiff
2014-08-16
Clifford Wolf
Added additional gate types: $_NAND_ $_NOR_ $_XNOR_...
tree
|
commitdiff
2014-08-15
Clifford Wolf
Renamed $_INV_ cell type to $_NOT_
tree
|
commitdiff
2014-08-15
Clifford Wolf
Removed old doc references to $safe_pmux
tree
|
commitdiff
2014-08-14
Clifford Wolf
RIP $safe_pmux
tree
|
commitdiff
2014-08-01
Clifford Wolf
Replaced sha1 implementation
tree
|
commitdiff
2014-07-31
Clifford Wolf
Added module->design and cell->module, wire->module...
tree
|
commitdiff
2014-07-31
Clifford Wolf
Renamed "stdcells.v" to "techmap.v"
tree
|
commitdiff
2014-07-27
Clifford Wolf
Refactoring: Renamed RTLIL::Design::modules to modules_
tree
|
commitdiff
2014-07-26
Clifford Wolf
Refactoring: Renamed RTLIL::Module::cells to cells_
tree
|
commitdiff
2014-07-26
Clifford Wolf
Refactoring: Renamed RTLIL::Module::wires to wires_
tree
|
commitdiff
2014-07-26
Clifford Wolf
Merge automatic and manual code changes for new cell...
tree
|
commitdiff
2014-07-26
Clifford Wolf
Changed users of cell->connections_ to the new API...
tree
|
commitdiff
2014-07-26
Clifford Wolf
Renamed RTLIL::{Module,Cell}::connections to connections_
tree
|
commitdiff
2014-07-23
Clifford Wolf
Fixed manual/CHAPTER_Prog/stubnets.cc
tree
|
commitdiff
2014-07-23
Clifford Wolf
Removed RTLIL::SigSpec::expand() method
tree
|
commitdiff
2014-07-16
Clifford Wolf
Merged new $mem/$memwr WR_EN interface
tree
|
commitdiff
2014-07-16
Clifford Wolf
Changed the $mem/$memwr WR_EN input to a per-data-bit...
tree
|
commitdiff
2014-07-02
Clifford Wolf
small changes in presentation
tree
|
commitdiff
2014-06-29
Clifford Wolf
Tiny fix in presentation
tree
|
commitdiff
2014-06-29
Clifford Wolf
Progress in presentation
tree
|
commitdiff
next