projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-06-10
whitequark
Merge pull request #2140 from whitequark/cxxrtl-aliases
commit
|
commitdiff
|
tree
2020-06-10
whitequark
cxxrtl: disambiguate values/wires and their aliases...
commit
|
commitdiff
|
tree
2020-06-10
whitequark
Merge pull request #2134 from whitequark/cxxrtl-opt...
commit
|
commitdiff
|
tree
2020-06-10
clairexen
Merge pull request #2131 from YosysHQ/claire/preserveffs
commit
|
commitdiff
|
tree
2020-06-10
clairexen
Merge pull request #2139 from YosysHQ/verific_missing_m...
commit
|
commitdiff
|
tree
2020-06-10
Miodrag Milanovic
verific - detect missing memory to prevent crash.
commit
|
commitdiff
|
tree
2020-06-09
whitequark
cxxrtl: allow unbuffering without localizing.
commit
|
commitdiff
|
tree
2020-06-09
whitequark
cxxrtl: order -On levels as localize, elide instead...
commit
|
commitdiff
|
tree
2020-06-09
Claire Wolf
Fix tests/opt/opt_rmdff
commit
|
commitdiff
|
tree
2020-06-09
Claire Wolf
Drive-by modernization in sat.cc
commit
|
commitdiff
|
tree
2020-06-09
whitequark
cxxrtl: factor out -noproc/-noflatten from -O.
commit
|
commitdiff
|
tree
2020-06-09
clairexen
Merge pull request #2112 from YosysHQ/claire/fix2040
commit
|
commitdiff
|
tree
2020-06-09
Claire Wolf
Do not optimize away FFs in "prep" and Verific fron-end
commit
|
commitdiff
|
tree
2020-06-09
whitequark
Merge pull request #2128 from whitequark/flatten-processes
commit
|
commitdiff
|
tree
2020-06-09
whitequark
Merge pull request #2130 from whitequark/cxxrtl-fix...
commit
|
commitdiff
|
tree
2020-06-09
whitequark
cxxrtl: fix two buggy split_by functions.
commit
|
commitdiff
|
tree
2020-06-09
whitequark
flatten: accept processes.
commit
|
commitdiff
|
tree
2020-06-09
whitequark
RTLIL: add Module::addProcess, use it in Module::cloneI...
commit
|
commitdiff
|
tree
2020-06-09
whitequark
Merge pull request #2126 from whitequark/cxxrtl-non...
commit
|
commitdiff
|
tree
2020-06-09
whitequark
Merge pull request #2125 from whitequark/cxxrtl-fix...
commit
|
commitdiff
|
tree
2020-06-09
whitequark
cxxrtl: ignore cell input signedness when it is irrelevant.
commit
|
commitdiff
|
tree
2020-06-09
whitequark
cxxrtl: add missing namespace.
commit
|
commitdiff
|
tree
2020-06-09
whitequark
Merge pull request #2107 from whitequark/flatten-hdlname
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: fix format of hdlnames.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
flatten: preserve original object names via hdlname...
commit
|
commitdiff
|
tree
2020-06-08
whitequark
flatten: only prepend $flatten once per wire.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
RTLIL: use {get,set}_string_attribute in {get,set}_strp...
commit
|
commitdiff
|
tree
2020-06-08
whitequark
Merge pull request #2120 from whitequark/flatten-hygiene
commit
|
commitdiff
|
tree
2020-06-08
whitequark
flatten: make hygienic.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
Merge pull request #2121 from whitequark/cxxrtl-debug...
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: don't check immutable values for changes in...
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: emit debug information for constant wires.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: track aliases in VCD writer.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: emit debug information for alias wires.
commit
|
commitdiff
|
tree
2020-06-08
clairexen
Merge pull request #2085 from rswarbrick/select
commit
|
commitdiff
|
tree
2020-06-08
clairexen
Merge pull request #2089 from rswarbrick/modports
commit
|
commitdiff
|
tree
2020-06-08
clairexen
Merge pull request #2105 from whitequark/split-flatten...
commit
|
commitdiff
|
tree
2020-06-08
clairexen
Merge pull request #2117 from PeterCrozier/struct_array
commit
|
commitdiff
|
tree
2020-06-08
clairexen
Merge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: add missing installs of include files.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: fix typo in comment. NFC.
commit
|
commitdiff
|
tree
2020-06-08
whitequark
cxxrtl: minor debug-related improvements.
commit
|
commitdiff
|
tree
2020-06-08
Marcelina Kościelnicka
fsm_extract: avoid calling log_signal to determine...
commit
|
commitdiff
|
tree
2020-06-07
whitequark
Merge pull request #2116 from whitequark/cxxrtl-vcd
commit
|
commitdiff
|
tree
2020-06-07
Peter Crozier
Support packed arrays in struct/union.
commit
|
commitdiff
|
tree
2020-06-07
whitequark
cxxrtl: rename cxxrtl.cc→cxxrtl_backend.cc.
commit
|
commitdiff
|
tree
2020-06-07
whitequark
cxxrtl: add a C API for writing VCD dumps.
commit
|
commitdiff
|
tree
2020-06-07
whitequark
cxxrtl: only write VCD values that were actually updated.
commit
|
commitdiff
|
tree
2020-06-07
whitequark
cxxrtl: add a VCD writer using debug information.
commit
|
commitdiff
|
tree
2020-06-06
whitequark
Merge pull request #2115 from whitequark/cxxrtl-introsp...
commit
|
commitdiff
|
tree
2020-06-06
whitequark
cxxrtl: add a C API for driving and introspecting designs.
commit
|
commitdiff
|
tree
2020-06-06
whitequark
cxxrtl: generate debug information for non-localized...
commit
|
commitdiff
|
tree
2020-06-06
whitequark
Merge pull request #2110 from BracketMaster/master
commit
|
commitdiff
|
tree
2020-06-05
whitequark
Merge pull request #2113 from whitequark/cxxrtl-fix...
commit
|
commitdiff
|
tree
2020-06-05
N. Engelhardt
Merge pull request #2109 from nakengelhardt/btor_intern...
commit
|
commitdiff
|
tree
2020-06-05
whitequark
cxxrtl: fix implementation of $sshr cell.
commit
|
commitdiff
|
tree
2020-06-04
Claire Wolf
Add latch detection for use_case_method in part-select...
commit
|
commitdiff
|
tree
2020-06-04
Yehowshua Immanuel
more reasonable numbers for memory
commit
|
commitdiff
|
tree
2020-06-04
Claire Wolf
Add missing .gitignore file
commit
|
commitdiff
|
tree
2020-06-04
Yehowshua Immanuel
MacOS has even stricter stack limits in catalina.
commit
|
commitdiff
|
tree
2020-06-04
clairexen
Merge pull request #2041 from PeterCrozier/struct
commit
|
commitdiff
|
tree
2020-06-04
clairexen
Merge pull request #2099 from Xiretza/manual-include...
commit
|
commitdiff
|
tree
2020-06-04
N. Engelhardt
Add codeowners file (#2098)
commit
|
commitdiff
|
tree
2020-06-04
Eddie Hung
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
commit
|
commitdiff
|
tree
2020-06-04
N. Engelhardt
btor backend: make not printing internal names default
commit
|
commitdiff
|
tree
2020-06-04
Claire Wolf
Add printf format attributes to btorf/infof helper...
commit
|
commitdiff
|
tree
2020-06-04
clairexen
Merge pull request #2108 from nakengelhardt/btor_intern...
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: clean up log messages.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: topologically sort modules.
commit
|
commitdiff
|
tree
2020-06-04
N. Engelhardt
btor backend: add option to not include internal names
commit
|
commitdiff
|
tree
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
commit
|
commitdiff
|
tree
2020-06-04
N. Engelhardt
Merge pull request #2070 from hackfin/master
commit
|
commitdiff
|
tree
2020-06-04
Eddie Hung
Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes
no_loop
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: simplify. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
RTLIL: factor out RTLIL::Module::addMemory. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
flatten: rename techmap-related stuff. NFC.
commit
|
commitdiff
|
tree
2020-06-04
whitequark
techmap, flatten: remove dead options.
commit
|
commitdiff
|
tree
2020-06-03
Peter Crozier
Merge branch 'master' into struct
commit
|
commitdiff
|
tree
2020-06-03
Eddie Hung
tests: tidy up testcase
commit
|
commitdiff
|
tree
2020-06-03
Eddie Hung
Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...
commit
|
commitdiff
|
tree
2020-06-03
whitequark
flatten: split from techmap.
commit
|
commitdiff
|
tree
2020-06-03
whitequark
Merge pull request #2104 from whitequark/simplify-techmap
commit
|
commitdiff
|
tree
2020-06-03
whitequark
techmap: remove dead variable. NFC.
commit
|
commitdiff
|
tree
2020-06-02
whitequark
techmap: use C++11 default member initializers. NFC.
commit
|
commitdiff
|
tree
2020-06-02
whitequark
techmap: simplify.
commit
|
commitdiff
|
tree
2020-06-02
whitequark
techmap: use +/techmap.v instead of an ad-hoc code...
commit
|
commitdiff
|
tree
2020-06-02
clairexen
Merge pull request #2102 from YosysHQ/tests_fix
commit
|
commitdiff
|
tree
2020-06-02
clairexen
Merge pull request #2101 from YosysHQ/mmicko/verific_as...
commit
|
commitdiff
|
tree
2020-06-01
Miodrag Milanovic
allow range for mux test
commit
|
commitdiff
|
tree
2020-06-01
Miodrag Milanovic
Support asymmetric memories for verific frontend
commit
|
commitdiff
|
tree
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
commit
|
commitdiff
|
tree
2020-05-30
Eddie Hung
abc9_ops: fix comment
commit
|
commitdiff
|
tree
2020-05-30
Eddie Hung
Merge pull request #2081 from YosysHQ/eddie/blackbox_ast
commit
|
commitdiff
|
tree
2020-05-30
Eddie Hung
abc9_ops: update messaging (credit to @Xiretza for...
commit
|
commitdiff
|
tree
next