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
*
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
|
*
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
|
[next]