index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
Files
Lines
*
enabled multiple "-map" for the extract pass
Johann Glaser
2014-01-25
1
-17
/
+25
*
Added support for // comments in liberty parser
Clifford Wolf
2014-01-25
1
-0
/
+5
*
Added hilomap command
Clifford Wolf
2014-01-19
2
-0
/
+130
*
Added sat -tempinduc and sat -prove-asserts
Clifford Wolf
2014-01-19
1
-10
/
+41
*
Added $assert cell
Clifford Wolf
2014-01-19
1
-1
/
+1
*
Improved setundef random number generator
Clifford Wolf
2014-01-18
1
-1
/
+1
*
Added setundef command
Clifford Wolf
2014-01-17
2
-0
/
+158
*
Added support for $adff with undef data inputs to opt_rmdff
Clifford Wolf
2014-01-17
1
-0
/
+6
*
Added select -assert-none and -assert-any
Clifford Wolf
2014-01-17
1
-7
/
+44
*
Added automatic memid generation to memory_unpack command
Clifford Wolf
2014-01-17
1
-2
/
+2
*
Added memory_unpack command
Clifford Wolf
2014-01-17
2
-0
/
+117
*
Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))
Martin Schmölzer
2014-01-14
1
-0
/
+1
*
Added hierarchy -libdir option
Clifford Wolf
2014-01-14
1
-4
/
+48
*
renamed LibertyParer to LibertyParser
Clifford Wolf
2014-01-14
3
-9
/
+9
*
Added "+" to list of liberty token characters
Clifford Wolf
2014-01-14
1
-2
/
+2
*
Added "opt_const -mux_undef"
Clifford Wolf
2014-01-14
1
-5
/
+71
*
Improved performance of freduce input cone reduction
Clifford Wolf
2014-01-04
1
-23
/
+78
*
Improved freduce performance on const signals
Clifford Wolf
2014-01-04
1
-13
/
+63
*
Performance improvements in freduce pass
Clifford Wolf
2014-01-03
1
-27
/
+69
*
More freduce cleanups
Clifford Wolf
2014-01-03
1
-0
/
+24
*
Cleanups in freduce command
Clifford Wolf
2014-01-03
1
-2
/
+5
*
Tiny cleanup in proc_mux.cc
Clifford Wolf
2014-01-03
1
-3
/
+0
*
Added "splitnets -driver"
Clifford Wolf
2014-01-03
1
-29
/
+96
*
Use selection in freduce command
Clifford Wolf
2014-01-03
1
-5
/
+20
*
Another small freduce cleanup/bugfix
Clifford Wolf
2014-01-03
1
-1
/
+2
*
Added "connect" command
Clifford Wolf
2014-01-03
2
-0
/
+186
*
More freduce cleanups and bugfixes
Clifford Wolf
2014-01-03
1
-11
/
+32
*
Added correct handling of $memwr priority
Clifford Wolf
2014-01-03
1
-2
/
+19
*
Fixed more complex undef cases in freduce
Clifford Wolf
2014-01-02
1
-4
/
+36
*
Now */ is optional in */<mode>:<arg> selections
Clifford Wolf
2014-01-02
1
-1
/
+4
*
Added "rename -hide" command
Clifford Wolf
2014-01-02
1
-1
/
+44
*
More "freduce" related fixes and improvements
Clifford Wolf
2014-01-02
1
-19
/
+67
*
Added support for module->connections to select %ci, %co and %x handling
Clifford Wolf
2014-01-02
1
-0
/
+15
*
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
Clifford Wolf
2014-01-02
1
-26
/
+29
*
Major rewrite of "freduce" command
Clifford Wolf
2014-01-02
3
-281
/
+335
*
Fixed use of limited length buffer in ABC blif parser
Clifford Wolf
2013-12-31
1
-7
/
+16
*
Added abc -dff and -clk support
Clifford Wolf
2013-12-31
3
-34
/
+173
*
Now using BLIF as ABC input format
Clifford Wolf
2013-12-31
1
-37
/
+54
*
Always use BLIF as ABC output format
Clifford Wolf
2013-12-31
5
-268
/
+31
*
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
Clifford Wolf
2013-12-29
1
-2
/
+2
*
Added new cell types to manual
Clifford Wolf
2013-12-28
1
-1
/
+1
*
Added $bu0 cell (for easy correct $eq/$ne mapping)
Clifford Wolf
2013-12-28
1
-0
/
+13
*
Added sat -prove-x and -set-def-inputs
Clifford Wolf
2013-12-28
1
-32
/
+96
*
Improved $_MUX_ handling in opt_const
Clifford Wolf
2013-12-28
1
-10
/
+9
*
More conservastive $eq/$ne/$eqx/$nex opt_const code
Clifford Wolf
2013-12-28
1
-8
/
+2
*
More $eq/$ne/$eqx/$nex fixes in opt_const
Clifford Wolf
2013-12-27
1
-1
/
+8
*
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
Clifford Wolf
2013-12-27
1
-1
/
+3
*
Added support for non-const === and !== (for miter circuits)
Clifford Wolf
2013-12-27
3
-7
/
+11
*
Added sat -set-def/-set-*-undef support
Clifford Wolf
2013-12-27
1
-5
/
+66
*
Renamed sat -set-undef to -set-any-undef
Clifford Wolf
2013-12-27
1
-20
/
+20
[next]