index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
kernel
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fixed sign handling in const eval of sshl and sshr
Clifford Wolf
2013-11-05
1
-2
/
+6
*
Write yosys version to output files
Clifford Wolf
2013-11-03
2
-3
/
+3
*
Fixed get_share_file_name() for installed yosys
Clifford Wolf
2013-10-27
1
-2
/
+3
*
Added API and Makefile rules for share/ files
Clifford Wolf
2013-10-27
2
-0
/
+22
*
Added design->full_selection() helper method
Clifford Wolf
2013-10-27
1
-0
/
+3
*
Fixed handling of boolean attributes (passes)
Clifford Wolf
2013-10-24
1
-1
/
+1
*
Fixed handling of boolean attributes (kernel)
Clifford Wolf
2013-10-24
1
-5
/
+17
*
Changed NEW_WIRE API to return the wire, not the signal
Clifford Wolf
2013-10-18
2
-2
/
+2
*
Added RTLIL NEW_WIRE macro
Clifford Wolf
2013-10-18
2
-0
/
+13
*
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_
Clifford Wolf
2013-10-18
1
-0
/
+14
*
Added $sr, $dffsr and $dlatch cell types
Clifford Wolf
2013-10-18
1
-1
/
+3
*
Added version info to yosys command and added -V option
Clifford Wolf
2013-08-20
1
-2
/
+13
*
Implemented same div-by-zero behavior as found in other synthesis tools
Clifford Wolf
2013-08-15
1
-5
/
+28
*
Fixed signed div/mod in const eval (rounding and stuff)
Clifford Wolf
2013-08-15
1
-2
/
+8
*
Added sat -ignore_div_by_zero switch
Clifford Wolf
2013-08-15
1
-1
/
+6
*
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf
2013-08-15
1
-4
/
+10
*
Added SAT support for $div and $mod cells
Clifford Wolf
2013-08-11
1
-0
/
+46
*
Added "clean -purge" and ";;;" support
Clifford Wolf
2013-08-11
1
-0
/
+2
*
Added ";;" as shortcut for "; clean;"
Clifford Wolf
2013-08-11
1
-1
/
+4
*
Added techmap -opt mode
Clifford Wolf
2013-08-09
1
-2
/
+5
*
Some fixes to improve determinism
Clifford Wolf
2013-08-09
2
-2
/
+8
*
Fixed SigPool::del() method
Clifford Wolf
2013-08-06
1
-1
/
+1
*
Added proper deallocation of history buffer
Clifford Wolf
2013-08-06
1
-0
/
+5
*
Added "design" command (-reset, -save, -load)
Clifford Wolf
2013-07-27
2
-12
/
+101
*
Added "help -write-web-command-reference-manual"
Clifford Wolf
2013-07-26
1
-0
/
+52
*
Added $lut cells and abc lut mapping support
Clifford Wolf
2013-07-23
1
-0
/
+3
*
Fixed shift ops with large right hand side
Clifford Wolf
2013-07-09
1
-1
/
+1
*
Added "eval" pass
Clifford Wolf
2013-06-19
2
-0
/
+86
*
Fixed build with clang
Clifford Wolf
2013-06-18
1
-41
/
+69
*
Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API
Clifford Wolf
2013-06-18
2
-2
/
+79
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
2
-28
/
+58
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
1
-0
/
+8
*
More fixes for bugs found using xsthammer
Clifford Wolf
2013-06-13
1
-0
/
+1
*
Another fix for a bug found using xsthammer
Clifford Wolf
2013-06-12
1
-0
/
+10
*
Sign-extension related fixes in SatGen and AST frontend
Clifford Wolf
2013-06-10
1
-8
/
+8
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
1
-5
/
+22
*
Added history file read/write to driver
Clifford Wolf
2013-06-10
1
-0
/
+16
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
1
-2
/
+2
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
1
-1
/
+1
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
1
-32
/
+49
*
Set rl_basic_word_break_characters in shell
Clifford Wolf
2013-06-09
1
-0
/
+1
*
Improved readline tab completion
Clifford Wolf
2013-06-09
2
-25
/
+75
*
Look for yosys-abc and yosys-svgviewer where the main exe is
Clifford Wolf
2013-06-09
2
-1
/
+21
*
Moved cmds from kernel/ to passes/cmds/
Clifford Wolf
2013-06-08
2
-1736
/
+0
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
1
-7
/
+26
*
Added "cd" and "ls" commands for convenience
Clifford Wolf
2013-06-08
1
-0
/
+111
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
1
-31
/
+81
*
Improved auto-detection of -show signals in sat_solve
Clifford Wolf
2013-06-08
1
-0
/
+24
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
1
-9
/
+46
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07
1
-0
/
+137
[next]