projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3183 from YosysHQ/micko/nto1mux
[yosys.git]
/
frontends
/
verific
/
2022-02-02
Miodrag Milanović
Merge pull request #3183 from YosysHQ/micko/nto1mux
tree
|
commitdiff
2022-02-02
Miodrag Milanovic
Use bmux for NTO1MUX
tree
|
commitdiff
2021-12-13
Claire Xen
Merge pull request #3108 from YosysHQ/claire/verificdefs
tree
|
commitdiff
2021-12-13
Claire Xenia Wolf
Add YOSYS to the implicitly defined verilog macros...
tree
|
commitdiff
2021-12-10
Miodrag Milanović
Merge pull request #3102 from YosysHQ/claire/enumxz
tree
|
commitdiff
2021-12-10
Claire Xenia Wolf
Fix verific import of enum values with x and/or z
tree
|
commitdiff
2021-12-10
Miodrag Milanović
Merge pull request #3097 from YosysHQ/modport
tree
|
commitdiff
2021-12-10
Claire Xen
Update verific.cc
tree
|
commitdiff
2021-12-08
Miodrag Milanovic
If direction NONE use that from first bit
tree
|
commitdiff
2021-12-03
Miodrag Milanovic
Make sure cell names are unique for wide operators
tree
|
commitdiff
2021-11-10
Claire Xen
Merge pull request #3075 from YosysHQ/micko/verific_mem...
tree
|
commitdiff
2021-11-10
Miodrag Milanovic
No need to alocate more memory than used
tree
|
commitdiff
2021-11-05
Miodrag Milanović
Merge pull request #3067 from YosysHQ/aki/ci_update
tree
|
commitdiff
2021-11-01
Claire Xen
Merge pull request #3068 from YosysHQ/claire/verific_cfg
tree
|
commitdiff
2021-11-01
Claire Xenia Wolf
Add "verific -cfg" command
tree
|
commitdiff
2021-10-31
Claire Xen
Merge pull request #3066 from YosysHQ/claire/verific_gclk
tree
|
commitdiff
2021-10-31
Claire Xenia Wolf
Fix verific gclk handling for async-load FFs
tree
|
commitdiff
2021-10-27
Miodrag Milanović
Merge pull request #3063 from YosysHQ/micko/verific_aldff
tree
|
commitdiff
2021-10-27
Miodrag Milanovic
Enable async load dff emit by default in Verific
tree
|
commitdiff
2021-10-27
Miodrag Milanovic
Revert "Compile option for enabling async load verific...
tree
|
commitdiff
2021-10-25
Miodrag Milanovic
Compile option for enabling async load verific support
tree
|
commitdiff
2021-10-21
Claire Xen
Merge pull request #3057 from YosysHQ/claire/verific_la...
tree
|
commitdiff
2021-10-21
Claire Xenia Wolf
Fix verific.cc PRIM_DLATCH handling
tree
|
commitdiff
2021-10-21
Claire Xenia Wolf
Initial Verific impoter support for {PRIM,WIDE_OPER...
tree
|
commitdiff
2021-10-20
Miodrag Milanovic
Option to disable verific VHDL support
tree
|
commitdiff
2021-10-15
Claire Xen
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
tree
|
commitdiff
2021-10-14
Miodrag Milanovic
Support PRIM_BUFIF1 primitive
tree
|
commitdiff
2021-10-11
Claire Xen
Merge pull request #3039 from YosysHQ/claire/verific_aldff
tree
|
commitdiff
2021-10-11
Claire Xenia Wolf
Add Verific adffe/dffsre/aldffe FIXMEs
tree
|
commitdiff
2021-10-11
Claire Xen
Merge pull request #3040 from YosysHQ/micko/split_modul...
tree
|
commitdiff
2021-10-11
Claire Xen
Merge pull request #3041 from YosysHQ/mmicko/module_attr
tree
|
commitdiff
2021-10-10
Miodrag Milanovic
Import module attributes from Verific
tree
|
commitdiff
2021-10-08
Claire Xenia Wolf
Fixes and add comments for open FIXME items
tree
|
commitdiff
2021-10-08
Claire Xenia Wolf
Add support for $aldff flip-flops to verific importer
tree
|
commitdiff
2021-10-04
Miodrag Milanovic
verific set db_infer_set_reset_registers
tree
|
commitdiff
2021-09-02
Miodrag Milanovic
update required verific version
tree
|
commitdiff
2021-08-20
Miodrag Milanović
Merge pull request #2973 from YosysHQ/micko/optional_ex...
tree
|
commitdiff
2021-08-20
Miodrag Milanovic
Make Verific extensions optional
tree
|
commitdiff
2021-08-02
Miodrag Milanovic
Require latest verific
tree
|
commitdiff
2021-07-21
Miodrag Milanovic
Update to latest verific
tree
|
commitdiff
2021-07-09
Miodrag Milanovic
Update to latest Verific with extensions for initial...
tree
|
commitdiff
2021-07-05
Claire Xen
Merge pull request #2835 from YosysHQ/verific_command
tree
|
commitdiff
2021-07-05
Miodrag Milanovic
Add additional help
tree
|
commitdiff
2021-06-16
Miodrag Milanovic
Support command files in Verific
tree
|
commitdiff
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
tree
|
commitdiff
2021-06-07
Claire Xenia Wolf
Fixing old e-mail addresses and deadnames
tree
|
commitdiff
2021-03-07
whitequark
Merge pull request #2626 from zachjs/param-no-default
tree
|
commitdiff
2021-03-04
Claire Xen
Update README
tree
|
commitdiff
2021-03-01
Claire Xen
Merge pull request #2523 from tomverbeure/define_synthesis
tree
|
commitdiff
2021-03-01
Claire Xen
Merge pull request #2524 from bkbncn/patch-1
tree
|
commitdiff
2021-02-25
whitequark
Merge pull request #2554 from hzeller/master
tree
|
commitdiff
2021-02-21
whitequark
Merge pull request #2586 from zachjs/tern-recurse
tree
|
commitdiff
2021-02-15
Claire Xen
Merge pull request #2574 from dh73/master
tree
|
commitdiff
2021-02-12
gatecat
Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct
tree
|
commitdiff
2021-02-12
Miodrag Milanovic
Ganulate Verific support
tree
|
commitdiff
2021-02-04
Diego H
Accept disable case for SVA liveness properties.
tree
|
commitdiff
2021-02-04
whitequark
Merge pull request #2529 from zachjs/unnamed-genblk
tree
|
commitdiff
2021-02-03
whitequark
Merge pull request #2436 from dalance/fix_generate
tree
|
commitdiff
2021-01-30
Miodrag Milanovic
Require latest Verific build
tree
|
commitdiff
2021-01-28
Claire Xen
Merge pull request #2535 from Ravenslofty/scc-specify
tree
|
commitdiff
2021-01-26
whitequark
Merge pull request #2544 from modwizcode/fix-clock
tree
|
commitdiff
2021-01-25
whitequark
Merge pull request #2549 from pgadfort/support-multiple...
tree
|
commitdiff
2021-01-25
whitequark
Merge pull request #2550 from zachjs/macro-arg-spaces
tree
|
commitdiff
2021-01-20
Claire Xen
Merge pull request #2552 from YosysHQ/claire/yosyshq
tree
|
commitdiff
2021-01-20
Claire Xenia Wolf
Switch verific bindings from Symbiotic EDA flavored...
tree
|
commitdiff
2021-01-01
whitequark
Merge pull request #2480 from YosysHQ/dave/nexus-lram
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2468 from whitequark/cxxrtl-assert
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2469 from whitequark/cxxrtl-no-clk
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2466 from whitequark/cxxrtl-reset
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2456 from Zottel/master
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2455 from gsomlo/gls-fedpkg-fixes
tree
|
commitdiff
2020-12-02
David Shah
Merge pull request #2467 from YosysHQ/dave/nexus-carry-fix
tree
|
commitdiff
2020-12-02
whitequark
Merge pull request #2446 from RobertBaruch/rtlil_format
tree
|
commitdiff
2020-12-02
Miodrag Milanovic
Bump required Verific version
tree
|
commitdiff
2020-11-25
Claire Xen
Merge pull request #2133 from dh73/nodev_head
tree
|
commitdiff
2020-11-24
Miodrag Milanović
Merge pull request #2295 from epfl-vlsc/firrtl_blackbox...
tree
|
commitdiff
2020-11-07
whitequark
Merge pull request #2414 from zeldin/abc-depend-clang-fix
tree
|
commitdiff
2020-11-07
Miodrag Milanović
Merge pull request #2432 from Xiretza/nexus-tests
tree
|
commitdiff
2020-10-31
whitequark
Merge pull request #2416 from QuantamHD/master
tree
|
commitdiff
2020-10-30
Miodrag Milanovic
Update verific version
tree
|
commitdiff
2020-10-20
clairexen
Merge pull request #2405 from byuccl/fix_xilinx_cells
tree
|
commitdiff
2020-10-19
Miodrag Milanović
Merge pull request #2397 from daveshah1/nexus
tree
|
commitdiff
2020-10-15
clairexen
Merge pull request #2398 from jakobwenzel/smtbmc-escape
tree
|
commitdiff
2020-10-12
Miodrag Milanovic
extend verific library API for formal apps and generators
tree
|
commitdiff
2020-10-05
Miodrag Milanović
Update required Verific version
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2378 from udif/pr_dollar_high_low
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2380 from Xiretza/parallel-tests
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2395 from YosysHQ/sha1_if_contain_s...
tree
|
commitdiff
2020-09-30
Miodrag Milanovic
use sha1 for parameter list in case if they contain...
tree
|
commitdiff
2020-09-21
N. Engelhardt
Merge pull request #2372 from nakengelhardt/name_is_public
tree
|
commitdiff
2020-09-18
clairexen
Merge pull request #2381 from YosysHQ/unsupported
tree
|
commitdiff
2020-09-18
Miodrag Milanovic
Better error for unsupported SVA sequence
tree
|
commitdiff
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
next