projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2116 from whitequark/cxxrtl-vcd
2020-06-07
whitequark
Merge pull request #2116 from whitequark/cxxrtl-vcd
commit
|
commitdiff
|
tree
2020-06-06
whitequark
Merge pull request #2115 from whitequark/cxxrtl-introspection
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_internal_names
commit
|
commitdiff
|
tree
2020-06-04
Yehowshua Immanuel
more reasonable numbers for memory
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_improve
commit
|
commitdiff
|
tree
2020-06-04
clairexen
Merge pull request #2108 from nakengelhardt/btor_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
commit
|
commitdiff
|
tree
2020-06-03
Peter Crozier
Merge branch 'master' into struct
commit
|
commitdiff
|
tree
2020-06-03
Eddie Hung
Merge pull request #2080 from YosysHQ/eddie/fix_test_warnings
commit
|
commitdiff
|
tree
2020-06-03
whitequark
Merge pull request #2104 from whitequark/simplify-techmap
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_asymmetric
commit
|
commitdiff
|
tree
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
commit
|
commitdiff
|
tree
2020-05-30
Eddie Hung
Merge pull request #2081 from YosysHQ/eddie/blackbox_ast
commit
|
commitdiff
|
tree
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
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
Merge pull request #2033 from boqwxp/cleanup-verilog...
commit
|
commitdiff
|
tree
2020-05-28
whitequark
Merge pull request #2095 from rswarbrick/hier-typo
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-26
whitequark
Merge pull request #2090 from whitequark/cxxrtl-fixes
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidy
commit
|
commitdiff
|
tree
2020-05-25
Eddie Hung
Merge pull request #2044 from YosysHQ/eddie/fix2037
commit
|
commitdiff
|
tree
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
commit
|
commitdiff
|
tree
2020-05-24
Eddie Hung
Merge pull request #2075 from YosysHQ/eddie/xaiger_cleanup
commit
|
commitdiff
|
tree
2020-05-23
Eddie Hung
Merge pull request #2074 from YosysHQ/eddie/ecp5_cleanup
commit
|
commitdiff
|
tree
2020-05-22
whitequark
Merge pull request #2072 from whitequark/cxxrtl-dont...
commit
|
commitdiff
|
tree
2020-05-21
Eddie Hung
Merge pull request #2057 from YosysHQ/eddie/fix_task_attr
commit
|
commitdiff
|
tree
2020-05-21
Eddie Hung
Update frontends/verilog/verilog_parser.y
...61295559+boqwxp@users.noreply.
github
.com>
commit
|
commitdiff
|
tree
2020-05-21
Miodrag Milanović
Merge pull request #2059 from boqwxp/logger-vector...
commit
|
commitdiff
|
tree
2020-05-20
N. Engelhardt
Merge pull request #2046 from PeterCrozier/trap
commit
|
commitdiff
|
tree
2020-05-20
N. Engelhardt
Merge pull request #2054 from boqwxp/fix-smtbmc
commit
|
commitdiff
|
tree
2020-05-18
Eddie Hung
Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
Merge pull request #2055 from YosysHQ/eddie/logger_multiple
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
Merge pull request #2045 from YosysHQ/eddie/fix2042
commit
|
commitdiff
|
tree
2020-05-14
Claire Wolf
Merge pull request #2052 from YosysHQ/claire/verific_memfix
commit
|
commitdiff
|
tree
2020-05-14
Claire Wolf
Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes
commit
|
commitdiff
|
tree
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg_upto
commit
|
commitdiff
|
tree
2020-05-08
Claire Wolf
Merge pull request #2038 from nakengelhardt/no-libdir...
commit
|
commitdiff
|
tree
2020-05-08
whitequark
Merge pull request #2022 from Xiretza/fallthroughs
commit
|
commitdiff
|
tree
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
commit
|
commitdiff
|
tree
2020-05-07
Eddie Hung
Merge pull request #2034 from YosysHQ/eddie/abc_remote
commit
|
commitdiff
|
tree
2020-05-06
Eddie Hung
Merge pull request #2028 from zachjs/master
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2025 from YosysHQ/eddie/frontend_cleanup
commit
|
commitdiff
|
tree
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2026 from YosysHQ/eddie/scratchpad_abc9_W
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2024 from YosysHQ/eddie/primitive_src
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2023 from YosysHQ/eddie/specify_src
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
commit
|
commitdiff
|
tree
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
commit
|
commitdiff
|
tree
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Merge pull request #2010 from YosysHQ/claire/fixopt
commit
|
commitdiff
|
tree
2020-05-01
whitequark
Merge pull request #2001 from whitequark/wasi
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Merge pull request #1997 from whitequark/document-ootb
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Merge pull request #1981 from YosysHQ/claire/fix1837
commit
|
commitdiff
|
tree
2020-04-30
Eddie Hung
Merge pull request #1999 from YosysHQ/eddie/verific_enum_again
commit
|
commitdiff
|
tree
2020-04-30
whitequark
Merge pull request #2008 from whitequark/editorconfig-abc
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Merge pull request #1946 from YosysHQ/eddie/yosyshq_abc
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
commit
|
commitdiff
|
tree
2020-04-25
whitequark
Merge pull request #2002 from YosysHQ/dave/cxxrtl-width
commit
|
commitdiff
|
tree
2020-04-24
whitequark
Merge pull request #1998 from whitequark/cxxrtl-fixes
commit
|
commitdiff
|
tree
2020-04-24
Claire Wolf
Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disable_mfs
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1988 from boqwxp/qbfsat
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1986 from YosysHQ/eddie/verific_enum
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
Merge pull request #1984 from YosysHQ/eddie/getParam_exception
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1983 from YosysHQ/eddie/use_default_param
commit
|
commitdiff
|
tree
2020-04-22
whitequark
Merge pull request #1982 from AsuMagic/asu/cxxrtl-memory...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Update passes/cmds/select.cc
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1973 from YosysHQ/eddie/fix1966
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1950 from YosysHQ/eddie/design_import
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #1976 from YosysHQ/dave/fix-sim...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #1979 from whitequark/cxxrtl-go...
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Merge pull request #1971 from YosysHQ/claire/edifkeep
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Merge pull request #1851 from YosysHQ/claire/bitselwrite
commit
|
commitdiff
|
tree
2020-04-21
whitequark
Merge pull request #1961 from whitequark/paramod-original...
commit
|
commitdiff
|
tree
next