index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
Commit message (
Collapse
)
Author
Age
*
Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API
Clifford Wolf
2013-06-18
|
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
|
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
|
*
More fixes for bugs found using xsthammer
Clifford Wolf
2013-06-13
|
*
Another fix for a bug found using xsthammer
Clifford Wolf
2013-06-12
|
*
Sign-extension related fixes in SatGen and AST frontend
Clifford Wolf
2013-06-10
|
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
|
*
Added history file read/write to driver
Clifford Wolf
2013-06-10
|
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
|
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
|
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
|
*
Set rl_basic_word_break_characters in shell
Clifford Wolf
2013-06-09
|
*
Improved readline tab completion
Clifford Wolf
2013-06-09
|
*
Look for yosys-abc and yosys-svgviewer where the main exe is
Clifford Wolf
2013-06-09
|
*
Moved cmds from kernel/ to passes/cmds/
Clifford Wolf
2013-06-08
|
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
|
*
Added "cd" and "ls" commands for convenience
Clifford Wolf
2013-06-08
|
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
|
*
Improved auto-detection of -show signals in sat_solve
Clifford Wolf
2013-06-08
|
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
|
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07
|
*
Added "dump" command (part ilang backend)
Clifford Wolf
2013-06-02
|
*
Added log_assert() api
Clifford Wolf
2013-05-24
|
*
Added log_abort() api
Clifford Wolf
2013-05-24
|
*
Only initialize TCL interpreter when needed
Clifford Wolf
2013-05-23
|
*
Added labels to "help -write-tex-command-reference-manual" output
Clifford Wolf
2013-05-23
|
*
Added support for processes to show command
Clifford Wolf
2013-05-23
|
*
Fixed show command for constant assignments
Clifford Wolf
2013-05-23
|
*
Added tcl "yosys -import" command
Clifford Wolf
2013-05-02
|
*
Improved/simplified TCL bindings
Clifford Wolf
2013-05-01
|
*
Fixed "show -format ..." command line parsing
Clifford Wolf
2013-04-15
|
*
Fixed/improved handling of colored wires in show command
Clifford Wolf
2013-04-01
|
*
Added support for @<set-name> in expand select ops (%x, %ci, %co)
Clifford Wolf
2013-04-01
|
*
Removed 4096 bytes limit for size of command from script file
Clifford Wolf
2013-04-01
|
*
Added -color <color> <selection> option to show command
Clifford Wolf
2013-04-01
|
*
Fixed "select" for "%%" stmt with emty stack
Clifford Wolf
2013-03-31
|
*
Added "script" command
Clifford Wolf
2013-03-31
|
*
Improved opt_share for reduce cells
Clifford Wolf
2013-03-29
|
*
Implemented TCL support (only via -c option at the moment)
Clifford Wolf
2013-03-28
|
*
Implemented proper handling of stub placeholder modules
Clifford Wolf
2013-03-28
|
*
Added check: only one module for "show" unless format is "ps"
Clifford Wolf
2013-03-27
|
*
Now using SVG and yosys-svgviewer per default in show command
Clifford Wolf
2013-03-27
|
*
Create nice errors when calling RTLIL::Module::derive() of base class
Clifford Wolf
2013-03-26
|
*
Added hierarchy -generate command for generating skeletton modules
Clifford Wolf
2013-03-25
|
*
Fixed handling of show -viewer
Clifford Wolf
2013-03-24
|
*
Fixed handling of internal signals in show command
Clifford Wolf
2013-03-24
|
*
Improved show -colors color assignments
Clifford Wolf
2013-03-24
|
*
Added show -strech and renamed -widthlabels to -width
Clifford Wolf
2013-03-24
|
*
Added -widthlabels options to chow command
Clifford Wolf
2013-03-24
|
*
Added -colors option to show command
Clifford Wolf
2013-03-24
|
[next]