projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
peepopt.muldiv: Add a signedness check.
[yosys.git]
/
passes
/
2020-06-21
Alberto Gonzalez
qbfsat: Simplify solution recovery parsing and tweak...
tree
|
commitdiff
2020-06-21
Alberto Gonzalez
qbfsat: Avoid instantiating `AttrObject`s directly.
tree
|
commitdiff
2020-06-21
Alberto Gonzalez
qbfsat: Simplify solution format and replace `SigBit...
tree
|
commitdiff
2020-06-21
Alberto Gonzalez
qbfsat: Fixes three bugs.
tree
|
commitdiff
2020-06-21
Alberto Gonzalez
qbfsat: Use bit precise mapping for hole value wires...
tree
|
commitdiff
2020-06-19
whitequark
Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).
tree
|
commitdiff
2020-06-19
whitequark
Remove YS_ATTRIBUTE(unused) where present just for...
tree
|
commitdiff
2020-06-19
whitequark
Merge pull request #2173 from whitequark/use-cxx11...
tree
|
commitdiff
2020-06-19
whitequark
Merge pull request #2174 from whitequark/fix-github...
tree
|
commitdiff
2020-06-19
whitequark
Merge pull request #2171 from whitequark/cxxrtl-accessors
tree
|
commitdiff
2020-06-19
whitequark
Merge pull request #2170 from boqwxp/cutpoint-efficiency
tree
|
commitdiff
2020-06-18
whitequark
Use C++11 final/override keywords.
tree
|
commitdiff
2020-06-18
Alberto Gonzalez
cutpoint: Improve efficiency by iterating over module...
tree
|
commitdiff
2020-06-18
N. Engelhardt
Merge pull request #2153 from boqwxp/splitnets-cleanup
tree
|
commitdiff
2020-06-18
whitequark
Merge pull request #2167 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-06-18
whitequark
Merge pull request #2142 from whitequark/splitnets...
tree
|
commitdiff
2020-06-18
Miodrag Milanović
Merge pull request #2164 from madebr/msvc
tree
|
commitdiff
2020-06-17
Anonymous Maarten
msvc does not support designated initializers in structs
tree
|
commitdiff
2020-06-13
Alberto Gonzalez
splitnets: Clean up pseudo-private member usage
tree
|
commitdiff
2020-06-13
Alberto Gonzalez
splitnets: Slightly improve efficiency by avoiding...
tree
|
commitdiff
2020-06-10
whitequark
splitnets: propagate (*hdlname*) and disambiguate via...
tree
|
commitdiff
2020-06-10
whitequark
Merge pull request #2134 from whitequark/cxxrtl-opt...
tree
|
commitdiff
2020-06-10
clairexen
Merge pull request #2131 from YosysHQ/claire/preserveffs
tree
|
commitdiff
2020-06-09
Claire Wolf
Drive-by modernization in sat.cc
tree
|
commitdiff
2020-06-09
clairexen
Merge pull request #2112 from YosysHQ/claire/fix2040
tree
|
commitdiff
2020-06-09
Claire Wolf
Do not optimize away FFs in "prep" and Verific fron-end
tree
|
commitdiff
2020-06-09
whitequark
Merge pull request #2128 from whitequark/flatten-processes
tree
|
commitdiff
2020-06-09
whitequark
flatten: accept processes.
tree
|
commitdiff
2020-06-09
whitequark
Merge pull request #2107 from whitequark/flatten-hdlname
tree
|
commitdiff
2020-06-08
whitequark
flatten: preserve original object names via hdlname...
tree
|
commitdiff
2020-06-08
whitequark
flatten: only prepend $flatten once per wire.
tree
|
commitdiff
2020-06-08
whitequark
Merge pull request #2120 from whitequark/flatten-hygiene
tree
|
commitdiff
2020-06-08
whitequark
flatten: make hygienic.
tree
|
commitdiff
2020-06-08
whitequark
Merge pull request #2121 from whitequark/cxxrtl-debug...
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2085 from rswarbrick/select
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2089 from rswarbrick/modports
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2105 from whitequark/split-flatten...
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2117 from PeterCrozier/struct_array
tree
|
commitdiff
2020-06-08
clairexen
Merge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring
tree
|
commitdiff
2020-06-08
Marcelina Kościelnicka
fsm_extract: avoid calling log_signal to determine...
tree
|
commitdiff
2020-06-05
whitequark
Merge pull request #2113 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-06-05
N. Engelhardt
Merge pull request #2109 from nakengelhardt/btor_intern...
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2041 from PeterCrozier/struct
tree
|
commitdiff
2020-06-04
clairexen
Merge pull request #2099 from Xiretza/manual-include...
tree
|
commitdiff
2020-06-04
Eddie Hung
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
tree
|
commitdiff
2020-06-04
whitequark
flatten: clean up log messages.
tree
|
commitdiff
2020-06-04
whitequark
flatten: topologically sort modules.
tree
|
commitdiff
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
tree
|
commitdiff
2020-06-04
N. Engelhardt
Merge pull request #2070 from hackfin/master
tree
|
commitdiff
2020-06-04
Eddie Hung
Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes
no_loop
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify.
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify. NFC.
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify.
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify. NFC.
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify. NFC.
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify. NFC.
tree
|
commitdiff
2020-06-04
whitequark
flatten: simplify. NFC.
tree
|
commitdiff
2020-06-04
whitequark
RTLIL: factor out RTLIL::Module::addMemory. NFC.
tree
|
commitdiff
2020-06-04
whitequark
flatten: rename techmap-related stuff. NFC.
tree
|
commitdiff
2020-06-04
whitequark
techmap, flatten: remove dead options.
tree
|
commitdiff
2020-06-03
Peter Crozier
Merge branch 'master' into struct
tree
|
commitdiff
2020-06-03
Eddie Hung
Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...
tree
|
commitdiff
2020-06-03
whitequark
flatten: split from techmap.
tree
|
commitdiff
2020-06-03
whitequark
Merge pull request #2104 from whitequark/simplify-techmap
tree
|
commitdiff
2020-06-03
whitequark
techmap: remove dead variable. NFC.
tree
|
commitdiff
2020-06-02
whitequark
techmap: use C++11 default member initializers. NFC.
tree
|
commitdiff
2020-06-02
whitequark
techmap: simplify.
tree
|
commitdiff
2020-06-02
whitequark
techmap: use +/techmap.v instead of an ad-hoc code...
tree
|
commitdiff
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
tree
|
commitdiff
2020-05-30
Eddie Hung
abc9_ops: fix comment
tree
|
commitdiff
2020-05-30
Eddie Hung
Merge pull request #2081 from YosysHQ/eddie/blackbox_ast
tree
|
commitdiff
2020-05-30
Eddie Hung
abc9_ops: update messaging (credit to @Xiretza for...
tree
|
commitdiff
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
tree
|
commitdiff
2020-05-30
Eddie Hung
abc9_ops: optimise to not derive unless attribute exists
tree
|
commitdiff
2020-05-30
Eddie Hung
abc9_ops: -reintegrate use SigMap to remove (* init...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #1885 from Xiretza/mod-rem-cells
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2092 from whitequark/rtlil-no-space...
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2017 from boqwxp/qbfsat-cvc4
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2016 from boqwxp/qbfsat-yices
tree
|
commitdiff
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
tree
|
commitdiff
2020-05-28
Xiretza
Add flooring division operator
tree
|
commitdiff
2020-05-28
Xiretza
Add flooring modulo operator
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2095 from rswarbrick/hier-typo
tree
|
commitdiff
2020-05-28
Rupert Swarbrick
Fix small typos in documentation for hierarchy command
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2091 from boqwxp/printattrs
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2051 from Xiretza/makefile-cd-warning
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
tree
|
commitdiff
2020-05-28
whitequark
Merge pull request #2063 from boqwxp/techmapped-firrtl
tree
|
commitdiff
2020-05-28
Alberto Gonzalez
printattrs: Simplify `get_indent_str()`.
tree
|
commitdiff
2020-05-27
Alberto Gonzalez
printattrs: Refactor indentation string building for...
tree
|
commitdiff
2020-05-27
Rupert Swarbrick
Pass some more args by reference in select.cc
tree
|
commitdiff
2020-05-27
Rupert Swarbrick
Minor optimisations in select.cc's match_ids function
tree
|
commitdiff
2020-05-27
Rupert Swarbrick
Silence warning in select.cc
tree
|
commitdiff
2020-05-27
Alberto Gonzalez
printattrs: Use `flags` to pretty-print the `RTLIL...
tree
|
commitdiff
2020-05-27
Alberto Gonzalez
misc: Add `printattrs` command.
tree
|
commitdiff
2020-05-26
Rupert Swarbrick
Simplify a modport check in hierarchy.cc
tree
|
commitdiff
2020-05-25
Eddie Hung
abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires...
tree
|
commitdiff
2020-05-25
Alberto Gonzalez
smtbmc and qbfsat: Add timeout option to set solver...
tree
|
commitdiff
2020-05-25
Alberto Gonzalez
qbfsat: Add support for CVC4.
tree
|
commitdiff
next