projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixed keep attribute on wires in opt_clean
[yosys.git]
/
kernel
/
2013-11-08
Clifford Wolf
Removed debug log from const_pow()
tree
|
commitdiff
2013-11-07
Clifford Wolf
Fixed handling of power operator
tree
|
commitdiff
2013-11-07
Clifford Wolf
Fixed more extend vs. extend_u0 issues
tree
|
commitdiff
2013-11-07
Clifford Wolf
Renamed extend_un0() to extend_u0() and use it in genrtlil
tree
|
commitdiff
2013-11-07
Clifford Wolf
Fixed type of sign extension in opt_const $eq/$ne handling
tree
|
commitdiff
2013-11-06
Clifford Wolf
Improved undef handling in == and != for ConstEval
tree
|
commitdiff
2013-11-06
Clifford Wolf
Improved width extension with regard to undef propagation
tree
|
commitdiff
2013-11-06
Clifford Wolf
Fixed handling of undef values in POS cells in ConstEval
tree
|
commitdiff
2013-11-06
Clifford Wolf
Fixed handling of undef values in MUX select input...
tree
|
commitdiff
2013-11-06
Clifford Wolf
Added eval -vloghammer_report mode
tree
|
commitdiff
2013-11-05
Clifford Wolf
Fixed sign handling in const eval of sshl and sshr
tree
|
commitdiff
2013-11-03
Clifford Wolf
Write yosys version to output files
tree
|
commitdiff
2013-10-27
Clifford Wolf
Fixed get_share_file_name() for installed yosys
tree
|
commitdiff
2013-10-27
Clifford Wolf
Added API and Makefile rules for share/ files
tree
|
commitdiff
2013-10-27
Clifford Wolf
Added design->full_selection() helper method
tree
|
commitdiff
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (passes)
tree
|
commitdiff
2013-10-24
Clifford Wolf
Fixed handling of boolean attributes (kernel)
tree
|
commitdiff
2013-10-18
Clifford Wolf
Changed NEW_WIRE API to return the wire, not the signal
tree
|
commitdiff
2013-10-18
Clifford Wolf
Added RTLIL NEW_WIRE macro
tree
|
commitdiff
2013-10-18
Clifford Wolf
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_...
tree
|
commitdiff
2013-10-18
Clifford Wolf
Added $sr, $dffsr and $dlatch cell types
tree
|
commitdiff
2013-08-20
Clifford Wolf
Added version info to yosys command and added -V option
tree
|
commitdiff
2013-08-15
Clifford Wolf
Implemented same div-by-zero behavior as found in other...
tree
|
commitdiff
2013-08-15
Clifford Wolf
Fixed signed div/mod in const eval (rounding and stuff)
tree
|
commitdiff
2013-08-15
Clifford Wolf
Added sat -ignore_div_by_zero switch
tree
|
commitdiff
2013-08-15
Clifford Wolf
Added eval -brute_force_equiv_checker_x mode
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added SAT support for $div and $mod cells
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added "clean -purge" and ";;;" support
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added ";;" as shortcut for "; clean;"
tree
|
commitdiff
2013-08-09
Clifford Wolf
Added techmap -opt mode
tree
|
commitdiff
2013-08-09
Clifford Wolf
Some fixes to improve determinism
tree
|
commitdiff
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
next