projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make sure cell names are unique for wide operators
[yosys.git]
/
frontends
/
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
2021-07-21
Miodrag Milanovic
Update to latest verific
tree
|
commitdiff
2021-07-17
whitequark
Merge pull request #2879 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-16
Rupert Swarbrick
Add support for parsing the SystemVerilog 'bind' construct
tree
|
commitdiff
2021-07-16
whitequark
Merge pull request #2870 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-15
Zachary Snow
sv: fix two struct access bugs
tree
|
commitdiff
2021-07-11
Marcelina Kościelnicka
rtlil: Make Process handling more uniform with Cell...
tree
|
commitdiff
2021-07-09
Miodrag Milanovic
Update to latest Verific with extensions for initial...
tree
|
commitdiff
2021-07-06
Zachary Snow
sv: fix a few struct and enum memory leaks
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-18
Miodrag Milanović
Merge pull request #2836 from YosysHQ/gatecat/pyosys...
tree
|
commitdiff
2021-06-17
Zachary Snow
sv: fix up end label checking
tree
|
commitdiff
2021-06-16
Miodrag Milanovic
Support command files in Verific
tree
|
commitdiff
2021-06-14
Xiretza
verilog: fix leaking of type names in parser
tree
|
commitdiff
2021-06-14
Xiretza
verilog: fix wildcard port connections leaking memory
tree
|
commitdiff
2021-06-14
Xiretza
ast: delete wires and localparams after finishing const...
tree
|
commitdiff
2021-06-14
Xiretza
verilog: fix leaking ASTNodes
tree
|
commitdiff
2021-06-14
Xiretza
ast: fix error condition causing assert to fail
tree
|
commitdiff
2021-06-14
Marcelina Kościelnicka
verilog: Squash a memory leak.
tree
|
commitdiff
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
tree
|
commitdiff
2021-06-08
Zachary Snow
verilog: check for module scope identifiers during...
tree
|
commitdiff
2021-06-08
Zachary Snow
mem2reg: tolerate out of bounds constant accesses
tree
|
commitdiff
2021-06-07
Claire Xenia Wolf
Fixing old e-mail addresses and deadnames
tree
|
commitdiff
2021-06-01
Zachary Snow
sv: support tasks and functions within packages
tree
|
commitdiff
2021-05-25
Zachary Snow
verilog: fix case expression sign and width handling
tree
|
commitdiff
2021-05-25
Zachary Snow
sv: support remaining assignment operators
tree
|
commitdiff
2021-05-14
Rupert Swarbrick
Change the type of current_module to Module
tree
|
commitdiff
2021-05-14
Rupert Swarbrick
Use range-based for loop in AST::process
tree
|
commitdiff
2021-05-10
Zachary Snow
sv: check validity of package end label
tree
|
commitdiff
2021-05-08
Marcelina Kościelnicka
blif: Use library cells' start_offset and upto for...
tree
|
commitdiff
2021-04-26
Claire Xen
Merge pull request #2737 from YosysHQ/claire/fix2736
tree
|
commitdiff
2021-04-26
Claire Xenia Wolf
Remove duplicates from conns array in JSON front-end...
tree
|
commitdiff
2021-03-30
Zachary Snow
verilog: revise hot comment warnings
tree
|
commitdiff
2021-03-30
Marcelina Kościelnicka
preproc: Fix up conditional handling.
tree
|
commitdiff
2021-03-24
Zachary Snow
ast: make design available to process_module()
tree
|
commitdiff
2021-03-21
Xiretza
verilog: check entire user type stack for type definition
tree
|
commitdiff
2021-03-19
Zachary Snow
sv: allow typenames as function return types
tree
|
commitdiff
2021-03-19
Miodrag Milanović
Merge pull request #2681 from msinger/fix-issue2606
tree
|
commitdiff
2021-03-19
Xiretza
verilog: rebuild user_type_stack from globals before...
tree
|
commitdiff
2021-03-17
Marcelina Kościelnicka
ast: Use better parameter serialization for paramod...
tree
|
commitdiff
2021-03-17
Zachary Snow
sv: carry over global typedefs from previous files
tree
|
commitdiff
2021-03-17
Xiretza
verilog: fix buf/not primitives with multiple outputs
tree
|
commitdiff
2021-03-16
Zachary Snow
verilog: support module scope identifiers in parametric...
tree
|
commitdiff
2021-03-15
Marcelina Kościelnicka
json: Add support for memories.
tree
|
commitdiff
2021-03-14
whitequark
Merge pull request #2658 from zachjs/parameters-across...
tree
|
commitdiff
2021-03-12
Zachary Snow
sv: allow globals in one file to depend on globals...
tree
|
commitdiff
2021-03-12
whitequark
Merge pull request #2653 from zachjs/global-parameter
tree
|
commitdiff
2021-03-11
whitequark
Merge pull request #2642 from whitequark/cxxrtl-noproc...
tree
|
commitdiff
2021-03-11
Zachary Snow
verilog: disallow overriding global parameters
tree
|
commitdiff
next