index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
backends
Commit message (
Expand
)
Author
Age
*
Added init support to SMV back-end
Clifford Wolf
2015-06-19
*
Progress in SMV back-end
Clifford Wolf
2015-06-19
*
Progress in SMV back-end
Clifford Wolf
2015-06-19
*
Progress in SMV back-end
Clifford Wolf
2015-06-18
*
Progress in SMV back-end
Clifford Wolf
2015-06-17
*
Progress in SMV back-end
Clifford Wolf
2015-06-17
*
Progress in SMV back-end
Clifford Wolf
2015-06-16
*
Progress in SMV back-end
Clifford Wolf
2015-06-15
*
Progress in SMV back-end
Clifford Wolf
2015-06-15
*
Added "write_smv" skeleton
Clifford Wolf
2015-06-15
*
Removed debug code from write_smt2
Clifford Wolf
2015-06-14
*
Added write_smt2 -mem
Clifford Wolf
2015-06-14
*
Fixed cstr_buf for std::string with small string optimization
Clifford Wolf
2015-06-11
*
Improvements in cellaigs.cc and "json -aig"
Clifford Wolf
2015-06-11
*
AigMaker refactoring
Clifford Wolf
2015-06-10
*
Added "json -aig"
Clifford Wolf
2015-06-10
*
$mem cell in verilog backend : grouped writes by clock
luke whittlesey
2015-06-08
*
Bug fix in $mem verilog backend + changed tests/bram flow of make test.
luke whittlesey
2015-06-04
*
Improvements in BLIF front-end
Clifford Wolf
2015-05-24
*
Some fixes for $mem in verilog back-end
Clifford Wolf
2015-05-20
*
Merge pull request #63 from wluker/verilog-backend-mem
Clifford Wolf
2015-05-11
|
\
|
*
Fixed bug in $mem cell verilog code generation.
luke whittlesey
2015-05-11
*
|
Disabled broken $mem support in verilog backend
Clifford Wolf
2015-05-10
|
/
*
Made changes recommended by Clifford Wolf ...
luke whittlesey
2015-05-10
*
Verilog backend for $mem cells should now be able to handle different
luke whittlesey
2015-05-08
*
Added support for $mem cells in the verilog backend.
luke whittlesey
2015-05-07
*
Minor fixes in handling of "init" attribute
Clifford Wolf
2015-04-09
*
Removed "techmap -share_map" (use "-map +/filename" instead)
Clifford Wolf
2015-04-08
*
Added "port_directions" to write_json output
Clifford Wolf
2015-04-06
*
Added "init" attribute support to verilog backend
Clifford Wolf
2015-04-04
*
Update README
Ahmed Irfan
2015-04-03
*
Delete btor.ys
Ahmed Irfan
2015-04-03
*
Update README
Ahmed Irfan
2015-04-03
*
separated memory next from write cell
Ahmed Irfan
2015-04-03
*
Added Verilog backend $dffsr support
Clifford Wolf
2015-03-18
*
Documentation for JSON format, added attributes
Clifford Wolf
2015-03-06
*
Json bugfix
Clifford Wolf
2015-03-03
*
Json backend improvements
Clifford Wolf
2015-03-03
*
Added write_blif -attr
Clifford Wolf
2015-03-02
*
Added JSON backend
Clifford Wolf
2015-03-02
*
Added $assume support to write_smt2
Clifford Wolf
2015-02-26
*
Minor "write_smt2" help msg change
Clifford Wolf
2015-02-22
*
Added "<mod>_a" and "<mod>_i" to write_smt2 output
Clifford Wolf
2015-02-22
*
Fixed "write_verilog -attr2comment" handling of "*/" in strings
Clifford Wolf
2015-02-13
*
Added EDIF backend support for multi-bit cell ports
Clifford Wolf
2015-02-01
*
Shorter "dump" options
Clifford Wolf
2015-01-31
*
Added ENABLE_NDEBUG makefile options
Clifford Wolf
2015-01-24
*
Added dict/pool.sort()
Clifford Wolf
2015-01-24
*
Cosmetic changes in verilog output format
Clifford Wolf
2015-01-02
*
Fixed memory->start_offset handling
Clifford Wolf
2015-01-01
[next]