projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3310 from robinsonb5-PRs/master
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
commit
|
commitdiff
|
tree
2022-03-11
Claire Xenia Wolf
Add "sim -q" option
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2022-03-11
Claire Xenia Wolf
Small fix in "sim" help message
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2022-03-11
Claire Xenia Wolf
Fix handling of some formal cells in btor back-end
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
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
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2022-02-28
Claire Xenia Wolf
Hotfix in AIGER witness reader state machine
...by: Claire Xenia 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
...by: Claire Xenia 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...
...by: Claire Xenia 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
...by: Claire Xenia 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...
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-12-10
Claire Xenia Wolf
Fix verific import of enum values with x and/or z
...by: Claire Xenia 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
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-12-09
Claire Xenia Wolf
Added "yosys -r <topmodule>"
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-12-09
Claire Xenia Wolf
Use "read" command to parse HDL files from Yosys command...
...by: Claire Xenia 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
...by: Claire Xenia 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
...by: Claire Xenia 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
...by: Claire Xenia 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
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-10-21
Claire Xenia Wolf
Initial Verific impoter support for {PRIM,WIDE_OPER...
...by: Claire Xenia 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
...by: Claire Xenia 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
...by: Claire Xenia 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
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-10-08
Claire Xenia Wolf
Add support for $aldff flip-flops to verific importer
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-09-27
Claire Xenia Wolf
Add optimization to rtlil back-end for all-x parameter...
...by: Claire Xenia 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...
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-09-10
Claire Xenia Wolf
Add additional check to SigSpec
...by: Claire Xenia 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
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Intersynth URL
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
More deadname stuff
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-06-09
Claire Xenia Wolf
Fix icestorm links
...by: Claire Xenia 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
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
commit
|
commitdiff
|
tree
2021-06-07
Claire Xenia Wolf
Add claire deadname stuff to .mailmap
...by: Claire Xenia 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
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2021-04-20
Claire Xenia Wolf
Add default assignments to SB_LUT4
...by: Claire Xenia 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...
...by: Claire Xenia Wolf <claire@
clairexen
.net>
commit
|
commitdiff
|
tree
2020-10-20
clairexen
Merge pull request #2405 from byuccl/fix_xilinx_cells
commit
|
commitdiff
|
tree
2020-10-20
clairexen
Merge pull request #2404 from YosysHQ/claire/fixrpcargs
commit
|
commitdiff
|
tree
2020-10-15
clairexen
Merge pull request #2398 from jakobwenzel/smtbmc-escape
commit
|
commitdiff
|
tree
2020-10-02
clairexen
Merge pull request #2396 from YosysHQ/claire/empty...
commit
|
commitdiff
|
tree
2020-10-01
clairexen
Merge pull request #2378 from udif/pr_dollar_high_low
commit
|
commitdiff
|
tree
2020-10-01
clairexen
Merge pull request #2380 from Xiretza/parallel-tests
commit
|
commitdiff
|
tree
2020-10-01
clairexen
Merge pull request #2395 from YosysHQ/sha1_if_contain_spaces
commit
|
commitdiff
|
tree
2020-09-29
clairexen
Merge pull request #2393 from nakengelhardt/no_const_sensitivity
commit
|
commitdiff
|
tree
2020-09-29
clairexen
Merge pull request #2392 from YosysHQ/mmicko/hierarchy_fix
commit
|
commitdiff
|
tree
2020-09-18
clairexen
Merge pull request #2381 from YosysHQ/unsupported
commit
|
commitdiff
|
tree
2020-09-17
clairexen
Merge pull request #2329 from antmicro/arrays-fix-multirange...
commit
|
commitdiff
|
tree
2020-09-17
clairexen
Merge pull request #2330 from antmicro/arrays-fix-multirange...
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2352 from zachjs/const-func-localparam
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2366 from zachjs/library-format
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2353 from zachjs/top-scope
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2365 from zachjs/const-arg-loop...
commit
|
commitdiff
|
tree
2020-08-31
clairexen
Merge pull request #2368 from YosysHQ/verific_portrange
commit
|
commitdiff
|
tree
2020-08-22
clairexen
Merge pull request #2349 from nmoroze/smt2-bugfix
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2347 from YosysHQ/mwk/techmap-shift...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2344 from YosysHQ/mwk/opt_share...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2337 from YosysHQ/mwk/clean-keep...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fix
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
commit
|
commitdiff
|
tree
next