aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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 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
* Merge pull request #337 from dh73/masterClifford Wolf2017-04-0725-0/+2255
|\
| * Add initial support for both MAX10 and Cyclone IV (E|GX) FPGAsdh732017-04-0525-0/+2255
|/
* Add ConstEval defaultval featureClifford Wolf2017-04-051-1/+8
* Fix gcc compiler warningClifford Wolf2017-04-051-1/+1
* Add front-end detection for *.tcl filesClifford Wolf2017-03-281-1/+6
* Add minisat 00_PATCH_typofixes.patchClifford Wolf2017-03-272-0/+21
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-274-18/+44
* Add "write_smt2 -stdt" modeClifford Wolf2017-03-202-37/+84
* Add generation of logic cells to EDIF back-end runtest.pyClifford Wolf2017-03-191-2/+6
* Fix EDIF: portRef member 0 is always the MSB bitClifford Wolf2017-03-192-13/+14
* Add simple EDIF test case generator and checkerClifford Wolf2017-03-181-0/+113
* Fix verilog pre-processor for multi-level relative includesClifford Wolf2017-03-141-4/+26
* Improve smt2 encodings of assert/assume/cover, better wire_smt2 help msgClifford Wolf2017-03-042-33/+87
* Add write_aiger $anyseq supportClifford Wolf2017-03-021-0/+7
* Allow $anyconst, etc. in non-formal SV modeClifford Wolf2017-03-011-1/+1
* Disable opt_merge for $anyseq and $anyconstClifford Wolf2017-02-281-0/+3
* Use hex addresses in smtbmc vcd mem tracesClifford Wolf2017-02-281-1/+1
* Add "chformal -assert2assume" and friendsClifford Wolf2017-02-281-0/+44
* Add "chformal" passClifford Wolf2017-02-272-0/+239
* Add smtbmc support for memory vcd dumpingClifford Wolf2017-02-261-0/+98
* Fix extra newline bug in write_smt2Clifford Wolf2017-02-261-1/+1
* Fix bug in smtio unroll codeClifford Wolf2017-02-261-3/+2
* Fix assert checking in "yosys-smtbmc -c --append"Clifford Wolf2017-02-261-1/+1
* Improve (and fix for stbv mode) SMT2 memory APIClifford Wolf2017-02-263-47/+51
* Add support for "yosys-smtbmc -c --append"Clifford Wolf2017-02-251-1/+13
* Update ABC to hg rev 3a95bfa55df7Clifford Wolf2017-02-251-1/+1
* Merge branch 'klammerj-master'Clifford Wolf2017-02-251-56/+106
|\
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-01 08:51:32 +0000