projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixed detectSignWidthWorker (ast frontend) for AST_CONCAT
2013-11-03
Clifford Wolf
Fixed detectSignWidthWorker (ast frontend) for AST_CONCAT
commit
|
commitdiff
|
tree
2013-11-02
Clifford Wolf
Behavior should be identical now to rev. 0b4a64ac6adbd6...
commit
|
commitdiff
|
tree
2013-11-02
Clifford Wolf
Added roadmap to readme file
commit
|
commitdiff
|
tree
2013-11-02
Clifford Wolf
Various ast changes for early expression width detection...
commit
|
commitdiff
|
tree
2013-10-31
Clifford Wolf
Added DFFSR cell to techlibs/cmos/cmos_cells.lib
commit
|
commitdiff
|
tree
2013-10-31
Clifford Wolf
Added placeholder check to dfflibmap and cleaned up...
commit
|
commitdiff
|
tree
2013-10-31
Clifford Wolf
Changed MiniSAT feater defines again
commit
|
commitdiff
|
tree
2013-10-31
Clifford Wolf
Added paragraph to README file to avoid mycells.lib...
commit
|
commitdiff
|
tree
2013-10-31
Clifford Wolf
README file typo fix
commit
|
commitdiff
|
tree
2013-10-31
Clifford Wolf
Some additions to the README file
commit
|
commitdiff
|
tree
2013-10-30
Clifford Wolf
Fixed ezminisat C++ errors: undef PRIi64
commit
|
commitdiff
|
tree
2013-10-29
Clifford Wolf
Added detection for endless recursion in fsm_detect...
commit
|
commitdiff
|
tree
2013-10-29
Clifford Wolf
Fixed help message typo (memory pass)
commit
|
commitdiff
|
tree
2013-10-29
Clifford Wolf
Added -format option to splitnets
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Merge pull request #12 from jameswalmsley/master
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Fixed get_share_file_name() for installed yosys
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Cleanups in xilinx examples
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Added synth_xilinx command
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Added API and Makefile rules for share/ files
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Added design->full_selection() helper method
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Moved simple xilinx counter sim example to subdir
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Xilinx mojo_counter example is now working
commit
|
commitdiff
|
tree
2013-10-27
Clifford Wolf
Fixed hex string generation bug in edif backend
commit
|
commitdiff
|
tree
2013-10-26
Clifford Wolf
Renamed techlibs/xilinx7 to techlibs/xilinx
commit
|
commitdiff
|
tree
2013-10-26
Clifford Wolf
Improved xilinx mojo_counter example
commit
|
commitdiff
|
tree
2013-10-26
Clifford Wolf
Added support for i/o buffers to iopadmap
commit
|
commitdiff
|
tree
2013-10-26
Clifford Wolf
Added another xilinx example (not funcional yet)
commit
|
commitdiff
|
tree
2013-10-24
Clifford Wolf
Added support for sr flip-flops to dfflibmap
commit
|
commitdiff
|
tree
2013-10-24
Clifford Wolf
Added support for complex set-reset flip-flops in proc_dff
commit
|
commitdiff
|
tree
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (passes)
commit
|
commitdiff
|
tree
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (backends)
commit
|
commitdiff
|
tree
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (frontends)
commit
|
commitdiff
|
tree
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (kernel)
commit
|
commitdiff
|
tree
2013-10-23
Clifford Wolf
Fixed parsing of value-less attributes in ilang
commit
|
commitdiff
|
tree
2013-10-21
Clifford Wolf
Improved handling of dff with async resets
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Added handling of multiple async paths in proc_arst
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Changed NEW_WIRE API to return the wire, not the signal
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Added dffsr support to proc_dff pass
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Added RTLIL NEW_WIRE macro
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Bugfix in dffsr techmap rules
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Added techmap rules for $sr, $dffsr and $dlatch
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_...
commit
|
commitdiff
|
tree
2013-10-18
Clifford Wolf
Added $sr, $dffsr and $dlatch cell types
commit
|
commitdiff
|
tree
2013-10-17
Clifford Wolf
Improved way of connecting ports in techmap pass
commit
|
commitdiff
|
tree
2013-10-17
Clifford Wolf
Only prefer connected signals iff they have public...
commit
|
commitdiff
|
tree
2013-10-17
Clifford Wolf
Added -buf, -true and -false options to blif backend
commit
|
commitdiff
|
tree
2013-10-17
Clifford Wolf
Fixed bug in synthesis of memories that are never written
commit
|
commitdiff
|
tree
2013-10-17
Clifford Wolf
Avoid re-arranging signals on register outputs
commit
|
commitdiff
|
tree
2013-10-17
Clifford Wolf
Fixed detection of major wires in opt_clean
commit
|
commitdiff
|
tree
2013-10-16
Clifford Wolf
Added iopadmap pass
commit
|
commitdiff
|
tree
2013-10-16
Clifford Wolf
Moved dfflibmap from passes/dfflibmap to passes/techmap
commit
|
commitdiff
|
tree
2013-10-16
Clifford Wolf
Added map, par and bitgen to xlinx7 example
commit
|
commitdiff
|
tree
2013-10-16
Clifford Wolf
Fixed parsing or liberty file statements such as 'clocked_on...
commit
|
commitdiff
|
tree
2013-10-11
Clifford Wolf
Added recommended apt-get commands to README
commit
|
commitdiff
|
tree
2013-10-11
Clifford Wolf
Fixed minisat include
commit
|
commitdiff
|
tree
2013-10-03
Clifford Wolf
Pinned ABC revision to 0f9e5488ced3
commit
|
commitdiff
|
tree
2013-09-17
Clifford Wolf
Improvements in EDIF backend
commit
|
commitdiff
|
tree
2013-09-15
Clifford Wolf
Added additional options to BLIF backend
commit
|
commitdiff
|
tree
2013-09-15
Clifford Wolf
Added BLIF backend
commit
|
commitdiff
|
tree
2013-09-15
Clifford Wolf
A couple of small fixes in SPICE backend
commit
|
commitdiff
|
tree
2013-09-15
Clifford Wolf
Moved common techlib files to techlibs/common
commit
|
commitdiff
|
tree
2013-09-15
Clifford Wolf
Updated manual
commit
|
commitdiff
|
tree
2013-09-14
Clifford Wolf
Added spice testbench to techlibs/cmos
commit
|
commitdiff
|
tree
2013-09-14
Clifford Wolf
Added spice backend
commit
|
commitdiff
|
tree
2013-09-03
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2013-09-03
Clifford Wolf
Added -selected option to various backends
commit
|
commitdiff
|
tree
2013-08-28
Clifford Wolf
Encode large (>32 bits) parameters as hex string in...
commit
|
commitdiff
|
tree
2013-08-27
Clifford Wolf
Improved edif backend
commit
|
commitdiff
|
tree
2013-08-27
Clifford Wolf
Added mapping to techlibs/xilinx7 testbench (exposes...
commit
|
commitdiff
|
tree
2013-08-22
Clifford Wolf
Added simple xilinx7 technology mapping files
commit
|
commitdiff
|
tree
2013-08-22
Clifford Wolf
More explicit integer output in verilog backend
commit
|
commitdiff
|
tree
2013-08-22
Clifford Wolf
Added correct encoding of identifiers in EDIF backend
commit
|
commitdiff
|
tree
2013-08-22
Clifford Wolf
Added edif backend (still under construction)
commit
|
commitdiff
|
tree
2013-08-21
Clifford Wolf
Merge pull request #10 from hansiglaser/master
commit
|
commitdiff
|
tree
2013-08-21
Clifford Wolf
Some minor documentation fixes
commit
|
commitdiff
|
tree
2013-08-20
Clifford Wolf
Merge pull request #9 from hansiglaser/master
commit
|
commitdiff
|
tree
2013-08-20
Clifford Wolf
Merge pull request #8 from hansiglaser/master
commit
|
commitdiff
|
tree
2013-08-20
Clifford Wolf
Added cleaning of old version_* files to version_*...
commit
|
commitdiff
|
tree
2013-08-20
Clifford Wolf
Added version info to yosys command and added -V option
commit
|
commitdiff
|
tree
2013-08-20
Clifford Wolf
Minor fixes in abc build instructions and abc pass
commit
|
commitdiff
|
tree
2013-08-19
Clifford Wolf
Fixed width and sign detection for ** operator
commit
|
commitdiff
|
tree
2013-08-19
Clifford Wolf
Added support for bufif0/bufif1 primitives
commit
|
commitdiff
|
tree
2013-08-19
Clifford Wolf
Improved ast dumping (ast/verilog frontend)
commit
|
commitdiff
|
tree
2013-08-15
Clifford Wolf
Implemented same div-by-zero behavior as found in other...
commit
|
commitdiff
|
tree
2013-08-15
Clifford Wolf
Fixed signed div/mod in const eval (rounding and stuff)
commit
|
commitdiff
|
tree
2013-08-15
Clifford Wolf
Added ezsat api for creation of anonymous vectors
commit
|
commitdiff
|
tree
2013-08-15
Clifford Wolf
Added sat -ignore_div_by_zero switch
commit
|
commitdiff
|
tree
2013-08-15
Clifford Wolf
Added eval -brute_force_equiv_checker_x mode
commit
|
commitdiff
|
tree
2013-08-12
Clifford Wolf
Added support for "2**n" shifter encoding
commit
|
commitdiff
|
tree
2013-08-11
Clifford Wolf
Added SAT support for $div and $mod cells
commit
|
commitdiff
|
tree
2013-08-11
Clifford Wolf
Added "clean -purge" and ";;;" support
commit
|
commitdiff
|
tree
2013-08-11
Clifford Wolf
Added ";;" as shortcut for "; clean;"
commit
|
commitdiff
|
tree
2013-08-10
Clifford Wolf
freduce performance fix
commit
|
commitdiff
|
tree
2013-08-09
Clifford Wolf
Added $div and $mod technology mapping
commit
|
commitdiff
|
tree
2013-08-09
Clifford Wolf
Added techmap -opt mode
commit
|
commitdiff
|
tree
2013-08-09
Clifford Wolf
Some fixes to improve determinism
commit
|
commitdiff
|
tree
2013-08-08
Clifford Wolf
Sort ctrl signals in fsm_extract
commit
|
commitdiff
|
tree
2013-08-08
Clifford Wolf
Added -try option to freduce pass
commit
|
commitdiff
|
tree
2013-08-08
Clifford Wolf
Added "clean" command (less verbose opt_clean)
commit
|
commitdiff
|
tree
2013-08-07
Clifford Wolf
Fixed topological ordering in freduce pass
commit
|
commitdiff
|
tree
next