projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Disabled const folding of ternary op when select is undef
[yosys.git]
/
passes
/
2013-11-07
Clifford Wolf
Renamed extend_un0() to extend_u0() and use it in genrtlil
tree
|
commitdiff
2013-11-07
Clifford Wolf
Fixed type of sign extension in opt_const $eq/$ne handling
tree
|
commitdiff
2013-11-07
Clifford Wolf
Fixed $eq/$ne bitwise optimization in opt_const
tree
|
commitdiff
2013-11-06
Clifford Wolf
Added handling of unconnected/unspecified signals to...
tree
|
commitdiff
2013-11-06
Clifford Wolf
Added correct RTL undef handling to eval vloghammer...
tree
|
commitdiff
2013-11-06
Clifford Wolf
Added eval -vloghammer_report mode
tree
|
commitdiff
2013-11-05
Clifford Wolf
Added support for "keep" attributes on wires
tree
|
commitdiff
2013-11-03
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-11-03
Clifford Wolf
Added resolution of positional arguments to hierarchy...
tree
|
commitdiff
2013-10-31
Clifford Wolf
Added placeholder check to dfflibmap and cleaned up...
tree
|
commitdiff
2013-10-29
Clifford Wolf
Added detection for endless recursion in fsm_detect...
tree
|
commitdiff
2013-10-29
Clifford Wolf
Fixed help message typo (memory pass)
tree
|
commitdiff
2013-10-29
Clifford Wolf
Added -format option to splitnets
tree
|
commitdiff
2013-10-26
Clifford Wolf
Added support for i/o buffers to iopadmap
tree
|
commitdiff
2013-10-24
Clifford Wolf
Added support for sr flip-flops to dfflibmap
tree
|
commitdiff
2013-10-24
Clifford Wolf
Added support for complex set-reset flip-flops in proc_dff
tree
|
commitdiff
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (passes)
tree
|
commitdiff
2013-10-21
Clifford Wolf
Improved handling of dff with async resets
tree
|
commitdiff
2013-10-18
Clifford Wolf
Added handling of multiple async paths in proc_arst
tree
|
commitdiff
2013-10-18
Clifford Wolf
Added dffsr support to proc_dff pass
tree
|
commitdiff
2013-10-17
Clifford Wolf
Improved way of connecting ports in techmap pass
tree
|
commitdiff
2013-10-17
Clifford Wolf
Only prefer connected signals iff they have public...
tree
|
commitdiff
2013-10-17
Clifford Wolf
Fixed bug in synthesis of memories that are never written
tree
|
commitdiff
2013-10-17
Clifford Wolf
Avoid re-arranging signals on register outputs
tree
|
commitdiff
2013-10-17
Clifford Wolf
Fixed detection of major wires in opt_clean
tree
|
commitdiff
2013-10-16
Clifford Wolf
Added iopadmap pass
tree
|
commitdiff
2013-10-16
Clifford Wolf
Moved dfflibmap from passes/dfflibmap to passes/techmap
tree
|
commitdiff
2013-10-16
Clifford Wolf
Fixed parsing or liberty file statements such as 'clock...
tree
|
commitdiff
2013-09-15
Clifford Wolf
Moved common techlib files to techlibs/common
tree
|
commitdiff
2013-08-21
Clifford Wolf
Merge pull request #10 from hansiglaser/master
tree
|
commitdiff
2013-08-21
Clifford Wolf
Some minor documentation fixes
tree
|
commitdiff
2013-08-20
Clifford Wolf
Minor fixes in abc build instructions and abc pass
tree
|
commitdiff
2013-08-15
Clifford Wolf
Added sat -ignore_div_by_zero switch
tree
|
commitdiff
2013-08-15
Clifford Wolf
Added eval -brute_force_equiv_checker_x mode
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added "clean -purge" and ";;;" support
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added ";;" as shortcut for "; clean;"
tree
|
commitdiff
2013-08-10
Clifford Wolf
freduce performance fix
tree
|
commitdiff
2013-08-09
Clifford Wolf
Added techmap -opt mode
tree
|
commitdiff
2013-08-09
Clifford Wolf
Some fixes to improve determinism
tree
|
commitdiff
2013-08-08
Clifford Wolf
Sort ctrl signals in fsm_extract
tree
|
commitdiff
2013-08-08
Clifford Wolf
Added -try option to freduce pass
tree
|
commitdiff
2013-08-08
Clifford Wolf
Added "clean" command (less verbose opt_clean)
tree
|
commitdiff
2013-08-07
Clifford Wolf
Fixed topological ordering in freduce pass
tree
|
commitdiff
2013-08-07
Clifford Wolf
Improved handling of private names in opt_clean and...
tree
|
commitdiff
2013-08-06
Clifford Wolf
Small bugfixes in freduce pass
tree
|
commitdiff
2013-08-06
Clifford Wolf
Added freduce command
tree
|
commitdiff
2013-07-27
Clifford Wolf
Added "design" command (-reset, -save, -load)
tree
|
commitdiff
2013-07-24
Clifford Wolf
Automatically run "proc" on extract map files
tree
|
commitdiff
2013-07-23
Clifford Wolf
Added $lut cells and abc lut mapping support
tree
|
commitdiff
2013-07-10
Clifford Wolf
Bugfixes for empty signal vectors
tree
|
commitdiff
2013-07-07
Clifford Wolf
Added opt_clean -purge option
tree
|
commitdiff
2013-07-07
Clifford Wolf
Fixed handling of $eq and $ne in opt_const
tree
|
commitdiff
2013-06-23
Clifford Wolf
Added SAT support for -all/-max with -verify
tree
|
commitdiff
2013-06-20
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-20
Clifford Wolf
Added timout functionality to SAT solver
tree
|
commitdiff
2013-06-19
Clifford Wolf
Added renaming of wires and cells to "rename" command
tree
|
commitdiff
2013-06-19
Clifford Wolf
Added "eval" pass
tree
|
commitdiff
2013-06-18
Clifford Wolf
Added splitnets command
tree
|
commitdiff
2013-06-15
Clifford Wolf
Added support for "assign" statements in abc vlparse
tree
|
commitdiff
2013-06-14
Clifford Wolf
Fixed even more ConstEval bugs found using xsthammer
tree
|
commitdiff
2013-06-13
Clifford Wolf
Added consteval testing to xsthammer and fixed bugs
tree
|
commitdiff
2013-06-13
Clifford Wolf
More xsthammer improvements (using xst 14.5 now)
tree
|
commitdiff
2013-06-12
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-12
Clifford Wolf
Added "scatter" command
tree
|
commitdiff
2013-06-12
Clifford Wolf
Renamed yosys-show temp files to be dot-files in the...
tree
|
commitdiff
2013-06-10
Clifford Wolf
Improvements and fixes in SAT code
tree
|
commitdiff
2013-06-10
Clifford Wolf
Added "rename" command
tree
|
commitdiff
2013-06-09
Clifford Wolf
Renamed "sat_solve" pass to "sat"
tree
|
commitdiff
2013-06-09
Clifford Wolf
Implemented temporal induction proofs in sat_solve
tree
|
commitdiff
2013-06-09
Clifford Wolf
Added support for non-temporal proofs to sat_solve
tree
|
commitdiff
2013-06-09
Clifford Wolf
Re-organization in sat_solver pass for temporal induction
tree
|
commitdiff
2013-06-09
Clifford Wolf
Added ezSAT api support for don't care values in models
tree
|
commitdiff
2013-06-09
Clifford Wolf
Fixed handling of $_XOR_ in SAT generator
tree
|
commitdiff
2013-06-09
Clifford Wolf
Added sequential solving support to sat_solve
tree
|
commitdiff
2013-06-08
Clifford Wolf
Look for yosys-abc and yosys-svgviewer where the main...
tree
|
commitdiff
2013-06-08
Clifford Wolf
Added "make abc" and "make install-abc"
tree
|
commitdiff
2013-06-08
Clifford Wolf
Moved cmds from kernel/ to passes/cmds/
tree
|
commitdiff
2013-06-08
Clifford Wolf
Fixed typo is sat_solve help msg
tree
|
commitdiff
2013-06-08
Clifford Wolf
Added support for shifter cells to SAT generator
tree
|
commitdiff
2013-06-08
Clifford Wolf
Various improvements in sat_solve pass and SAT generator
tree
|
commitdiff
2013-06-08
Clifford Wolf
Added -all and -max options to sat_solve
tree
|
commitdiff
2013-06-08
Clifford Wolf
Improved auto-detection of -show signals in sat_solve
tree
|
commitdiff
2013-06-07
Clifford Wolf
Improved sat generator and sat_solve pass
tree
|
commitdiff
2013-06-07
Clifford Wolf
Added SAT generator and simple sat_solve command
tree
|
commitdiff
2013-06-05
Clifford Wolf
Renamed opt_rmunused to opt_clean
tree
|
commitdiff
2013-05-26
Clifford Wolf
Fixed techmap/flatten for positional module arguments
tree
|
commitdiff
2013-05-26
Clifford Wolf
Improved log messages generated by hierarchy pass
tree
|
commitdiff
2013-05-24
Clifford Wolf
Added -nodetect option to fsm pass
tree
|
commitdiff
2013-05-24
Clifford Wolf
Improved FSM one-hot encoding, added binary encoding
tree
|
commitdiff
2013-05-24
Clifford Wolf
Added log_abort() api
tree
|
commitdiff
2013-05-23
Clifford Wolf
Fixed a gcc vs. clang determinism problem in abc pass
tree
|
commitdiff
2013-05-23
Clifford Wolf
Fixed memory corruption bug in opt_rmunused
tree
|
commitdiff
2013-05-23
Clifford Wolf
Added missing newline to some error messages
tree
|
commitdiff
2013-05-23
Clifford Wolf
Some improvements in opt_rmdff
tree
|
commitdiff
2013-05-17
Clifford Wolf
Fixed to aggressive x-folding in opt_const
tree
|
commitdiff
2013-05-16
Clifford Wolf
Merge branch 'bugfix'
tree
|
commitdiff
2013-04-27
Clifford Wolf
Added support for const cell inputs in techmap
tree
|
commitdiff
2013-04-26
Clifford Wolf
Added "flatten" pass
tree
|
commitdiff
2013-04-26
Clifford Wolf
Fixed hierarchy pass for hierarchies of parametric...
tree
|
commitdiff
2013-04-15
Clifford Wolf
Added "submod -name ..." support
tree
|
commitdiff
next