projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2021-11-02
Marcelina Kościelnicka
flatten: Keep sigmap around between flatten_cell invoca...
commit
|
commitdiff
|
tree
2021-11-02
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-11-01
Claire Xen
Merge pull request #3068 from YosysHQ/claire/verific_cfg
commit
|
commitdiff
|
tree
2021-11-01
Claire Xenia...
Add "verific -cfg" command
commit
|
commitdiff
|
tree
2021-11-01
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-31
Claire Xen
Merge pull request #3066 from YosysHQ/claire/verific_gclk
commit
|
commitdiff
|
tree
2021-10-31
Claire Xenia...
Fix verific gclk handling for async-load FFs
commit
|
commitdiff
|
tree
2021-10-30
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-29
Miodrag Milanovic
Add missing items in CHANGELOG
commit
|
commitdiff
|
tree
2021-10-29
Miodrag Milanovic
Update command reference part of manual
commit
|
commitdiff
|
tree
2021-10-28
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-27
Miodrag Milanović
Merge pull request #3063 from YosysHQ/micko/verific_aldff
commit
|
commitdiff
|
tree
2021-10-27
Marcelina Kościelnicka
ecp5: Add support for mapping aldff.
commit
|
commitdiff
|
tree
2021-10-27
Miodrag Milanovic
Enable async load dff emit by default in Verific
commit
|
commitdiff
|
tree
2021-10-27
Miodrag Milanovic
Revert "Compile option for enabling async load verific...
commit
|
commitdiff
|
tree
2021-10-27
Marcelina Kościelnicka
proc_dff: Emit $aldff.
commit
|
commitdiff
|
tree
2021-10-27
Marcelina Kościelnicka
dfflegalize: Add tests for aldff lowering.
commit
|
commitdiff
|
tree
2021-10-27
Marcelina Kościelnicka
dfflegalize: Add tests targetting aldff.
commit
|
commitdiff
|
tree
2021-10-27
Marcelina Kościelnicka
dfflegalize: Refactor, add aldff support.
commit
|
commitdiff
|
tree
2021-10-27
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-26
Zachary Snow
verilog: use derived module info to elaborate cell...
commit
|
commitdiff
|
tree
2021-10-26
Rupert Swarbrick
Split out logic for reprocessing an AstModule
commit
|
commitdiff
|
tree
2021-10-26
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-25
Miodrag Milanovic
Compile option for enabling async load verific support
commit
|
commitdiff
|
tree
2021-10-22
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-21
Marcelina Kościelnicka
Change implicit conversions from bool to Sig* to explicit.
commit
|
commitdiff
|
tree
2021-10-21
Claire Xen
Merge pull request #3057 from YosysHQ/claire/verific_la...
commit
|
commitdiff
|
tree
2021-10-21
Claire Xenia...
Fix verific.cc PRIM_DLATCH handling
commit
|
commitdiff
|
tree
2021-10-21
Claire Xenia...
Initial Verific impoter support for {PRIM,WIDE_OPER...
commit
|
commitdiff
|
tree
2021-10-21
Marcelina Kościelnicka
extract_reduce: Refactor and fix input signal construction.
commit
|
commitdiff
|
tree
2021-10-21
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-20
Miodrag Milanovic
If verific have vhdl lib it is required by other libs
commit
|
commitdiff
|
tree
2021-10-20
Miodrag Milanovic
Forgot to remove from main list
commit
|
commitdiff
|
tree
2021-10-20
Miodrag Milanovic
Option to disable verific VHDL support
commit
|
commitdiff
|
tree
2021-10-20
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-19
Claire Xenia...
Fixed Verific parser error in ice40 cell library
commit
|
commitdiff
|
tree
2021-10-19
Miodrag Milanović
Merge pull request #3045 from galibert/master
commit
|
commitdiff
|
tree
2021-10-19
Claire Xenia...
Fixes in vcdcd.pl for newer Perl versions
commit
|
commitdiff
|
tree
2021-10-18
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-17
Paul Annesley
dfflegalize: remove redundant check for initialized...
commit
|
commitdiff
|
tree
2021-10-17
Olivier Galibert
CycloneV: Add (passthrough) support for cyclonev_oscillator
commit
|
commitdiff
|
tree
2021-10-17
Olivier Galibert
CycloneV: Add (passthrough) support for cyclonev_hps_in...
commit
|
commitdiff
|
tree
2021-10-16
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-15
Claire Xen
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
commit
|
commitdiff
|
tree
2021-10-14
Miodrag Milanovic
Support PRIM_BUFIF1 primitive
commit
|
commitdiff
|
tree
2021-10-12
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3039 from YosysHQ/claire/verific_aldff
commit
|
commitdiff
|
tree
2021-10-11
Claire Xenia...
Add Verific adffe/dffsre/aldffe FIXMEs
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3040 from YosysHQ/micko/split_modul...
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3041 from YosysHQ/mmicko/module_attr
commit
|
commitdiff
|
tree
2021-10-10
Miodrag Milanovic
Import module attributes from Verific
commit
|
commitdiff
|
tree
2021-10-09
Miodrag Milanovic
Split module ports, 20 per line
commit
|
commitdiff
|
tree
2021-10-09
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-08
Claire Xenia...
Fixes and add comments for open FIXME items
commit
|
commitdiff
|
tree
2021-10-08
Claire Xenia...
Add support for $aldff flip-flops to verific importer
commit
|
commitdiff
|
tree
2021-10-08
Marcelina Kościelnicka
Fix a regression from #3035.
commit
|
commitdiff
|
tree
2021-10-08
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-07
Marcelina Kościelnicka
FfData: some refactoring.
commit
|
commitdiff
|
tree
2021-10-05
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-04
Miodrag Milanovic
verific set db_infer_set_reset_registers
commit
|
commitdiff
|
tree
2021-10-03
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-10-02
Marcelina Kościelnicka
Hook up $aldff support in various passes.
commit
|
commitdiff
|
tree
2021-10-02
Marcelina Kościelnicka
zinit: Refactor to use FfData.
commit
|
commitdiff
|
tree
2021-10-02
Marcelina Kościelnicka
kernel/ff: Refactor FfData to enable FFs with async...
commit
|
commitdiff
|
tree
2021-10-02
Marcelina Kościelnicka
Add $aldff and $aldffe: flip-flops with async load.
commit
|
commitdiff
|
tree
2021-10-02
Zachary Snow
Specify minimum bison version 3.0+
commit
|
commitdiff
|
tree
2021-10-02
Marcelina Kościelnicka
simplemap: refactor to use FfData.
commit
|
commitdiff
|
tree
2021-09-28
Miodrag Milanović
Merge pull request #3017 from YosysHQ/claire/short_rtli...
commit
|
commitdiff
|
tree
2021-09-28
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-27
Miodrag Milanovic
Prepare for next release cycle
commit
|
commitdiff
|
tree
2021-09-27
Claire Xenia...
Add optimization to rtlil back-end for all-x parameter...
commit
|
commitdiff
|
tree
2021-09-25
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-24
Claire Xen
Merge pull request #3014 from YosysHQ/claire/fix-vgtest
commit
|
commitdiff
|
tree
2021-09-23
Zachary Snow
Fix TOK_ID memory leak in for_initialization
commit
|
commitdiff
|
tree
2021-09-23
Claire Xenia...
Fix "make vgtest" so it runs to the end (but now it...
commit
|
commitdiff
|
tree
2021-09-22
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-21
Zachary Snow
sv: support wand and wor of data types
commit
|
commitdiff
|
tree
2021-09-21
Zachary Snow
verilog: fix multiple AST_PREFIX scope resolution issues
commit
|
commitdiff
|
tree
2021-09-19
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-18
Miodrag Milanović
Merge pull request #3010 from the6p4c/master
commit
|
commitdiff
|
tree
2021-09-17
the6p4c
Fix protobuf backend build dependencies
commit
|
commitdiff
|
tree
2021-09-14
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-13
Marcelina Kościelnicka
verilog: Squash flex-triggered warning.
commit
|
commitdiff
|
tree
2021-09-13
Miodrag Milanović
Updates for CHANGELOG (#2997)
commit
|
commitdiff
|
tree
2021-09-11
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-10
Miodrag Milanović
Merge pull request #3001 from YosysHQ/claire/sigcheck
commit
|
commitdiff
|
tree
2021-09-10
Claire Xenia...
Add additional check to SigSpec
commit
|
commitdiff
|
tree
2021-09-10
Marcelina Kościelnicka
yosys-smtbmc: Fix reused loop variable.
commit
|
commitdiff
|
tree
2021-09-10
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-09
Eddie Hung
abc9: make re-entrant (#2993)
commit
|
commitdiff
|
tree
2021-09-09
Eddie Hung
abc9: holes module to instantiate cells with NEW_ID...
commit
|
commitdiff
|
tree
2021-09-09
Eddie Hung
abc9: replace cell type/parameters if derived type...
commit
|
commitdiff
|
tree
2021-09-03
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-09-02
Miodrag Milanovic
update required verific version
commit
|
commitdiff
|
tree
2021-09-01
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-08-31
Zachary Snow
sv: support declaration in generate for initialization
commit
|
commitdiff
|
tree
2021-08-31
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-08-30
Zachary Snow
sv: support declaration in procedural for initialization
commit
|
commitdiff
|
tree
2021-08-30
github-actions...
Bump version
commit
|
commitdiff
|
tree
2021-08-29
kittennbfive
[ECP5] fix wrong link for syn_* attributes description...
commit
|
commitdiff
|
tree
next