projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2015-08-12
Clifford Wolf
Added SMV back-end 'test_cells.sh' script
commit
|
commitdiff
|
tree
2015-08-12
Clifford Wolf
Merge pull request #70 from gaomy3832/bugfix
commit
|
commitdiff
|
tree
2015-08-11
Mingyu Gao
Remove unused blackbox modules in opt_clean.
commit
|
commitdiff
|
tree
2015-08-11
Mingyu Gao
Bugfix for cell hash cache option in opt_share.
commit
|
commitdiff
|
tree
2015-08-11
Clifford Wolf
Fixed handling of [a-fxz?] in decimal constants
commit
|
commitdiff
|
tree
2015-08-11
Clifford Wolf
Added missing ct_all setup to opt_clean
commit
|
commitdiff
|
tree
2015-08-10
Mingyu Gao
Bugfix for cell hash cache option in opt_share.
commit
|
commitdiff
|
tree
2015-08-09
Clifford Wolf
Use MEMID as name for $mem cell
commit
|
commitdiff
|
tree
2015-08-06
Clifford Wolf
Merge pull request #69 from zeldin/master
commit
|
commitdiff
|
tree
2015-08-06
Marcus Comstedt
Added iCE40 WARMBOOT cell
commit
|
commitdiff
|
tree
2015-08-05
Clifford Wolf
Remove some very strange whitespace in btor.cc (by...
commit
|
commitdiff
|
tree
2015-08-05
Clifford Wolf
Bugfix in SMV back-end for partially unassigned wires
commit
|
commitdiff
|
tree
2015-08-04
Clifford Wolf
Added ENABLE_LIBYOSYS Makefile option
commit
|
commitdiff
|
tree
2015-08-04
Clifford Wolf
Added $assert support to SMV back-end
commit
|
commitdiff
|
tree
2015-08-04
Clifford Wolf
Added libyosys.so build
commit
|
commitdiff
|
tree
2015-08-01
Clifford Wolf
Merge pull request #68 from zeldin/master
commit
|
commitdiff
|
tree
2015-08-01
Marcus Comstedt
Add -noautowire option to verilog frontend
commit
|
commitdiff
|
tree
2015-07-31
Clifford Wolf
Added WORDS parameter to $meminit
commit
|
commitdiff
|
tree
2015-07-30
Clifford Wolf
Fixed flatten $meminit handling
commit
|
commitdiff
|
tree
2015-07-29
Clifford Wolf
Improvements in BLIF back-end
commit
|
commitdiff
|
tree
2015-07-29
Clifford Wolf
Fixed nested mem2reg
commit
|
commitdiff
|
tree
2015-07-27
Clifford Wolf
Don't write a 17th memory bit in ice40/cells_sim (by...
commit
|
commitdiff
|
tree
2015-07-27
Clifford Wolf
Fixed "check" command for inout ports
commit
|
commitdiff
|
tree
2015-07-25
Clifford Wolf
Some cleanups in opt_rmdff
commit
|
commitdiff
|
tree
2015-07-25
Clifford Wolf
Added "miter -assert"
commit
|
commitdiff
|
tree
2015-07-25
Clifford Wolf
Keep modules with $assume (like $assert)
commit
|
commitdiff
|
tree
2015-07-24
Clifford Wolf
Improved $adff simplification
commit
|
commitdiff
|
tree
2015-07-20
Clifford Wolf
iCE40 DFF sim models: init Q regs to 0
commit
|
commitdiff
|
tree
2015-07-18
Clifford Wolf
Fixed techmap processes error msg
commit
|
commitdiff
|
tree
2015-07-18
Clifford Wolf
Avoid tristate warning for blackbox ice40/cells_sim.v
commit
|
commitdiff
|
tree
2015-07-16
Clifford Wolf
Some fixes in "select" command
commit
|
commitdiff
|
tree
2015-07-10
Clifford Wolf
Fixed YosysJS.create_worker() usage of this.url_prefix
commit
|
commitdiff
|
tree
2015-07-06
Clifford Wolf
Improved liberty file test case
commit
|
commitdiff
|
tree
2015-07-06
Clifford Wolf
Updated ABC
commit
|
commitdiff
|
tree
2015-07-06
Clifford Wolf
Do not collect disabled $memwr cells
commit
|
commitdiff
|
tree
2015-07-04
Clifford Wolf
Improved YosysJS WebWorker API
commit
|
commitdiff
|
tree
2015-07-03
Clifford Wolf
Bugfix in fsm_extract
commit
|
commitdiff
|
tree
2015-07-02
Clifford Wolf
Added "synth -nofsm"
commit
|
commitdiff
|
tree
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
commit
|
commitdiff
|
tree
2015-07-01
Clifford Wolf
Added opt_const -clkinv
commit
|
commitdiff
|
tree
2015-06-30
Clifford Wolf
Added logic-loop error handling to freduce
commit
|
commitdiff
|
tree
2015-06-29
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2015-06-29
Clifford Wolf
Bugfix in chparam
commit
|
commitdiff
|
tree
2015-06-29
Clifford Wolf
Added design->rename(module, new_name)
commit
|
commitdiff
|
tree
2015-06-28
Clifford Wolf
Added YosysJS.create_worker()
commit
|
commitdiff
|
tree
2015-06-20
Clifford Wolf
iCE40: set min bram efficiency to 2%
commit
|
commitdiff
|
tree
2015-06-20
Clifford Wolf
Using static mem size of 128 MB in emcc build
commit
|
commitdiff
|
tree
2015-06-19
Clifford Wolf
Added init support to SMV back-end
commit
|
commitdiff
|
tree
2015-06-19
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-19
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-18
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-17
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-17
Clifford Wolf
Added "rename -top new_name"
commit
|
commitdiff
|
tree
2015-06-17
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-16
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-15
Clifford Wolf
Added "synth -nordff -noalumacc"
commit
|
commitdiff
|
tree
2015-06-15
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-15
Clifford Wolf
Progress in SMV back-end
commit
|
commitdiff
|
tree
2015-06-14
Clifford Wolf
Added "write_smv" skeleton
commit
|
commitdiff
|
tree
2015-06-14
Clifford Wolf
Removed debug code from write_smt2
commit
|
commitdiff
|
tree
2015-06-14
Clifford Wolf
Modernized memory_dff (and fixed a bug)
commit
|
commitdiff
|
tree
2015-06-14
Clifford Wolf
Added "memory -nordff"
commit
|
commitdiff
|
tree
2015-06-14
Clifford Wolf
Added write_smt2 -mem
commit
|
commitdiff
|
tree
2015-06-11
Clifford Wolf
Makefile fix for YosysJS build
commit
|
commitdiff
|
tree
2015-06-11
Clifford Wolf
Fixed cstr_buf for std::string with small string optimi...
commit
|
commitdiff
|
tree
2015-06-11
Clifford Wolf
Improvements in cellaigs.cc and "json -aig"
commit
|
commitdiff
|
tree
2015-06-10
Clifford Wolf
AigMaker refactoring
commit
|
commitdiff
|
tree
2015-06-10
Clifford Wolf
Added "json -aig"
commit
|
commitdiff
|
tree
2015-06-10
Clifford Wolf
Renamed "aig" to "aigmap"
commit
|
commitdiff
|
tree
2015-06-10
Clifford Wolf
Fixed cellaigs port extending
commit
|
commitdiff
|
tree
2015-06-09
Clifford Wolf
Added "aig" pass
commit
|
commitdiff
|
tree
2015-06-09
Clifford Wolf
synth_ice40 now flattens by default
commit
|
commitdiff
|
tree
2015-06-09
Clifford Wolf
Added cellaigs API
commit
|
commitdiff
|
tree
2015-06-09
Clifford Wolf
Merge clock inverters in memory_dff
commit
|
commitdiff
|
tree
2015-06-09
Clifford Wolf
Merge branch 'verilog-backend-memV2' of github.com...
commit
|
commitdiff
|
tree
2015-06-08
luke whittlesey
$mem cell in verilog backend : grouped writes by clock
commit
|
commitdiff
|
tree
2015-06-08
Clifford Wolf
Fixed "avail_parameters" handling in module clone/copy
commit
|
commitdiff
|
tree
2015-06-08
Clifford Wolf
Added log_dump() support for IdStrings
commit
|
commitdiff
|
tree
2015-06-08
Clifford Wolf
Fixed handling of parameters with reversed range
commit
|
commitdiff
|
tree
2015-06-04
luke whittlesey
Bug fix in $mem verilog backend + changed tests/bram...
commit
|
commitdiff
|
tree
2015-05-31
Clifford Wolf
Added opt_share -share_all
commit
|
commitdiff
|
tree
2015-05-31
Clifford Wolf
Added iCE40 PLL cells
commit
|
commitdiff
|
tree
2015-05-31
Clifford Wolf
Added liberty dont_use support to dfflibmap
commit
|
commitdiff
|
tree
2015-05-29
Clifford Wolf
Fixed signedness of genvar expressions
commit
|
commitdiff
|
tree
2015-05-26
Clifford Wolf
Added output args to synth_ice40
commit
|
commitdiff
|
tree
2015-05-24
Clifford Wolf
Improvements in BLIF front-end
commit
|
commitdiff
|
tree
2015-05-23
Clifford Wolf
improved ice40 SB_IO sim model
commit
|
commitdiff
|
tree
2015-05-23
Clifford Wolf
Improved "flatten" handlings of inout ports
commit
|
commitdiff
|
tree
2015-05-23
Clifford Wolf
Added simple $dlatch support to opt_rmdff
commit
|
commitdiff
|
tree
2015-05-23
Clifford Wolf
Added ice40 SB_IO sim model
commit
|
commitdiff
|
tree
2015-05-22
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2015-05-22
Clifford Wolf
preserve used $-wires with init attribute in opt_clean
commit
|
commitdiff
|
tree
2015-05-20
Clifford Wolf
Some fixes for $mem in verilog back-end
commit
|
commitdiff
|
tree
2015-05-18
Clifford Wolf
bugfix in blif front-end
commit
|
commitdiff
|
tree
2015-05-17
Clifford Wolf
added vloghtb test_febe.sh
commit
|
commitdiff
|
tree
2015-05-17
Clifford Wolf
Improved .latch support in BLIF front-end
commit
|
commitdiff
|
tree
2015-05-17
Clifford Wolf
Added read_blif command
commit
|
commitdiff
|
tree
2015-05-17
Clifford Wolf
Generalized blifparse API
commit
|
commitdiff
|
tree
2015-05-17
Clifford Wolf
abc/blifparse files reorganization
commit
|
commitdiff
|
tree
2015-05-17
Clifford Wolf
Verific build fixes
commit
|
commitdiff
|
tree
next