projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
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
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-07
whitequark
Merge pull request #2116 from whitequark/cxxrtl-vcd
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
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
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-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
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
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
commit
|
commitdiff
|
tree
2020-05-30
Xiretza
Use in-tree include directory in manual build
commit
|
commitdiff
|
tree
2020-05-30
Eddie Hung
abc9_ops: optimise to not derive unless attribute exists
commit
|
commitdiff
|
tree
2020-05-30
Eddie Hung
abc9_ops: -reintegrate use SigMap to remove (* init...
commit
|
commitdiff
|
tree
2020-05-29
Alberto Gonzalez
smtbmc: Remove superfluous `yosys-smt2-timeout` file...
commit
|
commitdiff
|
tree
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
commit
|
commitdiff
|
tree
2020-05-29
clairexen
Merge pull request #1885 from Xiretza/mod-rem-cells
commit
|
commitdiff
|
tree
2020-05-29
clairexen
Merge pull request #2092 from whitequark/rtlil-no-space...
commit
|
commitdiff
|
tree
2020-05-29
clairexen
Merge pull request #2017 from boqwxp/qbfsat-cvc4
commit
|
commitdiff
|
tree
2020-05-29
clairexen
Merge pull request #2016 from boqwxp/qbfsat-yices
commit
|
commitdiff
|
tree
2020-05-29
whitequark
Merge pull request #2097 from whitequark/ilang_lexer...
commit
|
commitdiff
|
tree
2020-05-29
whitequark
ilang_lexer: fix check for out of range literal.
commit
|
commitdiff
|
tree
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
commit
|
commitdiff
|
tree
2020-05-29
whitequark
Restrict RTLIL::IdString to not contain whitespace...
commit
|
commitdiff
|
tree
2020-05-28
Xiretza
Document division and modulo cells
commit
|
commitdiff
|
tree
2020-05-28
Xiretza
Update CHANGELOG
commit
|
commitdiff
|
tree
2020-05-28
Xiretza
Add comments for mod/div semantics to rtlil.h
commit
|
commitdiff
|
tree
2020-05-28
Xiretza
Expand tests/simple/constmuldivmod.v
commit
|
commitdiff
|
tree
2020-05-28
Xiretza
Add flooring division operator
commit
|
commitdiff
|
tree
2020-05-28
Xiretza
Add flooring modulo operator
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2095 from rswarbrick/hier-typo
commit
|
commitdiff
|
tree
2020-05-28
Rupert Swarbrick
Fix small typos in documentation for hierarchy command
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2091 from boqwxp/printattrs
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2051 from Xiretza/makefile-cd-warning
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2063 from boqwxp/techmapped-firrtl
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2088 from rswarbrick/count-at
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2087 from rswarbrick/lex-warn
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2086 from rswarbrick/sigbit
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2084 from rswarbrick/c_str
commit
|
commitdiff
|
tree
2020-05-28
Alberto Gonzalez
printattrs: Simplify `get_indent_str()`.
commit
|
commitdiff
|
tree
2020-05-27
Alberto Gonzalez
printattrs: Refactor indentation string building for...
commit
|
commitdiff
|
tree
2020-05-27
Alberto Gonzalez
printattrs: Add test.
commit
|
commitdiff
|
tree
2020-05-27
Alberto Gonzalez
printattrs: Use `flags` to pretty-print the `RTLIL...
commit
|
commitdiff
|
tree
2020-05-27
Alberto Gonzalez
misc: Add `printattrs` command.
commit
|
commitdiff
|
tree
2020-05-26
whitequark
Merge pull request #2090 from whitequark/cxxrtl-fixes
commit
|
commitdiff
|
tree
2020-05-26
whitequark
cxxrtl: make logging a little bit nicer.
commit
|
commitdiff
|
tree
2020-05-26
whitequark
cxxrtl: add missing parts of commit 281c9685.
commit
|
commitdiff
|
tree
2020-05-26
Rupert Swarbrick
Silence spurious warning in Verilog lexer when compilin...
commit
|
commitdiff
|
tree
2020-05-26
Rupert Swarbrick
Minor optimisation in Module::wire() and Module::cell()
commit
|
commitdiff
|
tree
2020-05-26
Rupert Swarbrick
Use default copy constructor for RTLIL::SigBit
commit
|
commitdiff
|
tree
2020-05-26
Rupert Swarbrick
Use c_str(), not str() for IdString/std::string ==...
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires...
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
xaiger: promote abc9_keep wires
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
tests: add ecp5 latch testcase with -abc9
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy
commit
|
commitdiff
|
tree
2020-05-25
Alberto Gonzalez
smtbmc and qbfsat: Add timeout option to set solver...
commit
|
commitdiff
|
tree
2020-05-25
Alberto Gonzalez
qbfsat: Add support for CVC4.
commit
|
commitdiff
|
tree
2020-05-25
Alberto Gonzalez
qbfsat: Move SMT2 info statements back to the top of...
commit
|
commitdiff
|
tree
2020-05-25
Alberto Gonzalez
qbfsat: Add `-solver` option and allow choice of Z3...
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
blackbox: re-use existing Module::makeblackbox() method
commit
|
commitdiff
|
tree
next