index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
...
|
*
Renamed yosys-show temp files to be dot-files in the users home directory
Clifford Wolf
2013-06-12
|
|
|
*
Fixed gcc build (c++11 stuff in ezSAT)
Clifford Wolf
2013-06-12
|
|
*
|
Another fix for a bug found using xsthammer
Clifford Wolf
2013-06-12
|
/
*
Further improved and extended xsthammer
Clifford Wolf
2013-06-11
|
*
More xsthammer improvements
Clifford Wolf
2013-06-10
|
*
More sign-extension related fixes
Clifford Wolf
2013-06-10
|
*
Sign-extension related fixes in SatGen and AST frontend
Clifford Wolf
2013-06-10
|
*
Progress xsthammer scripts
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
|
*
Progress in xsthammer: working proof for cell models
Clifford Wolf
2013-06-10
|
*
Fixes and improvements in AST const folding
Clifford Wolf
2013-06-10
|
*
Enabled AST/Verilog front-end optimizations per default
Clifford Wolf
2013-06-10
|
*
Fixed generation of newlines in "dump" output
Clifford Wolf
2013-06-10
|
*
Added "rename" command
Clifford Wolf
2013-06-10
|
*
Progress on xsthammer
Clifford Wolf
2013-06-10
|
*
Added first xsthammer scripts
Clifford Wolf
2013-06-10
|
*
Renamed "sat_solve" pass to "sat"
Clifford Wolf
2013-06-09
|
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
|
*
Added support for non-temporal proofs to sat_solve
Clifford Wolf
2013-06-09
|
*
Re-organization in sat_solver pass for temporal induction
Clifford Wolf
2013-06-09
|
*
Added ezSAT api support for don't care values in models
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
|
*
Added "make abc" and "make install-abc"
Clifford Wolf
2013-06-08
|
*
Moved cmds from kernel/ to passes/cmds/
Clifford Wolf
2013-06-08
|
*
Fixed typo is sat_solve help msg
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
|
*
Added -all and -max options to sat_solve
Clifford Wolf
2013-06-08
|
*
Fixes and improvements in ezSAT library
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 ezSAT library
Clifford Wolf
2013-06-07
|
*
Renamed opt_rmunused to opt_clean
Clifford Wolf
2013-06-05
|
*
Implemented technology mapping for multipliers (using array multiplier)
Clifford Wolf
2013-06-03
|
*
Added "dump" command (part ilang backend)
Clifford Wolf
2013-06-02
|
*
Fixed techmap/flatten for positional module arguments
Clifford Wolf
2013-05-26
|
*
Improved log messages generated by hierarchy pass
Clifford Wolf
2013-05-26
|
*
Added -nodetect option to fsm pass
Clifford Wolf
2013-05-24
|
*
Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v
Clifford Wolf
2013-05-24
|
*
Improved FSM one-hot encoding, added binary encoding
Clifford Wolf
2013-05-24
|
*
Added log_assert() api
Clifford Wolf
2013-05-24
|
*
Added log_abort() api
Clifford Wolf
2013-05-24
|
*
Fixed a gcc vs. clang determinism problem in abc pass
Clifford Wolf
2013-05-23
|
[prev]
[next]