projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Makefile: properly conditionalize features requiring compression.
[yosys.git]
/
frontends
/
2022-04-07
Catherine
Merge pull request #3269 from YosysHQ/micko/fix_autotop
tree
|
commitdiff
2022-04-05
Zachary Snow
sv: fix always_comb auto nosync for nested and function...
tree
|
commitdiff
2022-04-01
Miodrag Milanović
Merge pull request #3262 from YosysHQ/micko/verific_hiernet
tree
|
commitdiff
2022-04-01
Miodrag Milanovic
Preserve internal wires for external nets
tree
|
commitdiff
2022-03-30
Miodrag Milanović
Merge pull request #3259 from YosysHQ/micko/verific_val...
tree
|
commitdiff
2022-03-30
Miodrag Milanovic
Fix valgrind tests when using verific
tree
|
commitdiff
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_con...
tree
|
commitdiff
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
tree
|
commitdiff
2022-03-26
Miodrag Milanovic
Properly mark modules imported
tree
|
commitdiff
2022-03-25
Miodrag Milanovic
Import verific netlist in consistent order
tree
|
commitdiff
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
tree
|
commitdiff
2022-03-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_...
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3206 from YosysHQ/micko/quote_remove
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3207 from nakengelhardt/json_escape...
tree
|
commitdiff
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
tree
|
commitdiff
2022-02-18
N. Engelhardt
fix handling of escaped chars in json backend and frontend
tree
|
commitdiff
2022-02-16
Miodrag Milanovic
Remove quotes if any from attribute
tree
|
commitdiff
2022-02-14
Zachary Snow
verilog: support for time scale delay values
tree
|
commitdiff
2022-02-14
Kamil Rakoczy
Fix access to whole sub-structs (#3086)
tree
|
commitdiff
2022-02-11
Zachary Snow
verilog: fix dynamic dynamic range asgn elab
tree
|
commitdiff
2022-02-11
Zachary Snow
verilog: fix const func eval with upto variables
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2376 from nmoroze/clk2ff-better...
tree
|
commitdiff
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
tree
|
commitdiff
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
tree
|
commitdiff
2022-02-09
Miodrag Milanović
Merge pull request #3193 from YosysHQ/micko/verific_f
tree
|
commitdiff
2022-02-09
Miodrag Milanovic
Add ability to override verilog mode for verific -f...
tree
|
commitdiff
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
tree
|
commitdiff
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
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
tree
|
commitdiff
2022-01-18
Zachary Snow
fix dumpAst() compilation warning
tree
|
commitdiff
2022-01-17
N. Engelhardt
Merge pull request #3145 from nakengelhardt/advertise_s...
tree
|
commitdiff
2022-01-08
Zachary Snow
sv: auto add nosync to certain always_comb local vars
tree
|
commitdiff
2022-01-08
Zachary Snow
sv: fix size cast internal expression extension
tree
|
commitdiff
2022-01-03
Zachary Snow
sv: fix size cast clipping expression width
tree
|
commitdiff
2021-12-25
Catherine
Merge pull request #3127 from whitequark/cxxrtl-no...
tree
|
commitdiff
2021-12-18
Zachary Snow
fix width detection of array querying function in case...
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3115 from whitequark/issue-3112
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3114 from whitequark/issue-3113
tree
|
commitdiff
2021-12-16
Thomas Sailer
preprocessor: do not destroy double slash escaped ident...
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-16
Kamil Rakoczy
Support parameters using struct as a wiretype (#3050)
tree
|
commitdiff
2021-11-10
Claire Xen
Merge pull request #3075 from YosysHQ/micko/verific_mem...
tree
|
commitdiff
2021-11-10
Claire Xen
Merge pull request #3077 from YosysHQ/claire/genlib
tree
|
commitdiff
2021-11-10
Miodrag Milanovic
No need to alocate more memory than used
tree
|
commitdiff
2021-11-10
Kamil Rakoczy
genrtlil: Fix displaying debug info in packages
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-26
Zachary Snow
verilog: use derived module info to elaborate cell...
tree
|
commitdiff
2021-10-26
Rupert Swarbrick
Split out logic for reprocessing an AstModule
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-10-02
Zachary Snow
Specify minimum bison version 3.0+
tree
|
commitdiff
2021-09-24
Claire Xen
Merge pull request #3014 from YosysHQ/claire/fix-vgtest
tree
|
commitdiff
2021-09-23
Zachary Snow
Fix TOK_ID memory leak in for_initialization
tree
|
commitdiff
2021-09-21
Zachary Snow
sv: support wand and wor of data types
tree
|
commitdiff
2021-09-21
Zachary Snow
verilog: fix multiple AST_PREFIX scope resolution issues
tree
|
commitdiff
2021-09-13
Marcelina Kościelnicka
verilog: Squash flex-triggered warning.
tree
|
commitdiff
2021-09-02
Miodrag Milanovic
update required verific version
tree
|
commitdiff
2021-08-31
Zachary Snow
sv: support declaration in generate for initialization
tree
|
commitdiff
2021-08-30
Zachary Snow
sv: support declaration in procedural for initialization
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-13
Rupert Swarbrick
Generate an RTLIL representation of bind constructs
tree
|
commitdiff
2021-08-13
Miodrag Milanović
Merge pull request #2932 from YosysHQ/mwk/logger-check...
tree
|
commitdiff
2021-08-13
Brett Witherspoon
sv: improve support for wire and var with user-defined...
tree
|
commitdiff
2021-08-10
Michael Singer
Allow optional comma after last entry in enum
tree
|
commitdiff
2021-08-06
Marcelina Kościelnicka
verilog: Support tri/triand/trior wire types.
tree
|
commitdiff
2021-08-02
Miodrag Milanovic
Require latest verific
tree
|
commitdiff
2021-07-30
Zachary Snow
genrtlil: add width detection for AST_PREFIX nodes
tree
|
commitdiff
2021-07-29
Zachary Snow
verilog: save and restore overwritten macro arguments
tree
|
commitdiff
2021-07-28
Marcelina Kościelnicka
verilog: Emit $meminit_v2 cell.
tree
|
commitdiff
next