projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Use latest verific
[yosys.git]
/
frontends
/
ast
/
2020-09-01
clairexen
Merge pull request #2352 from zachjs/const-func-localparam
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2366 from zachjs/library-format
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2353 from zachjs/top-scope
tree
|
commitdiff
2020-09-01
clairexen
Merge pull request #2365 from zachjs/const-arg-loop...
tree
|
commitdiff
2020-08-29
Zachary Snow
Simple support for %l format specifier
tree
|
commitdiff
2020-08-29
Zachary Snow
Fix constant args used with function ports split across...
tree
|
commitdiff
2020-08-21
Zachary Snow
Module name scope support
tree
|
commitdiff
2020-08-21
Zachary Snow
Allow localparams in constant functions
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2347 from YosysHQ/mwk/techmap-shift...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2344 from YosysHQ/mwk/opt_share...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2337 from YosysHQ/mwk/clean-keep...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2333 from YosysHQ/mwk/peepopt-shift...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2327 from YosysHQ/mwk/techmap-const...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
tree
|
commitdiff
2020-08-20
clairexen
Merge pull request #2319 from YosysHQ/mwk/techmap-cellt...
tree
|
commitdiff
2020-08-19
clairexen
Merge pull request #2122 from PeterCrozier/struct_array2
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2339 from zachjs/display-format-0s
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2338 from zachjs/const-branch-finish
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2317 from zachjs/expand-genblock
tree
|
commitdiff
2020-08-18
Claire Wolf
Merge branch 'zachjs-const-func-block-var'
tree
|
commitdiff
2020-08-18
Claire Wolf
Merge branch 'const-func-block-var' of https://github...
tree
|
commitdiff
2020-08-18
clairexen
Merge pull request #2281 from zachjs/const-real
tree
|
commitdiff
2020-08-09
Zachary Snow
Propagate const_fold through generate blocks and branches
tree
|
commitdiff
2020-08-09
Zachary Snow
Allow %0s $display format specifier
tree
|
commitdiff
2020-08-01
Zachary Snow
Fix generate scoping issues
tree
|
commitdiff
2020-07-28
clairexen
Merge pull request #2301 from zachjs/for-loop-errors
tree
|
commitdiff
2020-07-28
clairexen
Merge pull request #2306 from YosysHQ/mwk/equiv_induct...
tree
|
commitdiff
2020-07-26
clairexen
Merge pull request #2299 from zachjs/arg-loop
tree
|
commitdiff
2020-07-25
Zachary Snow
Clearer for loop error messages
tree
|
commitdiff
2020-07-25
Zachary Snow
Allow blocks with declarations within constant functions
tree
|
commitdiff
2020-07-25
Zachary Snow
Avoid generating wires for function args which are...
tree
|
commitdiff
2020-07-20
Zachary Snow
Allow reals as constant function parameters
tree
|
commitdiff
2020-07-16
clairexen
Merge pull request #2229 from Ravenslofty/sf2_remove_sf...
tree
|
commitdiff
2020-07-16
Miodrag Milanović
Merge pull request #2238 from YosysHQ/mwk/dfflegalize...
tree
|
commitdiff
2020-07-16
Miodrag Milanović
Merge pull request #2226 from YosysHQ/mwk/nuke-efinix...
tree
|
commitdiff
2020-07-15
clairexen
Merge pull request #2257 from antmicro/fix-conflicts
tree
|
commitdiff
2020-07-10
clairexen
Merge pull request #2256 from YosysHQ/claire/fix2241
tree
|
commitdiff
2020-07-10
Claire Wolf
Add AST_EDGE support to AstNode::detect_latch(), fixes...
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2186 from YosysHQ/mwk/dfflegalize
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge
tree
|
commitdiff
2020-07-02
clairexen
Merge pull request #2195 from YosysHQ/mwk/manual-gates
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2203 from antmicro/fix-grammar
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2179 from splhack/static-cast
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2138 from boqwxp/qbfsat-oflag
tree
|
commitdiff
2020-07-01
clairexen
Merge pull request #2206 from boqwxp/qbfsat-fix-name...
tree
|
commitdiff
2020-06-30
clairexen
Merge pull request #2136 from zachjs/master
tree
|
commitdiff
2020-06-29
Zachary Snow
Allow constant function calls in for loops and generate...
tree
|
commitdiff
2020-06-26
whitequark
Merge pull request #2188 from antmicro/missing-operators
tree
|
commitdiff
2020-06-26
whitequark
Merge pull request #2189 from antmicro/optional-labels
tree
|
commitdiff
2020-06-25
clairexen
Merge pull request #2168 from whitequark/assert-unused...
tree
|
commitdiff
2020-06-20
Kazuki Sakamoto
static cast: simplify
tree
|
commitdiff
2020-06-20
Kazuki Sakamoto
static cast: support changing size and signedness
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-18
whitequark
Use C++11 final/override keywords.
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
clairexen
Merge pull request #2112 from YosysHQ/claire/fix2040
tree
|
commitdiff
2020-06-09
Peter Crozier
Support 2D packed bit arrays in struct/union.
tree
|
commitdiff
2020-06-08
Peter Crozier
Support 2D bit arrays in structures. Optimise array...
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-07
Peter Crozier
Support packed arrays in struct/union.
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
Claire Wolf
Add latch detection for use_case_method in part-select...
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
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-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-05-31
clairexen
Merge pull request #1862 from boqwxp/cleanup_techmap
tree
|
commitdiff
2020-05-30
Eddie Hung
Merge pull request #2081 from YosysHQ/eddie/blackbox_ast
tree
|
commitdiff
2020-05-30
clairexen
Merge pull request #2018 from boqwxp/qbfsat-timeout
tree
|
commitdiff
2020-05-29
clairexen
Merge pull request #2029 from whitequark/fix-simplify...
tree
|
commitdiff
2020-05-29
whitequark
Merge pull request #2033 from boqwxp/cleanup-verilog...
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-25
clairexen
Merge pull request #2015 from boqwxp/qbfsat-bisection
tree
|
commitdiff
2020-05-21
Eddie Hung
Merge pull request #2057 from YosysHQ/eddie/fix_task_attr
tree
|
commitdiff
2020-05-21
Miodrag Milanović
Merge pull request #2059 from boqwxp/logger-vector...
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2046 from PeterCrozier/trap
tree
|
commitdiff
2020-05-20
N. Engelhardt
Merge pull request #2054 from boqwxp/fix-smtbmc
tree
|
commitdiff
2020-05-18
Marcelina Kościelnicka
Add force_downto and force_upto wire attributes.
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #2045 from YosysHQ/eddie/fix2042
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2052 from YosysHQ/claire/verific_memfix
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes
tree
|
commitdiff
2020-05-14
Claire Wolf
Merge pull request #2027 from YosysHQ/eddie/verilog_neg...
tree
|
commitdiff
2020-05-12
Peter Crozier
Generalise structs and add support for packed unions.
tree
|
commitdiff
next