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]
/
kernel
/
2013-08-06
Clifford Wolf
Fixed SigPool::del() method
tree
|
commitdiff
2013-08-06
Clifford Wolf
Added proper deallocation of history buffer
tree
|
commitdiff
2013-07-27
Clifford Wolf
Added "design" command (-reset, -save, -load)
tree
|
commitdiff
2013-07-25
Clifford Wolf
Added "help -write-web-command-reference-manual"
tree
|
commitdiff
2013-07-23
Clifford Wolf
Added $lut cells and abc lut mapping support
tree
|
commitdiff
2013-07-09
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-07-09
Clifford Wolf
Fixed shift ops with large right hand side
tree
|
commitdiff
2013-06-19
Clifford Wolf
Added "eval" pass
tree
|
commitdiff
2013-06-18
Clifford Wolf
Fixed build with clang
tree
|
commitdiff
2013-06-18
Clifford Wolf
Added RTLIL::Module::fixup_ports() API and RTLIL::...
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 fixes for bugs found using xsthammer
tree
|
commitdiff
2013-06-12
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-12
Clifford Wolf
Another fix for a bug found using xsthammer
tree
|
commitdiff
2013-06-10
Clifford Wolf
Sign-extension related fixes in SatGen and AST frontend
tree
|
commitdiff
2013-06-10
Clifford Wolf
Improvements and fixes in SAT code
tree
|
commitdiff
2013-06-10
Clifford Wolf
Added history file read/write to driver
tree
|
commitdiff
2013-06-09
Clifford Wolf
Implemented temporal induction proofs in sat_solve
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-09
Clifford Wolf
Set rl_basic_word_break_characters in shell
tree
|
commitdiff
2013-06-08
Clifford Wolf
Improved readline tab completion
tree
|
commitdiff
2013-06-08
Clifford Wolf
Look for yosys-abc and yosys-svgviewer where the main...
tree
|
commitdiff
2013-06-08
Clifford Wolf
Moved cmds from kernel/ to passes/cmds/
tree
|
commitdiff
2013-06-08
Clifford Wolf
Added support for shifter cells to SAT generator
tree
|
commitdiff
2013-06-08
Clifford Wolf
Added "cd" and "ls" commands for convenience
tree
|
commitdiff
2013-06-08
Clifford Wolf
Various improvements in sat_solve pass and SAT generator
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-02
Clifford Wolf
Added "dump" command (part ilang backend)
tree
|
commitdiff
2013-05-24
Clifford Wolf
Added log_assert() api
tree
|
commitdiff
2013-05-24
Clifford Wolf
Added log_abort() api
tree
|
commitdiff
2013-05-23
Clifford Wolf
Only initialize TCL interpreter when needed
tree
|
commitdiff
2013-05-23
Clifford Wolf
Added labels to "help -write-tex-command-reference...
tree
|
commitdiff
2013-05-23
Clifford Wolf
Added support for processes to show command
tree
|
commitdiff
2013-05-23
Clifford Wolf
Fixed show command for constant assignments
tree
|
commitdiff
2013-05-16
Clifford Wolf
Merge branch 'bugfix'
tree
|
commitdiff
2013-05-02
Clifford Wolf
Added tcl "yosys -import" command
tree
|
commitdiff
2013-05-01
Clifford Wolf
Improved/simplified TCL bindings
tree
|
commitdiff
2013-04-15
Clifford Wolf
Fixed "show -format ..." command line parsing
tree
|
commitdiff
2013-04-01
Clifford Wolf
Fixed/improved handling of colored wires in show command
tree
|
commitdiff
2013-04-01
Clifford Wolf
Added support for @<set-name> in expand select ops...
tree
|
commitdiff
2013-04-01
Clifford Wolf
Removed 4096 bytes limit for size of command from scrip...
tree
|
commitdiff
2013-04-01
Clifford Wolf
Added -color <color> <selection> option to show command
tree
|
commitdiff
2013-03-31
Clifford Wolf
Fixed "select" for "%%" stmt with emty stack
tree
|
commitdiff
2013-03-31
Clifford Wolf
Added "script" command
tree
|
commitdiff
2013-03-29
Clifford Wolf
Improved opt_share for reduce cells
tree
|
commitdiff
2013-03-28
Clifford Wolf
Implemented TCL support (only via -c option at the...
tree
|
commitdiff
2013-03-28
Clifford Wolf
Implemented proper handling of stub placeholder modules
tree
|
commitdiff
2013-03-27
Clifford Wolf
Added check: only one module for "show" unless format...
tree
|
commitdiff
2013-03-27
Clifford Wolf
Now using SVG and yosys-svgviewer per default in show...
tree
|
commitdiff
2013-03-26
Clifford Wolf
Create nice errors when calling RTLIL::Module::derive...
tree
|
commitdiff
2013-03-25
Clifford Wolf
Added hierarchy -generate command for generating skelet...
tree
|
commitdiff
2013-03-24
Clifford Wolf
Fixed handling of show -viewer
tree
|
commitdiff
2013-03-24
Clifford Wolf
Fixed handling of internal signals in show command
tree
|
commitdiff
2013-03-24
Clifford Wolf
Improved show -colors color assignments
tree
|
commitdiff
2013-03-24
Clifford Wolf
Added show -strech and renamed -widthlabels to -width
tree
|
commitdiff
2013-03-24
Clifford Wolf
Added -widthlabels options to chow command
tree
|
commitdiff
2013-03-24
Clifford Wolf
Added -colors option to show command
tree
|
commitdiff
2013-03-21
Clifford Wolf
Added help -write-tex-command-reference-manual option
tree
|
commitdiff
2013-03-21
Clifford Wolf
Added -S option for simple synthesis to gate logic
tree
|
commitdiff
2013-03-21
Clifford Wolf
Disabled the per-default dumping of ILANG code
tree
|
commitdiff
2013-03-19
Clifford Wolf
Merge branch 'hansiglaser-master'
tree
|
commitdiff
2013-03-18
Johann Glaser
fixed a crash when lines start with whitespace
tree
|
commitdiff
2013-03-18
Clifford Wolf
Merge branch 'hansi'
tree
|
commitdiff
2013-03-18
Johann Glaser
fixed 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 additional functionality and cleanups in sigtools...
tree
|
commitdiff
2013-03-14
Clifford Wolf
Changed prefix for selection operators from # to %
tree
|
commitdiff
2013-03-14
Clifford Wolf
Added #ci and #co selection operators
tree
|
commitdiff
2013-03-14
Clifford Wolf
Added more features to #x selection operator
tree
|
commitdiff
2013-03-14
Clifford Wolf
Added "select -write" command
tree
|
commitdiff
2013-03-14
Clifford Wolf
Added $sr cell type to celltypes.h
tree
|
commitdiff
2013-03-10
Clifford Wolf
Added shell escape to command language
tree
|
commitdiff
2013-03-08
Clifford Wolf
Fixed and improved #x selection operator
tree
|
commitdiff
2013-03-08
Clifford Wolf
Added ## selection operator (union all on stack)
tree
|
commitdiff
2013-03-08
Clifford Wolf
Added select -count mode
tree
|
commitdiff
2013-03-06
Clifford Wolf
Fixed parsing of select #x<num> operator
tree
|
commitdiff
2013-03-06
Clifford Wolf
Improved error message on failed module load
tree
|
commitdiff
2013-03-06
Clifford Wolf
Added support for loadable modules (aka plugins)
tree
|
commitdiff
2013-03-05
Clifford Wolf
Implemented much better #x select operator
tree
|
commitdiff
2013-03-03
Clifford Wolf
Added design->select() api and use it in extract pass
tree
|
commitdiff
2013-03-03
Clifford Wolf
Added support for #x:<num> select stmt
tree
|
commitdiff
2013-03-03
Clifford Wolf
Handle known inout ports as outputs in show command
tree
|
commitdiff
2013-03-03
Clifford Wolf
Minor hotfixes (mostly gcc build fixes)
tree
|
commitdiff
2013-03-03
Clifford Wolf
Added library support to celltypes class and show pass
tree
|
commitdiff
2013-03-03
Clifford Wolf
Implemented general handler for selection arguments
tree
|
commitdiff
2013-03-01
Clifford Wolf
Added id2cstr API
tree
|
commitdiff
2013-03-01
Clifford Wolf
Do not unescape identifiers starting with \$
tree
|
commitdiff
2013-02-28
Clifford Wolf
Added more help messages
tree
|
commitdiff
2013-02-28
Clifford Wolf
Improved help message for "shell" command
tree
|
commitdiff
2013-02-28
Clifford Wolf
Added online help for "show" and "hierarchy" commands
tree
|
commitdiff
2013-02-28
Clifford Wolf
Added help for command line options
tree
|
commitdiff
2013-02-28
Clifford Wolf
Added help msg to select command (and minor improvements)
tree
|
commitdiff
2013-02-28
Clifford Wolf
Added more help messages (extract, abc, dfflibmap)
tree
|
commitdiff
2013-02-28
Clifford Wolf
Added "help" command
tree
|
commitdiff
2013-02-27
Clifford Wolf
Changed default frontend for "-" to "script" (was:...
tree
|
commitdiff
2013-02-27
Clifford Wolf
Implemented basic functionality of "extract" pass
tree
|
commitdiff
next