aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Added the test outputs to the clean targetSalvador E. Tropea2017-07-031-0/+8
| | |
* | | Merge pull request #355 from set-soft/exclude_TBUF_mergeClifford Wolf2017-07-031-0/+1
|\ \ \ | |/ / |/| | Excluded $_TBUF_ from opt_merge pass
| * | Excluded $_TBUF_ from opt_merge passSalvador E. Tropea2017-07-031-0/+1
|/ /
* | Remove unneeded delays in smtbmc vlogtbClifford Wolf2017-07-031-1/+1
| |
* | Include output ports with constant driver in AIGER outputClifford Wolf2017-07-031-2/+18
| |
* | Add "yosys-smtbmc --vlogtb-top"Clifford Wolf2017-07-011-15/+32
| |
* | Fix and_or_buffer optimization in opt_expr for signed operatorsClifford Wolf2017-07-011-2/+2
| |
* | Fix smtbmc vlogtb bug in $anyseq handlingClifford Wolf2017-07-011-3/+3
| |
* | Add "design -import"Clifford Wolf2017-06-301-3/+94
| |
* | Add chtype commandClifford Wolf2017-06-302-0/+84
| |
* | Add $tribuf to opt_merge blacklistClifford Wolf2017-06-301-0/+1
| |
* | Merge pull request #353 from azonenberg/masterClifford Wolf2017-06-271-3/+21
|\ \ | | | | | | greenpak4_counters: Use more human-readable names for inferred counters
| * | greenpak4_counters: Changed generation of primitive names so that the ↵Andrew Zonenberg2017-06-241-3/+21
|/ / | | | | | | absorbed register's name is included
* | Fix handling of init values in "abc -dff" and "abc -clk"Clifford Wolf2017-06-201-131/+176
| |
* | Fix history namespace collisionClifford Wolf2017-06-201-10/+10
| |
* | Store command history when terminating with an errorClifford Wolf2017-06-203-17/+31
| |
* | Switched abc "clock domain not found" error to log_cmd_error()Clifford Wolf2017-06-201-24/+28
|/
* Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand ↵Clifford Wolf2017-06-075-4/+61
| | | | const reg"
* Fix handling of Verilog ~& and ~| operatorsClifford Wolf2017-06-011-0/+8
|
* Update ABC to hg rev efbf7f13ea9eClifford Wolf2017-05-311-1/+1
|
* Add dff2ff.v techmap fileClifford Wolf2017-05-312-0/+15
|
* Fix AIGER back-end for multiple symbols per input/latch/output/propertyClifford Wolf2017-05-301-8/+20
|
* Add "setundef -anyseq"Clifford Wolf2017-05-283-15/+56
|
* Improve write_aiger handling of unconnected nets and constantsClifford Wolf2017-05-282-8/+62
|
* Change default smt2 solver to yices (Yices 2 has switched its license to GPL)Clifford Wolf2017-05-271-4/+4
|
* Add aliases for common sets of gate types to "abc -g"Clifford Wolf2017-05-241-2/+74
|
* Add examples/osu035Clifford Wolf2017-05-234-0/+30
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2017-05-231-17/+70
|\
| * Merge pull request #346 from azonenberg/masterClifford Wolf2017-05-231-17/+70
| |\ | | | | | | greenpak4_counters: Added support for parallel output from GP_COUNTx cells
| | * greenpak4_counters: Added support for parallel output from GP_COUNTx cellsAndrew Zonenberg2017-05-221-17/+70
| |/
* / Add workaround for CBMC bug to SimpleC back-endClifford Wolf2017-05-171-1/+3
|/
* Enable readline and tcl in mxe buildsClifford Wolf2017-05-173-4/+44
|
* Add missing AndnotGate() and OrnotGate() declarations to rtlil.hClifford Wolf2017-05-171-13/+15
|
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-1714-91/+211
|
* Add <modname>_init() function generator to simpleC back-endClifford Wolf2017-05-162-88/+152
|
* Improve simplec back-endClifford Wolf2017-05-161-1/+1
|
* Improve simplec back-endClifford Wolf2017-05-151-42/+44
|
* Improve simplec back-endClifford Wolf2017-05-143-3/+49
|
* Improve simplec back-endClifford Wolf2017-05-131-25/+60
|
* Improve simplec back-endClifford Wolf2017-05-123-12/+78
|
* Added support for more gate types to simplec back-endClifford Wolf2017-05-121-1/+88
|
* Add first draft of simple C back-endClifford Wolf2017-05-126-0/+623
|
* Update ABC to hg rev e79576e10d72Clifford Wolf2017-05-111-1/+1
|
* Fix boolector support in yosys-smtbmcClifford Wolf2017-05-081-18/+18
|
* Add support for localparam in module headerClifford Wolf2017-04-301-1/+7
|
* Fix equiv_simple, old behavior now available with "equiv_simple -short"Clifford Wolf2017-04-281-10/+41
|
* Add support for `resetall compiler directiveClifford Wolf2017-04-261-0/+7
|
* Replace CRLF line endings with LF in de2i.qsf (quartus example)Clifford Wolf2017-04-121-1098/+1098
|
* Squelch trailing whitespaceLarry Doolittle2017-04-1219-165/+165
|
* Add MAX10 and Cyclone IV items to CHANGELOGClifford Wolf2017-04-071-0/+13
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-11 08:29:18 +0000