projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Release version 0.15
2022-03-02
Claire Xen
Merge pull request #3224 from YosysHQ/micko/refactor
commit
|
commitdiff
|
tree
2022-02-28
Claire Xenia Wolf
Add writing of aiw files to "sim" command
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2022-02-28
Claire Xenia Wolf
Hotfix in AIGER witness reader state machine
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2022-02-25
Claire Xenia Wolf
Experimental sim changes
commit
|
commitdiff
|
tree
2022-02-22
Claire Xen
Merge pull request #3211 from YosysHQ/micko/witness
commit
|
commitdiff
|
tree
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
commit
|
commitdiff
|
tree
2022-02-18
Claire Xenia Wolf
Fix cycle 0 in aiger witness co-simulation
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2022-02-11
Claire Xen
Merge pull request #2376 from nmoroze/clk2ff-better...
commit
|
commitdiff
|
tree
2022-02-11
Claire Xenia Wolf
Add a bit of flexibilty re trace length when processing...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
commit
|
commitdiff
|
tree
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
commit
|
commitdiff
|
tree
2021-12-14
Claire Xenia Wolf
Hotfix for run_shell auto-detection
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-13
Claire Xen
Merge pull request #3108 from YosysHQ/claire/verificdefs
commit
|
commitdiff
|
tree
2021-12-13
Claire Xenia Wolf
Add YOSYS to the implicitly defined verilog macros...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-10
Claire Xenia Wolf
Fix verific import of enum values with x and/or z
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-10
Claire Xen
Update verific.cc
commit
|
commitdiff
|
tree
2021-12-10
Claire Xen
Merge pull request #3099 from YosysHQ/claire/readargs
commit
|
commitdiff
|
tree
2021-12-09
Claire Xenia Wolf
Fix the tests we just broke
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-09
Claire Xenia Wolf
Added "yosys -r <topmodule>"
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-12-09
Claire Xenia Wolf
Use "read" command to parse HDL files from Yosys command...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-11-10
Claire Xen
Merge pull request #3075 from YosysHQ/micko/verific_mem_size
commit
|
commitdiff
|
tree
2021-11-10
Claire Xen
Merge pull request #3077 from YosysHQ/claire/genlib
commit
|
commitdiff
|
tree
2021-11-10
Claire Xen
Spelling fix in abc.cc
commit
|
commitdiff
|
tree
2021-11-10
Claire Xenia Wolf
Add genlib support to ABC command
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
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 Wolf
Add "verific -cfg" command
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
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 Wolf
Fix verific gclk handling for async-load FFs
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-21
Claire Xen
Merge pull request #3057 from YosysHQ/claire/verific_latches
commit
|
commitdiff
|
tree
2021-10-21
Claire Xenia Wolf
Fix verific.cc PRIM_DLATCH handling
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-21
Claire Xenia Wolf
Initial Verific impoter support for {PRIM,WIDE_OPER...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-19
Claire Xenia Wolf
Fixed Verific parser error in ice40 cell library
commit
|
commitdiff
|
tree
2021-10-19
Claire Xenia Wolf
Fixes in vcdcd.pl for newer Perl versions
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-15
Claire Xen
Merge pull request #3044 from YosysHQ/micko/verific_bufif1
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 Wolf
Add Verific adffe/dffsre/aldffe FIXMEs
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3040 from YosysHQ/micko/split_module_ports
commit
|
commitdiff
|
tree
2021-10-11
Claire Xen
Merge pull request #3041 from YosysHQ/mmicko/module_attr
commit
|
commitdiff
|
tree
2021-10-08
Claire Xenia Wolf
Fixes and add comments for open FIXME items
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-10-08
Claire Xenia Wolf
Add support for $aldff flip-flops to verific importer
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-09-27
Claire Xenia Wolf
Add optimization to rtlil back-end for all-x parameter...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-09-24
Claire Xen
Merge pull request #3014 from YosysHQ/claire/fix-vgtest
commit
|
commitdiff
|
tree
2021-09-23
Claire Xenia Wolf
Fix "make vgtest" so it runs to the end (but now it...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-09-10
Claire Xenia Wolf
Add additional check to SigSpec
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-07-05
Claire Xen
Merge pull request #2835 from YosysHQ/verific_command
commit
|
commitdiff
|
tree
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Fix deadname SVN links
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Intersynth URL
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
More deadname stuff
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Fix icestorm links
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
More deadname stuff
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Use HTTPS for website links, gatecat email
...com|clifford.at|yosyshq.com)>/
Claire Xen
ia Wolf <claire@yosyshq.com>/gi;
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Fix files with CRLF line endings
commit
|
commitdiff
|
tree
2021-06-07
Claire Xenia Wolf
Fixing old e-mail addresses and deadnames
...com|clifford.at|yosyshq.com)>/
Claire Xen
ia Wolf <claire@yosyshq.com>/gi;
commit
|
commitdiff
|
tree
2021-06-07
Claire Xenia Wolf
Add claire deadname stuff to .mailmap
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-04-26
Claire Xen
Merge pull request #2737 from YosysHQ/claire/fix2736
commit
|
commitdiff
|
tree
2021-04-26
Claire Xenia Wolf
Remove duplicates from conns array in JSON front-end...
commit
|
commitdiff
|
tree
2021-04-21
Claire Xen
Merge pull request #2669 from YosysHQ/claire/ice40defaults
commit
|
commitdiff
|
tree
2021-04-20
Claire Xenia Wolf
Add default assignments to other SB_* simulation models
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-04-20
Claire Xenia Wolf
Add default assignments to SB_LUT4
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-03-04
Claire Xen
Update command-reference-manual.tex
commit
|
commitdiff
|
tree
2021-03-04
Claire Xen
Update README
commit
|
commitdiff
|
tree
2021-03-01
Claire Xen
Merge pull request #2523 from tomverbeure/define_synthesis
commit
|
commitdiff
|
tree
2021-03-01
Claire Xen
Merge pull request #2524 from bkbncn/patch-1
commit
|
commitdiff
|
tree
2021-02-27
Claire Xen
Update issue_template.md
commit
|
commitdiff
|
tree
2021-02-17
Claire Xen
Merge pull request #2590 from RobertBaruch/fix_fast_sop_mode
commit
|
commitdiff
|
tree
2021-02-15
Claire Xen
Merge pull request #2574 from dh73/master
commit
|
commitdiff
|
tree
2021-01-28
Claire Xen
Merge pull request #2535 from Ravenslofty/scc-specify
commit
|
commitdiff
|
tree
2021-01-24
Claire Xen
Merge pull request #2558 from YosysHQ/dave/chandle-dpi
commit
|
commitdiff
|
tree
2021-01-20
Claire Xen
Merge pull request #2552 from YosysHQ/claire/yosyshq
commit
|
commitdiff
|
tree
2021-01-20
Claire Xenia Wolf
Switch verific bindings from Symbiotic EDA flavored...
Signed-off-by:
Claire Xen
ia Wolf <claire@clairexen.net>
commit
|
commitdiff
|
tree
2021-01-13
Claire Xen
Merge pull request #2537 from pepijndevos/spice
commit
|
commitdiff
|
tree
2020-12-27
Claire Xen
Merge pull request #2510 from YosysHQ/whitequark/CODEOWNERS...
commit
|
commitdiff
|
tree
2020-12-01
Claire Xen
Merge pull request #2463 from georgerennie/fix_verilog_front...
commit
|
commitdiff
|
tree
2020-11-25
Claire Xen
Merge pull request #2133 from dh73/nodev_head
commit
|
commitdiff
|
tree
2020-10-19
Claire Xenia Wolf
Fix argument handling in connect_rpc
Signed-off-by:
Claire Xen
ia Wolf <claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-10-01
Claire Xenia Wolf
Ignore empty parameters in Verilog module instantiations
Signed-off-by:
Claire Xen
ia Wolf <claire@symbioticeda.com>
commit
|
commitdiff
|
tree