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 (
Expand
)
Author
Age
...
*
Added RTLIL NEW_WIRE macro
Clifford Wolf
2013-10-18
*
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_
Clifford Wolf
2013-10-18
*
Added $sr, $dffsr and $dlatch cell types
Clifford Wolf
2013-10-18
*
Added version info to yosys command and added -V option
Clifford Wolf
2013-08-20
*
Implemented same div-by-zero behavior as found in other synthesis tools
Clifford Wolf
2013-08-15
*
Fixed signed div/mod in const eval (rounding and stuff)
Clifford Wolf
2013-08-15
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
*
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf
2013-08-15
*
Added SAT support for $div and $mod cells
Clifford Wolf
2013-08-11
*
Added "clean -purge" and ";;;" support
Clifford Wolf
2013-08-11
*
Added ";;" as shortcut for "; clean;"
Clifford Wolf
2013-08-11
*
Added techmap -opt mode
Clifford Wolf
2013-08-09
*
Some fixes to improve determinism
Clifford Wolf
2013-08-09
*
Fixed SigPool::del() method
Clifford Wolf
2013-08-06
*
Added proper deallocation of history buffer
Clifford Wolf
2013-08-06
*
Added "design" command (-reset, -save, -load)
Clifford Wolf
2013-07-27
*
Added "help -write-web-command-reference-manual"
Clifford Wolf
2013-07-26
*
Added $lut cells and abc lut mapping support
Clifford Wolf
2013-07-23
*
Fixed shift ops with large right hand side
Clifford Wolf
2013-07-09
*
Added "eval" pass
Clifford Wolf
2013-06-19
*
Fixed build with clang
Clifford Wolf
2013-06-18
*
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
[prev]
[next]