projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Sort ctrl signals in fsm_extract
[yosys.git]
/
passes
/
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
2013-04-13
Clifford Wolf
Fixed a bug in opt_const when optimizing 1-bit compares...
tree
|
commitdiff
2013-04-07
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-04-05
Clifford Wolf
Merge pull request #5 from hansiglaser/master
tree
|
commitdiff
2013-04-05
Johann Glaser
fsm_export: optionally use binary state encoding as...
tree
|
commitdiff
2013-04-05
Clifford Wolf
Merge pull request #4 from hansiglaser/master
tree
|
commitdiff
2013-04-05
Johann Glaser
fsm_export: specify KISS filename on command line
tree
|
commitdiff
2013-03-29
Clifford Wolf
Improved opt_share for reduce cells
tree
|
commitdiff
2013-03-29
Clifford Wolf
Improved opt_share for commutative standard cells
tree
|
commitdiff
2013-03-28
Clifford Wolf
Added proper TECHMAP_FAIL support and added support...
tree
|
commitdiff
2013-03-28
Clifford Wolf
Implemented proper handling of stub placeholder modules
tree
|
commitdiff
2013-03-27
Clifford Wolf
Added yosys-svgviewer to build system and renamed filte...
tree
|
commitdiff
2013-03-26
Clifford Wolf
Collect parameters in hierarchy -generate (and do nothi...
tree
|
commitdiff
2013-03-25
Clifford Wolf
Added nosync attribute and some async reset related...
tree
|
commitdiff
2013-03-25
Clifford Wolf
Improved method for finding fsm_expand candidates
tree
|
commitdiff
2013-03-25
Clifford Wolf
Added hierarchy -generate command for generating skelet...
tree
|
commitdiff
2013-03-24
Clifford Wolf
Changed fsm_expand to merge multiplexers more aggressively
tree
|
commitdiff
2013-03-21
Clifford Wolf
Added -nomap option to memory pass
tree
|
commitdiff
2013-03-19
Clifford Wolf
Merge branch 'hansiglaser-master'
tree
|
commitdiff
2013-03-19
Clifford Wolf
added optimizations for single-bit $eq/$ne with constan...
tree
|
commitdiff
2013-03-19
Clifford Wolf
improved $mux optimization in opt_const
tree
|
commitdiff
2013-03-19
Clifford Wolf
keep $mux and $_MUX_ optimizations separate in opt_const
tree
|
commitdiff
2013-03-18
Johann Glaser
added one more suggestion to optimize MUXes in pass...
tree
|
commitdiff
2013-03-18
Johann Glaser
also optimize single-bit "$mux" cells in pass "opt_cons...
tree
|
commitdiff
2013-03-18
Clifford Wolf
Merge branch 'hansi'
tree
|
commitdiff
2013-03-18
Clifford Wolf
Removed date from auto-generated passes/techmap/stdcell...
tree
|
commitdiff
2013-03-18
Clifford Wolf
Fixed abc eeror handling
tree
|
commitdiff
2013-03-18
Johann Glaser
add header to autogenerated file on its origin
tree
|
commitdiff
2013-03-18
Johann Glaser
fixed typos
tree
|
commitdiff
2013-03-17
Clifford Wolf
Fixed strerrno vs. strerror types in ABC pass
tree
|
commitdiff
2013-03-17
Clifford Wolf
Merge branch 'hansi'
tree
|
commitdiff
2013-03-17
Clifford Wolf
Cleaned up ABC file/io error handling
tree
|
commitdiff
2013-03-17
Johann Glaser
added error checking at execution of ABC
tree
|
commitdiff
2013-03-17
Johann Glaser
corrected typos
tree
|
commitdiff
2013-03-15
Clifford Wolf
Fixed gcc warnings and added error handling to shell...
tree
|
commitdiff
2013-03-15
Clifford Wolf
Added scc pass (find logic loops)
tree
|
commitdiff
2013-03-15
Clifford Wolf
Added [[CITE]] tags to abc and fsm_extract passes
tree
|
commitdiff
2013-03-10
Clifford Wolf
Fixed detection of public wires in opt_rmunused
tree
|
commitdiff
2013-03-08
Clifford Wolf
Automatically select new objects in abc and techmap...
tree
|
commitdiff
2013-03-08
Clifford Wolf
Split extract -attr into extract -cell_attr and -wire_attr
tree
|
commitdiff
next