index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
dfflegalize: Prefer mapping dff to sdff before adff
Marcelina Kościelnicka
2020-07-05
1
-1
/
+1
*
opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.
Marcelina Kościelnicka
2020-07-05
2
-0
/
+24
*
intel_alm: DSP inference
Dan Ravensloft
2020-07-05
7
-9
/
+209
*
gowin: replace determine_init with setundef
Dan Ravensloft
2020-07-04
3
-74
/
+1
*
synth_intel_alm: Use dfflegalize.
Marcelina Kościelnicka
2020-07-04
3
-122
/
+10
*
Improve MISTRAL_FF specify rules
Dan Ravensloft
2020-07-04
2
-6
/
+6
*
tests: update fsm.ys resource count
Eddie Hung
2020-07-04
1
-4
/
+4
*
abc9: only techmap (* abc9_flop *) modules
Eddie Hung
2020-07-04
1
-1
/
+1
*
intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF
Eddie Hung
2020-07-04
2
-47
/
+2
*
abc9: techmap from user design to allow abc9_flop modules to be composed
Eddie Hung
2020-07-04
1
-1
/
+1
*
intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY
Eddie Hung
2020-07-04
4
-4
/
+4
*
intel_alm: ABC9 sequential optimisations
Dan Ravensloft
2020-07-04
7
-19
/
+149
*
Add newlines to help text for dfflegalize
Rupert Swarbrick
2020-07-03
1
-11
/
+11
*
Merge pull request #2132 from YosysHQ/eddie/verific_initial
clairexen
2020-07-02
1
-17
/
+36
|
\
|
*
verific: rewrite initial assume/asserts prior to elaboration
Eddie Hung
2020-05-15
1
-17
/
+36
*
|
Merge pull request #2208 from boqwxp/qbfsat-cleanup
clairexen
2020-07-02
3
-255
/
+274
|
\
\
|
*
|
qbfsat: Remove useless comment and #ifndef guards.
Alberto Gonzalez
2020-07-01
1
-5
/
+0
|
*
|
qbfsat: Specify default values for some options in the help message.
Alberto Gonzalez
2020-07-01
1
-0
/
+2
|
*
|
qbfsat: Clean up external executable command lines and update temporary direc...
Alberto Gonzalez
2020-07-01
1
-3
/
+7
|
*
|
qbfsat: Clean up and refactor data structures into `qbfsat.h`.
Alberto Gonzalez
2020-07-01
3
-248
/
+266
*
|
|
Merge pull request #2186 from YosysHQ/mwk/dfflegalize
clairexen
2020-07-02
20
-0
/
+4316
|
\
\
\
|
*
|
|
dfflegalize: Add tests.
Marcelina Kościelnicka
2020-07-01
17
-0
/
+2957
|
*
|
|
Add dfflegalize pass.
Marcelina Kościelnicka
2020-07-01
3
-0
/
+1359
*
|
|
|
Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
clairexen
2020-07-02
1
-2
/
+1
|
\
\
\
\
|
*
|
|
|
fmcombine: use the master ff cell type list
Marcelina Kościelnicka
2020-06-30
1
-2
/
+1
|
|
/
/
/
*
|
|
|
Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge
clairexen
2020-07-02
1
-3
/
+1
|
\
\
\
\
|
*
|
|
|
opt_merge: use the master FF type list
Marcelina Kościelnicka
2020-06-30
1
-3
/
+1
|
|
/
/
/
*
|
|
|
Merge pull request #2195 from YosysHQ/mwk/manual-gates
clairexen
2020-07-02
1
-50
/
+201
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
Add latches to the manual.
Marcelina Kościelnicka
2020-06-26
1
-42
/
+165
|
*
|
|
Add a few more gate types to the manual.
Marcelina Kościelnicka
2020-06-26
1
-8
/
+36
*
|
|
|
Merge pull request #2203 from antmicro/fix-grammar
clairexen
2020-07-01
2
-4
/
+38
|
\
\
\
\
|
*
|
|
|
Add signed/unsigned tests
Kamil Rakoczy
2020-06-26
1
-0
/
+28
|
*
|
|
|
Parse macro call attached semicolon as empty expression
Lukasz Dalek
2020-06-26
1
-1
/
+1
|
*
|
|
|
Fix integer signing grammar
Lukasz Dalek
2020-06-26
1
-3
/
+9
*
|
|
|
|
Merge pull request #2179 from splhack/static-cast
clairexen
2020-07-01
11
-0
/
+135
|
\
\
\
\
\
|
*
|
|
|
|
static cast: simplify
Kazuki Sakamoto
2020-06-19
1
-0
/
+7
|
*
|
|
|
|
static cast: add tests
Kazuki Sakamoto
2020-06-19
5
-0
/
+80
|
*
|
|
|
|
static cast: support changing size and signedness
Kazuki Sakamoto
2020-06-19
6
-0
/
+48
*
|
|
|
|
|
Merge pull request #2138 from boqwxp/qbfsat-oflag
clairexen
2020-07-01
1
-16
/
+47
|
\
\
\
\
\
\
|
*
|
|
|
|
|
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.
Alberto Gonzalez
2020-06-30
1
-16
/
+47
*
|
|
|
|
|
|
Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization
clairexen
2020-07-01
1
-2
/
+24
|
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
qbfsat: Fix name-based hole specialization.
Alberto Gonzalez
2020-06-30
1
-2
/
+24
|
|
/
/
/
/
/
/
*
|
|
|
|
|
|
Merge pull request #2136 from zachjs/master
clairexen
2020-06-30
3
-1
/
+81
|
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
Allow constant function calls in for loops and generate if and case
Zachary Snow
2020-06-29
3
-1
/
+81
|
|
/
/
/
/
/
/
*
|
|
|
|
|
|
Merge pull request #2199 from YosysHQ/mmicko/sim_memory
clairexen
2020-06-30
1
-1
/
+4
|
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
sim - error when memrd and memwr detected
Miodrag Milanovic
2020-06-29
1
-1
/
+4
*
|
|
|
|
|
|
|
Merge pull request #2201 from YosysHQ/fix_test_cell_ilang
clairexen
2020-06-30
1
-2
/
+2
|
\
\
\
\
\
\
\
\
|
*
|
|
|
|
|
|
|
Use ID macro to fix assertion
Miodrag Milanovic
2020-06-29
1
-2
/
+2
|
|
/
/
/
/
/
/
/
*
|
|
|
|
|
|
|
Merge pull request #2209 from YosysHQ/verific_update
clairexen
2020-06-30
1
-1
/
+1
|
\
\
\
\
\
\
\
\
|
|
_
|
_
|
_
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
|
|
*
|
|
|
|
|
|
Update verific API version check
Miodrag Milanovic
2020-06-30
1
-1
/
+1
[next]
