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
*
Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint
Clifford Wolf
2013-12-31
1
-4
/
+11
*
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
Clifford Wolf
2013-12-29
1
-11
/
+8
*
Added $bu0 cell (for easy correct $eq/$ne mapping)
Clifford Wolf
2013-12-28
4
-1
/
+12
*
Fixed sat handling of $eqx and $nex with unequal port widths
Clifford Wolf
2013-12-27
1
-0
/
+2
*
Small cleanup in SatGen
Clifford Wolf
2013-12-27
1
-2
/
+0
*
Fixed sat handling of $eqx and $nex cells
Clifford Wolf
2013-12-27
1
-1
/
+12
*
Added support for non-const === and !== (for miter circuits)
Clifford Wolf
2013-12-27
3
-5
/
+21
*
Added proper === and !== support in constant expressions
Clifford Wolf
2013-12-27
2
-0
/
+31
*
Added log_dump() API
Clifford Wolf
2013-12-20
1
-0
/
+54
*
Added "sat" undef support and "sat -set-init" options
Clifford Wolf
2013-12-07
1
-13
/
+24
*
Fixed uninitialized const flags bug
Clifford Wolf
2013-12-07
1
-1
/
+1
*
Fixes and improvements in RTLIL::SigSpec::parse
Clifford Wolf
2013-12-07
1
-2
/
+12
*
Replaced signed_parameters API with CONST_FLAG_SIGNED
Clifford Wolf
2013-12-04
2
-4
/
+3
*
Replaced RTLIL::Const::str with generic decoder method
Clifford Wolf
2013-12-04
2
-7
/
+39
*
Added Pass:call_newsel API
Clifford Wolf
2013-12-02
2
-0
/
+27
*
Added "history" command
Clifford Wolf
2013-12-02
1
-0
/
+18
*
Using RTLIL::id2cstr for prompt printing
Clifford Wolf
2013-11-29
1
-1
/
+1
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
1
-73
/
+170
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
1
-27
/
+122
*
Started implementing undef handling in satgen
Clifford Wolf
2013-11-25
1
-25
/
+172
*
Added module->avail_parameters (for advanced techmap features)
Clifford Wolf
2013-11-24
1
-0
/
+1
*
Remove auto_wire framework (smarter than the verilog standard)
Clifford Wolf
2013-11-24
2
-8
/
+1
*
Implemented correct handling of signed module parameters
Clifford Wolf
2013-11-24
2
-2
/
+3
*
Added more generic _TECHMAP_ wire mechanism to techmap pass
Clifford Wolf
2013-11-23
1
-0
/
+6
*
Some driver changes/fixes
Clifford Wolf
2013-11-22
1
-5
/
+5
*
Added more performance measurement infrastructure
Clifford Wolf
2013-11-22
1
-0
/
+41
*
Massive performance improvement from refactoring RTLIL::SigSpec::optimize()
Clifford Wolf
2013-11-22
1
-30
/
+13
*
Added SigBit struct and refactored RTLIL::SigSpec::extract
Clifford Wolf
2013-11-22
2
-24
/
+119
*
Major improvements in mem2reg and added "init" sync rules
Clifford Wolf
2013-11-21
1
-1
/
+2
*
Added -v<level> option and some minor driver cleanups
Clifford Wolf
2013-11-17
3
-5
/
+23
*
Added information on all internal cell types to internal checker
Clifford Wolf
2013-11-11
1
-0
/
+340
*
Call internal checker more often
Clifford Wolf
2013-11-10
2
-9
/
+8
*
Improved user-friendliness of "sat" and "eval" expression parsing
Clifford Wolf
2013-11-09
2
-0
/
+15
*
Added verification of SAT model to "eval -vloghammer_report" command
Clifford Wolf
2013-11-09
1
-6
/
+5
*
More undef-propagation related fixes
Clifford Wolf
2013-11-08
1
-0
/
+5
*
Removed debug log from const_pow()
Clifford Wolf
2013-11-08
1
-1
/
+0
*
Fixed handling of power operator
Clifford Wolf
2013-11-07
1
-9
/
+41
*
Fixed more extend vs. extend_u0 issues
Clifford Wolf
2013-11-07
1
-8
/
+17
*
Renamed extend_un0() to extend_u0() and use it in genrtlil
Clifford Wolf
2013-11-07
2
-2
/
+2
*
Fixed type of sign extension in opt_const $eq/$ne handling
Clifford Wolf
2013-11-07
2
-0
/
+17
*
Improved undef handling in == and != for ConstEval
Clifford Wolf
2013-11-06
1
-11
/
+25
*
Improved width extension with regard to undef propagation
Clifford Wolf
2013-11-06
2
-67
/
+100
*
Fixed handling of undef values in POS cells in ConstEval
Clifford Wolf
2013-11-06
1
-3
/
+1
*
Fixed handling of undef values in MUX select input in ConstEval
Clifford Wolf
2013-11-06
1
-32
/
+58
*
Added eval -vloghammer_report mode
Clifford Wolf
2013-11-06
1
-0
/
+3
*
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
[next]