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
...
*
When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.
Clifford Wolf
2015-02-21
1
-0
/
+5
*
Added "sat -tempinduct-baseonly -tempinduct-inductonly"
Clifford Wolf
2015-02-21
1
-66
/
+92
*
Fixed basecase init for "sat -tempinduct"
Clifford Wolf
2015-02-21
1
-1
/
+6
*
Fixed "flatten" for non-pre-derived modules
Clifford Wolf
2015-02-21
1
-2
/
+2
*
Replaced ezDefaultSAT with ezSatPtr
Clifford Wolf
2015-02-21
9
-138
/
+140
*
Catch constants assigned to cell outputs in "flatten"
Clifford Wolf
2015-02-21
1
-0
/
+6
*
format fixes in "sat -dump_json"
Clifford Wolf
2015-02-19
1
-18
/
+17
*
Added "sat -dump_json" (WaveJSON format)
Clifford Wolf
2015-02-19
1
-4
/
+92
*
Changed "show" defaults for Win32
Clifford Wolf
2015-02-19
1
-1
/
+4
*
Fixed clang (svn trunk) warnings
Clifford Wolf
2015-02-18
1
-2
/
+0
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2015-02-18
1
-1
/
+1
|
\
|
*
wreduce help typo fix
Clifford Wolf
2015-02-17
1
-1
/
+1
*
|
Added "select %xe %cie %coe"
Clifford Wolf
2015-02-18
1
-7
/
+28
|
/
*
Bugfix in wreduce
Clifford Wolf
2015-02-16
1
-7
/
+14
*
Added Viz to yosys.js
Clifford Wolf
2015-02-15
1
-1
/
+6
*
Added "check -noinit"
Clifford Wolf
2015-02-15
1
-3
/
+19
*
Cosmetic fixes in "hierarchy" for blackbox modules
Clifford Wolf
2015-02-15
1
-2
/
+4
*
More emscripten stuff, Added example app
Clifford Wolf
2015-02-15
1
-0
/
+2
*
Fixed "stat" handling of blackbox modules
Clifford Wolf
2015-02-14
1
-9
/
+6
*
Various fixes for memories with offsets
Clifford Wolf
2015-02-14
2
-5
/
+17
*
Added $meminit support to "memory" command
Clifford Wolf
2015-02-14
3
-30
/
+69
*
Added $meminit cell type
Clifford Wolf
2015-02-14
1
-1
/
+1
*
hotfix in "check" command
Clifford Wolf
2015-02-13
1
-1
/
+2
*
Added "check" command
Clifford Wolf
2015-02-13
2
-0
/
+127
*
Some test related fixes
Clifford Wolf
2015-02-12
1
-1
/
+1
*
Added "proc_dlatch"
Clifford Wolf
2015-02-12
3
-1
/
+311
*
Less aggressive "share" defaults
Clifford Wolf
2015-02-10
1
-4
/
+6
*
Added "scc -expect <N> -nofeedback"
Clifford Wolf
2015-02-10
1
-7
/
+48
*
Fixed iterator invalidation bug in "rename" command
Clifford Wolf
2015-02-09
1
-3
/
+4
*
Fixed bug in "show -format .."
Clifford Wolf
2015-02-08
1
-1
/
+1
*
Fixed eval_select_op() api
Clifford Wolf
2015-02-08
1
-1
/
+1
*
Added eval_select_args() and eval_select_op()
Clifford Wolf
2015-02-08
1
-4
/
+27
*
Added equiv_add
Clifford Wolf
2015-02-08
2
-0
/
+90
*
Added "select -read"
Clifford Wolf
2015-02-06
1
-5
/
+39
*
Added onehot attribute
Clifford Wolf
2015-02-04
2
-0
/
+16
*
Fixed opt_clean performance bug
Clifford Wolf
2015-02-04
1
-26
/
+26
*
Using design->selected_modules() in opt_*
Clifford Wolf
2015-02-03
5
-36
/
+20
*
Merge pull request #48 from rubund/master
Clifford Wolf
2015-02-01
2
-3
/
+3
|
\
|
*
Fixed typos found by lintian
Ruben Undheim
2015-02-01
2
-3
/
+3
*
|
Improved performance in equiv_simple
Clifford Wolf
2015-02-01
1
-23
/
+72
|
/
*
Using selections in "ls" command
Clifford Wolf
2015-02-01
1
-34
/
+30
*
Bugfix in opt_const $eq -> buffer code
Clifford Wolf
2015-01-31
1
-4
/
+4
*
Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")
Clifford Wolf
2015-01-31
1
-12
/
+31
*
Added "equiv_induct -undef"
Clifford Wolf
2015-01-31
1
-5
/
+50
*
Added "equiv_simple -undef"
Clifford Wolf
2015-01-31
1
-17
/
+47
*
Added "equiv_make -blacklist <file> -encfile <file>"
Clifford Wolf
2015-01-31
2
-5
/
+173
*
Added "fsm -encfile"
Clifford Wolf
2015-01-30
2
-12
/
+41
*
Improved an error message
Clifford Wolf
2015-01-28
1
-1
/
+1
*
Fixed bug in equiv_miter
Clifford Wolf
2015-01-28
1
-6
/
+6
*
Added "sat -show-ports"
Clifford Wolf
2015-01-27
1
-2
/
+7
[prev]
[next]