projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2021-03-04
Zachary Snow
verilog: impose limit on maximum expression width
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-02
whitequark
Merge pull request #2620 from zachjs/port-int-types
commit
|
commitdiff
|
tree
2021-03-01
Zachary Snow
verilog: fix sizing of ports with int types in module...
commit
|
commitdiff
|
tree
2021-03-01
Marcelina Kościelnicka
Bump version
commit
|
commitdiff
|
tree
2021-03-01
Zachary Snow
verilog: fix handling of nested ifdef directives
commit
|
commitdiff
|
tree
2021-03-01
Zachary Snow
Set aside extraneous tests in simple_abc9 test suite
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-03-01
whitequark
Merge pull request #2617 from RobertBaruch/doc
commit
|
commitdiff
|
tree
2021-03-01
whitequark
Merge pull request #2615 from zachjs/genrtlil-conflict
commit
|
commitdiff
|
tree
2021-03-01
whitequark
Merge pull request #2618 from zachjs/int-types
commit
|
commitdiff
|
tree
2021-02-28
Zachary Snow
sv: extended support for integer types
commit
|
commitdiff
|
tree
2021-02-27
Robert Baruch
RTLIL Documentation: switch in process is optional
commit
|
commitdiff
|
tree
2021-02-27
Claire Xen
Update issue_template.md
commit
|
commitdiff
|
tree
2021-02-26
Zachary Snow
genrtlil: improve name conflict error messaging
commit
|
commitdiff
|
tree
2021-02-26
Michael Singer
Add tests for $countbits
commit
|
commitdiff
|
tree
2021-02-26
Michael Singer
Implement $countones, $isunknown and $onehot{,0}
commit
|
commitdiff
|
tree
2021-02-26
Michael Singer
Implement $countbits function
commit
|
commitdiff
|
tree
2021-02-26
Zachary Snow
Extend simplify() recursion warning
commit
|
commitdiff
|
tree
2021-02-25
Marcelina Kościelnicka
Bump version
commit
|
commitdiff
|
tree
2021-02-25
whitequark
Merge pull request #2554 from hzeller/master
commit
|
commitdiff
|
tree
2021-02-25
Marcelina Kościelnicka
btor, smt2, smv: Add a hint on how to deal with funny...
commit
|
commitdiff
|
tree
2021-02-25
Marcelina Kościelnicka
Fix handling of unique/unique0/priority cases in the...
commit
|
commitdiff
|
tree
2021-02-24
TimRudy
Extend "delay" expressions to handle pair and triplet...
commit
|
commitdiff
|
tree
2021-02-24
whitequark
Merge pull request #2607 from zachjs/logger-error-atexit
commit
|
commitdiff
|
tree
2021-02-24
Zachary Snow
Fix double-free on unmatched logger error pattern
commit
|
commitdiff
|
tree
2021-02-24
Marcelina Kościelnicka
Add tests for some common techmap files.
commit
|
commitdiff
|
tree
2021-02-24
Marcelina Kościelnicka
Fix syntax error in adff2dff.v
commit
|
commitdiff
|
tree
2021-02-23
Marcelina Kościelnicka
frontend: Make helper functions for printing locations.
commit
|
commitdiff
|
tree
2021-02-23
whitequark
Merge pull request #2594 from zachjs/func-arg-width
commit
|
commitdiff
|
tree
2021-02-23
Robert Baruch
int -> bool
commit
|
commitdiff
|
tree
2021-02-23
Robert Baruch
Adds is_wire to SigBit and SigChunk
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Switch to LUT4 sim model which propagates...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Update tribuf test to reflect active-low OE.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add experimental status to help.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add DCCA and DCMA blackbox primitives.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Fix reversed interpretation of REG_SD config...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Tristate is active-low.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Fix typos in FACADE_FF sim model.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Fix naming of TRELLIS_IO ports to match PIO...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Improve help_mode output in synth_machxo2.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Use attrmvcp pass to move LOC and src attribut...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add missing OSCH oscillator primitive.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add believed-to-be-correct tribuf test.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add passing fsm, mux, and shifter tests.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add add_sub test. Fix tests to include FACADE_...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add -noiopad option to synth_machxo2.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Use correct INITVAL for LUT1 in FACADE_SLICE.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Fix cells_sim typo where OFX1 was multiply...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: synth_machxo2 now maps ports to FACADE_IO.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add initial value for Q in FACADE_FF.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add FACADE_IO simulation model. More comments...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add FACADE_SLICE simulation model.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Improve FACADE_FF simulation model.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Improve LUT4 techmap. Use same output port...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add dffe test.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add dff.ys test, fix another cells_map.v typo.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Fix more oversights in machxo2 models. logic...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Add test/arch/machxo2 directory (test does...
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Fix typos. test/arch/run-test.sh passes.
commit
|
commitdiff
|
tree
2021-02-23
William D....
machxo2: Create basic techlibs and synth_machxo2 pass.
commit
|
commitdiff
|
tree
2021-02-22
Karol Gugala
frontend: json: parse negative values
commit
|
commitdiff
|
tree
2021-02-22
Marcelina Kościelnicka
assertpmux: Fix crash on unused $pmux output.
commit
|
commitdiff
|
tree
2021-02-21
whitequark
Merge pull request #2586 from zachjs/tern-recurse
commit
|
commitdiff
|
tree
2021-02-21
whitequark
Merge pull request #2591 from zachjs/verilog-preproc...
commit
|
commitdiff
|
tree
2021-02-21
Zachary Snow
verilog: fix sizing of constant args for tasks/functions
commit
|
commitdiff
|
tree
2021-02-19
Zachary Snow
verilog: error on macro invocations with missing argume...
commit
|
commitdiff
|
tree
2021-02-18
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-17
Claire Xen
Merge pull request #2590 from RobertBaruch/fix_fast_sop...
commit
|
commitdiff
|
tree
2021-02-17
Robert Baruch
Fixes command line for abc pass in -fast -sop mode
commit
|
commitdiff
|
tree
2021-02-16
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-15
Claire Xen
Merge pull request #2574 from dh73/master
commit
|
commitdiff
|
tree
2021-02-13
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-12
Zachary Snow
verilog: support recursive functions using ternary...
commit
|
commitdiff
|
tree
2021-02-12
gatecat
Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct
commit
|
commitdiff
|
tree
2021-02-12
Miodrag Milanovic
Ganulate Verific support
commit
|
commitdiff
|
tree
2021-02-12
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-11
whitequark
Merge pull request #2573 from zachjs/repeat-call
commit
|
commitdiff
|
tree
2021-02-11
Zachary Snow
Merge pull request #2578 from zachjs/genblk-port
commit
|
commitdiff
|
tree
2021-02-11
Zachary Snow
Merge pull request #2584 from antmicro/atom_type_signedness
commit
|
commitdiff
|
tree
2021-02-11
Kamil Rakoczy
Add missing is_signed to type_atom
commit
|
commitdiff
|
tree
2021-02-07
Zachary Snow
verlog: allow shadowing module ports within generate...
commit
|
commitdiff
|
tree
2021-02-07
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-06
whitequark
Merge pull request #2576 from zachjs/port-bind-sign...
commit
|
commitdiff
|
tree
2021-02-06
Zachary Snow
genrtlil: fix signed port connection codegen failures
commit
|
commitdiff
|
tree
2021-02-06
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-05
whitequark
Merge pull request #2572 from antmicro/check-labels
commit
|
commitdiff
|
tree
2021-02-05
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-04
Diego H
Accept disable case for SVA liveness properties.
commit
|
commitdiff
|
tree
2021-02-04
Kamil Rakoczy
Add check of begin/end labels for genblock
commit
|
commitdiff
|
tree
2021-02-04
Zachary Snow
verilog: refactored constant function evaluation
commit
|
commitdiff
|
tree
2021-02-04
whitequark
Merge pull request #2529 from zachjs/unnamed-genblk
commit
|
commitdiff
|
tree
2021-02-04
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-02-03
whitequark
Merge pull request #2436 from dalance/fix_generate
commit
|
commitdiff
|
tree
2021-02-01
Henner Zeller
Provide an integer implementation of decimal_digits().
commit
|
commitdiff
|
tree
2021-01-31
Zachary Snow
verilog: significant block scoping improvements
commit
|
commitdiff
|
tree
2021-01-31
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2021-01-30
Miodrag Milanovic
Require latest Verific build
commit
|
commitdiff
|
tree
next