projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #2329 from antmicro/arrays-fix-multirange-size
[yosys.git]
/
frontends
/
2020-09-17
clairexen
Merge pull request #2329 from antmicro/arrays-fix-multi...
tree
|
commitdiff
2020-09-17
clairexen
Merge pull request #2330 from antmicro/arrays-fix-multi...
tree
|
commitdiff
2020-09-10
Miodrag Milanović
Merge pull request #2369 from Xiretza/gitignores
tree
|
commitdiff
2020-09-02
Miodrag Milanovic
Use latest verific
tree
|
commitdiff
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-31
Miodrag Milanovic
Reorder to prevent crash
tree
|
commitdiff
2020-08-31
clairexen
Merge pull request #2368 from YosysHQ/verific_portrange
tree
|
commitdiff
2020-08-30
Miodrag Milanovic
ast recognize lower case x and z and verific gives...
tree
|
commitdiff
2020-08-30
Miodrag Milanovic
Do not check for 1 and 0 only
tree
|
commitdiff
2020-08-30
Miodrag Milanovic
Fix import of VHDL enums
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-27
whitequark
Merge pull request #2357 from whitequark/cxxflags-MP
tree
|
commitdiff
2020-08-27
whitequark
Merge pull request #2356 from whitequark/flatten-techma...
tree
|
commitdiff
2020-08-27
whitequark
Merge pull request #2358 from whitequark/rename-ilang...
tree
|
commitdiff
2020-08-26
whitequark
Replace "ILANG" with "RTLIL" everywhere.
tree
|
commitdiff
2020-08-26
Miodrag Milanović
Merge pull request #2355 from YosysHQ/verific_improvements
tree
|
commitdiff
2020-08-26
Miodrag Milanovic
Add formal apps and template generators
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-03
Lukasz Dalek
Fix subarray access condition
tree
|
commitdiff
2020-08-03
Lukasz Dalek
Rewrite multirange arrays sizes [n] as [n-1:0]
tree
|
commitdiff
2020-08-01
Zachary Snow
Fix generate scoping issues
tree
|
commitdiff
2020-07-29
Miodrag Milanović
Merge pull request #2314 from YosysHQ/verifix_errorfix
tree
|
commitdiff
2020-07-29
Miodrag Milanovic
Clear last error message
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
clairexen
Merge pull request #2273 from whitequark/write-verilog...
tree
|
commitdiff
2020-07-16
clairexen
Merge pull request #2272 from whitequark/write-verilog-sv
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-16
whitequark
Merge pull request #2270 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2020-07-15
whitequark
Merge pull request #2269 from YosysHQ/claire/bisonwall
tree
|
commitdiff
2020-07-15
Claire Wolf
Treat all bison warnings as errors in verilog front-end
tree
|
commitdiff
2020-07-15
Claire Wolf
Use %precedence in verilog_parser.y
tree
|
commitdiff
2020-07-15
Claire Wolf
Fix bison warnings for missing %empty
tree
|
commitdiff
2020-07-15
Claire Wolf
Run bison with -Wall for verilog front-end
tree
|
commitdiff
2020-07-15
clairexen
Merge pull request #2257 from antmicro/fix-conflicts
tree
|
commitdiff
2020-07-15
Kamil Rakoczy
Add missing semicolons
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-10
Kamil Rakoczy
Fix S/R conflicts
tree
|
commitdiff
2020-07-10
Kamil Rakoczy
Fix R/R conflicts
tree
|
commitdiff
2020-07-10
Kamil Rakoczy
Revert "Revert PRs #2203 and #2244."
tree
|
commitdiff
2020-07-09
whitequark
Merge pull request #2255 from whitequark/bison-Werror...
tree
|
commitdiff
2020-07-09
whitequark
verilog_parser: turn S/R and R/R conflicts into hard...
tree
|
commitdiff
2020-07-09
whitequark
Revert PRs #2203 and #2244.
tree
|
commitdiff
2020-07-09
clairexen
Merge pull request #2244 from antmicro/logic
tree
|
commitdiff
2020-07-06
Lukasz Dalek
Support logic typed parameters
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-30
clairexen
Merge pull request #2199 from YosysHQ/mmicko/sim_memory
tree
|
commitdiff
2020-06-30
clairexen
Merge pull request #2201 from YosysHQ/fix_test_cell_ilang
tree
|
commitdiff
2020-06-30
clairexen
Merge pull request #2209 from YosysHQ/verific_update
tree
|
commitdiff
2020-06-30
Miodrag Milanovic
Update verific API version check
tree
|
commitdiff
2020-06-29
Zachary Snow
Allow constant function calls in for loops and generate...
tree
|
commitdiff
2020-06-26
Miodrag Milanovic
Fix crash in verific frontend
tree
|
commitdiff
2020-06-26
Lukasz Dalek
Parse macro call attached semicolon as empty expression
tree
|
commitdiff
2020-06-26
Lukasz Dalek
Fix integer signing grammar
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-25
clairexen
Merge pull request #2135 from boqwxp/qbfsat-timeinfo
tree
|
commitdiff
2020-06-25
clairexen
Merge pull request #2093 from boqwxp/qbfsat-bugfixes
tree
|
commitdiff
2020-06-25
clairexen
Merge pull request #2192 from YosysHQ/verific_netbus_attr
tree
|
commitdiff
2020-06-25
Kamil Rakoczy
Support missing sub-assign and and-assign operators
tree
|
commitdiff
next