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
*
Merge pull request #1996 from boqwxp/rtlil_source_locations
Eddie Hung
2020-05-04
1
-13
/
+13
|
\
|
*
frontend: Include complete source location instead of just `location.first_li...
Alberto Gonzalez
2020-05-01
1
-13
/
+13
*
|
Merge pull request #2000 from whitequark/log_error-trap
whitequark
2020-05-03
2
-3
/
+44
|
\
\
|
*
|
kernel: Trap in `log_error()` when a debugger is attached.
whitequark
2020-05-03
2
-3
/
+44
*
|
|
Merge pull request #2014 from YosysHQ/claire/fixoptalu
Claire Wolf
2020-05-03
2
-7
/
+31
|
\
\
\
|
*
|
|
test: add test for #2014
Eddie Hung
2020-05-02
1
-0
/
+12
|
*
|
|
Fix the other "opt_expr -fine" bug introduced in 213a89558
Claire Wolf
2020-05-02
1
-7
/
+19
*
|
|
|
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
Eddie Hung
2020-05-02
6
-42
/
+101
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
abc9_ops: -reintegrate to be sensitive to start_offset too
Eddie Hung
2020-05-02
1
-3
/
+5
|
*
|
|
tests: aiger test for wire->start_offset != 0
Eddie Hung
2020-05-02
2
-0
/
+41
|
*
|
|
aiger: fixes for ports that have start_offset != 0
Eddie Hung
2020-05-02
3
-39
/
+55
|
/
/
/
*
|
|
Merge pull request #2010 from YosysHQ/claire/fixopt
Claire Wolf
2020-05-02
2
-7
/
+29
|
\
\
\
|
*
|
|
Add testcase for #2010
Eddie Hung
2020-05-01
1
-0
/
+10
|
*
|
|
Fix "opt_expr -fine" bug introduced in 213a89558
Claire Wolf
2020-05-01
1
-7
/
+19
*
|
|
|
Merge pull request #2001 from whitequark/wasi
whitequark
2020-05-01
17
-29
/
+166
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Add WASI platform support.
whitequark
2020-04-30
17
-30
/
+167
*
|
|
|
Merge pull request #1997 from whitequark/document-ootb
Claire Wolf
2020-05-01
4
-14
/
+29
|
\
\
\
\
|
*
|
|
|
README: explain how to do out-of-tree builds.
whitequark
2020-04-24
1
-1
/
+8
|
*
|
|
|
Fix out-of-tree builds configured as `SMALL := 1`.
whitequark
2020-04-24
1
-11
/
+11
|
*
|
|
|
gowin,ecp5: remove generated files in `make clean`.
whitequark
2020-04-24
2
-2
/
+10
*
|
|
|
|
Merge pull request #1981 from YosysHQ/claire/fix1837
Claire Wolf
2020-05-01
1
-0
/
+4
|
\
\
\
\
\
|
|
_
|
/
/
/
|
/
|
|
|
|
|
*
|
|
|
Clear current_scope when done with RTLIL generation, fixes #1837
Claire Wolf
2020-04-22
1
-0
/
+4
*
|
|
|
|
Merge pull request #1999 from YosysHQ/eddie/verific_enum_again
Eddie Hung
2020-04-30
2
-30
/
+68
|
\
\
\
\
\
|
*
|
|
|
|
verific: ignore anonymous enums
Eddie Hung
2020-04-30
1
-1
/
+4
|
*
|
|
|
|
verific: support VHDL enums too
Eddie Hung
2020-04-27
1
-13
/
+43
|
*
|
|
|
|
verific: recover wiretype/enum attr as part of import_attributes()
Eddie Hung
2020-04-27
2
-6
/
+35
|
*
|
|
|
|
Revert "verific: import enum attributes from verific"
Eddie Hung
2020-04-24
1
-24
/
+0
*
|
|
|
|
|
Merge pull request #2008 from whitequark/editorconfig-abc
whitequark
2020-04-30
1
-0
/
+5
|
\
\
\
\
\
\
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
*
|
|
|
|
Fix .editorconfig to not break abc.
whitequark
2020-04-30
1
-0
/
+5
|
|
|
_
|
/
/
|
|
/
|
|
|
*
|
|
|
|
Merge pull request #1946 from YosysHQ/eddie/yosyshq_abc
Eddie Hung
2020-04-27
3
-6
/
+7
|
\
\
\
\
\
|
*
|
|
|
|
Update CHANGELOG and manual for departure from upstream
Eddie Hung
2020-04-27
2
-4
/
+5
|
*
|
|
|
|
abc: use YosysHQ/abc instead of upstream berkeley-abc/abc
Eddie Hung
2020-04-27
1
-2
/
+2
*
|
|
|
|
|
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
Eddie Hung
2020-04-27
2
-28
/
+49
|
\
\
\
\
\
\
|
|
/
/
/
/
/
|
/
|
|
|
|
|
|
*
|
|
|
|
bugpoint: improve messaging
Eddie Hung
2020-04-24
1
-7
/
+7
|
*
|
|
|
|
bugpoint: (* keep *) to (* bugpoint_keep *); also apply to modules/cells
Eddie Hung
2020-04-24
2
-5
/
+15
|
*
|
|
|
|
bugpoint: skip ports with (* keep *) on; add header
Eddie Hung
2020-04-24
1
-9
/
+18
|
*
|
|
|
|
bugpoint: improve help text
Eddie Hung
2020-04-23
1
-11
/
+13
*
|
|
|
|
|
Merge pull request #2002 from YosysHQ/dave/cxxrtl-width
whitequark
2020-04-25
1
-1
/
+1
|
\
\
\
\
\
\
|
|
_
|
/
/
/
/
|
/
|
|
|
|
|
|
*
|
|
|
|
cxxrtl: Round up constant width
David Shah
2020-04-25
1
-1
/
+1
|
/
/
/
/
/
*
|
|
|
|
Merge pull request #1998 from whitequark/cxxrtl-fixes
whitequark
2020-04-24
1
-49
/
+50
|
\
\
\
\
\
|
*
|
|
|
|
cxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.`
whitequark
2020-04-24
1
-45
/
+45
|
*
|
|
|
|
cxxrtl: improve printing of narrow memories.
whitequark
2020-04-24
1
-3
/
+4
|
*
|
|
|
|
cxxrtl: fix handling of parametric modules with large parameters.
whitequark
2020-04-24
1
-1
/
+1
|
|
|
_
|
_
|
/
|
|
/
|
|
|
*
|
|
|
|
Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype
Claire Wolf
2020-04-24
2
-2
/
+7
|
\
\
\
\
\
|
|
|
_
|
/
/
|
|
/
|
|
|
|
*
|
|
|
verific: do not assert if wire not found; warn instead
Eddie Hung
2020-04-23
2
-2
/
+7
|
|
|
/
/
|
|
/
|
|
*
/
|
|
intel_alm: cleanup duplication
Dan Ravensloft
2020-04-24
5
-113
/
+64
|
/
/
/
*
|
|
Merge pull request #1974 from YosysHQ/eddie/abc9_disable_mfs
Eddie Hung
2020-04-23
1
-2
/
+17
|
\
\
\
|
*
|
|
abc9: tolerate ABC nonzero exit code if output.aig; write before &mfs
Eddie Hung
2020-04-20
3
-6
/
+13
|
*
|
|
xilinx/ecp5: disable abc9's "&mfs" optimisation
Eddie Hung
2020-04-20
3
-0
/
+8
*
|
|
|
Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs
Claire Wolf
2020-04-23
1
-5
/
+2
|
\
\
\
\
[next]