projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2015-04-16
Clifford Wolf
Changed ice40 ICESTORM_CARRYCONST port name
commit
|
commitdiff
|
tree
2015-04-16
Clifford Wolf
Fixed "dff2dffe -direct-match"
commit
|
commitdiff
|
tree
2015-04-16
Clifford Wolf
Added simple ice40 dff tests
commit
|
commitdiff
|
tree
2015-04-16
Clifford Wolf
improved ice40 dff cell mapping
commit
|
commitdiff
|
tree
2015-04-16
Clifford Wolf
Added "dff2dffe -direct-match"
commit
|
commitdiff
|
tree
2015-04-14
Clifford Wolf
use "hierarchy -auto-top" in synth_ice40
commit
|
commitdiff
|
tree
2015-04-14
Clifford Wolf
more cells in ice40 cell library
commit
|
commitdiff
|
tree
2015-04-13
Clifford Wolf
Added "splice -wires"
commit
|
commitdiff
|
tree
2015-04-13
Clifford Wolf
Added handling of bool-output cells to "wreduce"
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Improved xilinx "bram1" test
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Added memory_bram "make_outreg" feature
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Added back-end auto-detect for .edif and .json
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Minor fixes in handling of "init" attribute
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Xilinx DRAMS: RAM64X1D, RAM128X1D
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Fixed const2big performance bug
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
techmap code cleanup
commit
|
commitdiff
|
tree
2015-04-09
Clifford Wolf
Towards DRAM support in Xilinx flow
commit
|
commitdiff
|
tree
2015-04-08
Clifford Wolf
Added support for "file names with blanks"
commit
|
commitdiff
|
tree
2015-04-08
Clifford Wolf
Removed "techmap -share_map" (use "-map +/filename...
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added %M and %C select operators
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added "pmuxtree" command
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added "chparam -list"
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added decoder generation to "muxcover"
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added hashlib support for std::tuple<>
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added "muxcover" command
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added pool<K>::pop()
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
typo fix
commit
|
commitdiff
|
tree
2015-04-07
Clifford Wolf
Added "chparam" command
commit
|
commitdiff
|
tree
2015-04-06
Clifford Wolf
Added support for initialized xilinx brams
commit
|
commitdiff
|
tree
2015-04-06
Clifford Wolf
Added support for initialized brams
commit
|
commitdiff
|
tree
2015-04-06
Clifford Wolf
Added Xilinx test case for initialized brams
commit
|
commitdiff
|
tree
2015-04-06
Clifford Wolf
Added Xilinx bram black-box modules
commit
|
commitdiff
|
tree
2015-04-05
Clifford Wolf
Added "port_directions" to write_json output
commit
|
commitdiff
|
tree
2015-04-05
Clifford Wolf
Avoid parameter values with size 0 ($mem cells)
commit
|
commitdiff
|
tree
2015-04-05
Clifford Wolf
make all vector-size related integer params in $mem...
commit
|
commitdiff
|
tree
2015-04-05
Clifford Wolf
Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types
commit
|
commitdiff
|
tree
2015-04-04
Clifford Wolf
Added "dffinit", Support for initialized Xilinx DFF
commit
|
commitdiff
|
tree
2015-04-04
Clifford Wolf
Added "init" attribute support to verilog backend
commit
|
commitdiff
|
tree
2015-04-04
Clifford Wolf
appnote 012 fix
commit
|
commitdiff
|
tree
2015-04-04
Clifford Wolf
Appnote 012
commit
|
commitdiff
|
tree
2015-04-04
Clifford Wolf
Updated ABC to 51705b168d7a
commit
|
commitdiff
|
tree
2015-04-04
Clifford Wolf
Merge pull request #55 from ahmedirfan1983/master
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
Update README
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
Delete btor.ys
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
Update README
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
separated memory next from write cell
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
Merge branch 'btor' of https://github.com/ahmedirfan198...
commit
|
commitdiff
|
tree
2015-04-03
Ahmed Irfan
appnote for verilog to btor
commit
|
commitdiff
|
tree
2015-03-29
Clifford Wolf
documentation improvements
commit
|
commitdiff
|
tree
2015-03-25
Clifford Wolf
Ignore celldefine directive in verilog front-end
commit
|
commitdiff
|
tree
2015-03-25
Clifford Wolf
Fixes in cmos_cells.v
commit
|
commitdiff
|
tree
2015-03-22
Clifford Wolf
Fixed detection of absolute paths in ABC for win32
commit
|
commitdiff
|
tree
2015-03-22
Clifford Wolf
Added blif reference to appnote 010
commit
|
commitdiff
|
tree
2015-03-20
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2015-03-20
Clifford Wolf
fix for python 2.6.6
commit
|
commitdiff
|
tree
2015-03-18
Clifford Wolf
Fixed handling of quotes in liberty parser
commit
|
commitdiff
|
tree
2015-03-18
Clifford Wolf
Added hierarchy -auto-top
commit
|
commitdiff
|
tree
2015-03-18
Clifford Wolf
Added Verilog backend $dffsr support
commit
|
commitdiff
|
tree
2015-03-06
Clifford Wolf
Documentation for JSON format, added attributes
commit
|
commitdiff
|
tree
2015-03-05
Clifford Wolf
Added very first version of "synth_ice40"
commit
|
commitdiff
|
tree
2015-03-04
Clifford Wolf
Fixed bug in "hierarchy" for parametric designs
commit
|
commitdiff
|
tree
2015-03-03
Clifford Wolf
Json bugfix
commit
|
commitdiff
|
tree
2015-03-03
Clifford Wolf
Json backend improvements
commit
|
commitdiff
|
tree
2015-03-02
Clifford Wolf
Added write_blif -attr
commit
|
commitdiff
|
tree
2015-03-02
Clifford Wolf
Added JSON backend
commit
|
commitdiff
|
tree
2015-03-01
Clifford Wolf
Const-fold parameter defs on-demand in AstNode::detectS...
commit
|
commitdiff
|
tree
2015-02-26
Clifford Wolf
Added $assume support to write_smt2
commit
|
commitdiff
|
tree
2015-02-26
Clifford Wolf
Added non-std verilog assume() statement
commit
|
commitdiff
|
tree
2015-02-26
Clifford Wolf
Added $assume cell type
commit
|
commitdiff
|
tree
2015-02-25
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2015-02-25
Clifford Wolf
Bugfix in iopadmap
commit
|
commitdiff
|
tree
2015-02-25
Clifford Wolf
Added "keep_hierarchy" attribute
commit
|
commitdiff
|
tree
2015-02-24
Clifford Wolf
Some cleanups in "clean"
commit
|
commitdiff
|
tree
2015-02-24
Clifford Wolf
Fixed compilation problems with gcc 4.6.3; use enum...
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Minor "write_smt2" help msg change
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Fixed "check -assert"
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Added "<mod>_a" and "<mod>_i" to write_smt2 output
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Added "check -assert" doc
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Added "check -assert"
commit
|
commitdiff
|
tree
2015-02-22
Clifford Wolf
Fixed "sat -initsteps" off-by-one bug
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Added "sat -stepsize" and "sat -tempinduct-step"
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
sat docu change
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
When "sat -tempinduct-baseonly -maxsteps N" reaches...
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Added "sat -tempinduct-baseonly -tempinduct-inductonly"
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Fixed basecase init for "sat -tempinduct"
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Fixed "flatten" for non-pre-derived modules
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Hotfix for yosysjs/demo03.html
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
YosysJS: Wait for Viz to load
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Replaced ezDefaultSAT with ezSatPtr
commit
|
commitdiff
|
tree
2015-02-21
Clifford Wolf
Catch constants assigned to cell outputs in "flatten"
commit
|
commitdiff
|
tree
2015-02-20
Clifford Wolf
Added deep recursion warning to AST simplify
commit
|
commitdiff
|
tree
2015-02-20
Clifford Wolf
Parser support for complex delay expressions
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
YosysJS firefox fixes
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
YosysJS stuff
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
format fixes in "sat -dump_json"
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
Added "sat -dump_json" (WaveJSON format)
commit
|
commitdiff
|
tree
2015-02-19
Clifford Wolf
Changed "show" defaults for Win32
commit
|
commitdiff
|
tree
2015-02-18
Clifford Wolf
Convert floating point cell parameters to strings
commit
|
commitdiff
|
tree
2015-02-18
Clifford Wolf
Fixed clang (svn trunk) warnings
commit
|
commitdiff
|
tree
next