projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Extend simplify() recursion warning
[yosys.git]
/
frontends
/
ast
/
simplify.cc
2020-06-25
clairexen
Merge pull request #2168 from whitequark/assert-unused...
blob
|
commitdiff
|
raw
2020-06-20
Kazuki Sakamoto
static cast: simplify
blob
|
commitdiff
|
raw
|
diff to current
2020-06-20
Kazuki Sakamoto
static cast: support changing size and signedness
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
whitequark
Remove YS_ATTRIBUTE(unused) where present just for...
blob
|
commitdiff
|
raw
2020-06-10
whitequark
Merge pull request #2134 from whitequark/cxxrtl-opt...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-10
clairexen
Merge pull request #2131 from YosysHQ/claire/preserveffs
blob
|
commitdiff
|
raw
|
diff to current
2020-06-09
clairexen
Merge pull request #2112 from YosysHQ/claire/fix2040
blob
|
commitdiff
|
raw
|
diff to current
2020-06-09
Peter Crozier
Support 2D packed bit arrays in struct/union.
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
Peter Crozier
Support 2D bit arrays in structures. Optimise array...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
whitequark
Merge pull request #2121 from whitequark/cxxrtl-debug...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
clairexen
Merge pull request #2085 from rswarbrick/select
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
clairexen
Merge pull request #2089 from rswarbrick/modports
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
clairexen
Merge pull request #2105 from whitequark/split-flatten...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
clairexen
Merge pull request #2117 from PeterCrozier/struct_array
blob
|
commitdiff
|
raw
|
diff to current
2020-06-07
Peter Crozier
Support packed arrays in struct/union.
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
whitequark
Merge pull request #2113 from whitequark/cxxrtl-fix...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
N. Engelhardt
Merge pull request #2109 from nakengelhardt/btor_intern...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Claire Wolf
Add latch detection for use_case_method in part-select...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
clairexen
Merge pull request #2041 from PeterCrozier/struct
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Eddie Hung
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
N. Engelhardt
Merge pull request #2070 from hackfin/master
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Eddie Hung
Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes
no_loop
blob
|
commitdiff
|
raw
|
diff to current
2020-06-03
Peter Crozier
Merge branch 'master' into struct
blob
|
commitdiff
|
raw
|
diff to current
2020-06-03
Eddie Hung
Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
blob
|
commitdiff
|
raw
|
diff to current
2020-05-30
Eddie Hung
Merge pull request #2081 from YosysHQ/eddie/blackbox_ast
blob
|
commitdiff
|
raw
|
diff to current
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
blob
|
commitdiff
|
raw
|
diff to current
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-28
whitequark
Merge pull request #2051 from Xiretza/makefile-cd-warning
blob
|
commitdiff
|
raw
|
diff to current
2020-05-28
whitequark
Merge pull request #2031 from epfl-vlsc/master
blob
|
commitdiff
|
raw
|
diff to current
2020-05-28
whitequark
Merge pull request #2063 from boqwxp/techmapped-firrtl
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
blob
|
commitdiff
|
raw
|
diff to current
2020-05-21
Eddie Hung
Merge pull request #2057 from YosysHQ/eddie/fix_task_attr
blob
|
commitdiff
|
raw
|
diff to current
2020-05-21
Miodrag Milanović
Merge pull request #2059 from boqwxp/logger-vector...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
N. Engelhardt
Merge pull request #2046 from PeterCrozier/trap
blob
|
commitdiff
|
raw
|
diff to current
2020-05-20
N. Engelhardt
Merge pull request #2054 from boqwxp/fix-smtbmc
blob
|
commitdiff
|
raw
|
diff to current
2020-05-18
Marcelina Kościelnicka
Add force_downto and force_upto wire attributes.
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Eddie Hung
Merge pull request #2045 from YosysHQ/eddie/fix2042
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Claire Wolf
Merge pull request #2052 from YosysHQ/claire/verific_memfix
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Claire Wolf
Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes
blob
|
commitdiff
|
raw
|
diff to current
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-12
Peter Crozier
Generalise structs and add support for packed unions.
blob
|
commitdiff
|
raw
|
diff to current
2020-05-08
Peter Crozier
Implement SV structs.
blob
|
commitdiff
|
raw
|
diff to current
2020-05-08
Claire Wolf
Merge pull request #2038 from nakengelhardt/no-libdir...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-08
whitequark
Merge pull request #2022 from Xiretza/fallthroughs
blob
|
commitdiff
|
raw
|
diff to current
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
blob
|
commitdiff
|
raw
|
diff to current
2020-05-07
Xiretza
Add YS_FALLTHROUGH macro to mark case fall-through
blob
|
commitdiff
|
raw
|
diff to current
2020-05-06
Eddie Hung
Merge pull request #2028 from zachjs/master
blob
|
commitdiff
|
raw
|
diff to current
2020-05-05
Eddie Hung
Merge pull request #2025 from YosysHQ/eddie/frontend_cl...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-05
Eddie Hung
Merge pull request #2026 from YosysHQ/eddie/scratchpad_...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-05
Eddie Hung
Merge pull request #2024 from YosysHQ/eddie/primitive_src
blob
|
commitdiff
|
raw
|
diff to current
2020-05-05
whitequark
ast/simplify: don't bitblast async ROMs declared as...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-04
Eddie Hung
ast: swap range regardless of range_left >= 0
blob
|
commitdiff
|
raw
|
diff to current
2020-05-04
Eddie Hung
frontend: cleanup to use more ID::*, more dict<> instea...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-04
Eddie Hung
verilog: set src attribute for primitives
blob
|
commitdiff
|
raw
|
diff to current
2020-05-02
Claire Wolf
Add AST_SELFSZ and improve handling of bit slices
blob
|
commitdiff
|
raw
|
diff to current
2020-05-02
Claire Wolf
Add "nowrshmsk" attribute, fix shift-and-mask bit slice...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-22
Eddie Hung
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
blob
|
commitdiff
|
raw
|
diff to current
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
blob
|
commitdiff
|
raw
|
diff to current
2020-04-22
Eddie Hung
Merge pull request #1973 from YosysHQ/eddie/fix1966
blob
|
commitdiff
|
raw
|
diff to current
2020-04-22
Eddie Hung
Merge pull request #1950 from YosysHQ/eddie/design_import
blob
|
commitdiff
|
raw
|
diff to current
2020-04-22
Claire Wolf
Merge pull request #1976 from YosysHQ/dave/fix-sim...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-22
Claire Wolf
Merge pull request #1979 from whitequark/cxxrtl-go...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-21
Claire Wolf
Merge pull request #1971 from YosysHQ/claire/edifkeep
blob
|
commitdiff
|
raw
|
diff to current
2020-04-21
Claire Wolf
Merge pull request #1851 from YosysHQ/claire/bitselwrite
blob
|
commitdiff
|
raw
|
diff to current
2020-04-21
whitequark
Merge pull request #1961 from whitequark/paramod-origin...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-20
Claire Wolf
Merge pull request #1964 from YosysHQ/claire/sformatf
blob
|
commitdiff
|
raw
|
diff to current
2020-04-18
Claire Wolf
Extend support for format strings in Verilog front-end
blob
|
commitdiff
|
raw
|
diff to current
2020-04-17
whitequark
Merge pull request #1864 from boqwxp/cleanup_techmap_abc
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
whitequark
Merge pull request #1947 from whitequark/cxxrtl-usability
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
whitequark
Merge pull request #1896 from boqwxp/read_stdin_repl
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
Claire Wolf
Merge pull request #1797 from epfl-vlsc/firrtl_backend_...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
Eddie Hung
Merge pull request #1927 from YosysHQ/eddie/design_remo...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
whitequark
Merge pull request #1915 from boqwxp/dict_move_semantics
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
whitequark
Merge pull request #1900 from Xiretza/suppress-makefile...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
whitequark
Merge pull request #1937 from hzeller/consexpr-opportunity
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
David Shah
Merge pull request #1943 from YosysHQ/dave/fix-1919
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
Claire Wolf
Make mask-and-shift the default for bitselwrite
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
Claire Wolf
Add LookaheadRewriter for proper bitselwrite support
blob
|
commitdiff
|
raw
|
diff to current
2020-04-16
David Shah
ast: Fix handling of identifiers in the global scope
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
Claire Wolf
Improved rewrite code for writing to bit slice (disable...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
Miodrag Milanović
Merge pull request #1894 from YosysHQ/mingw_fix
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
Eddie Hung
Merge pull request #1916 from YosysHQ/eddie/kernel_make...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
Eddie Hung
Merge pull request #1933 from YosysHQ/eddie/zinit_more
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
N. Engelhardt
Merge pull request #1830 from boqwxp/qbfsat
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
David Shah
Merge pull request #1897 from YosysHQ/dave/bram-rejecti...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
whitequark
Merge pull request #1918 from whitequark/simplify-impro...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
whitequark
ast/simplify: improve enum handling.
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
whitequark
Merge pull request #1922 from whitequark/write_cxxrtl...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
whitequark
Merge pull request #1921 from whitequark/write_cxxrtl...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
Eddie Hung
Merge pull request #1917 from YosysHQ/eddie/abc9_delay_...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
whitequark
Merge pull request #1879 from jjj11x/jjj11x/package_decl
blob
|
commitdiff
|
raw
|
diff to current
2020-04-14
whitequark
Merge pull request #1880 from jjj11x/duplicate_enum
blob
|
commitdiff
|
raw
|
diff to current
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
blob
|
commitdiff
|
raw
|
diff to current
2020-04-08
Sahand Kashani
Merge branch 'master' of github.com:YosysHQ/yosys into...
blob
|
commitdiff
|
raw
|
diff to current
next