aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | autotest.sh: Change from /bin/bash to /usr/bin/env bashJohnny Sorocil2018-05-061-1/+1
| * | Enable building on FreeBSDJohnny Sorocil2018-05-061-1/+17
* | | Add "#ifdef __FreeBSD__"Christian Krämer2018-05-135-9/+52
* | | Revert "Add "#ifdef __FreeBSD__""Clifford Wolf2018-05-135-52/+9
* | | Also interpret '&' in liberty functionsSergiusz Bazanski2018-05-121-1/+1
* | | Add optimization of tristate buffer with constant control inputClifford Wolf2018-05-121-0/+17
* | | Add "hierarchy -simcheck"Clifford Wolf2018-05-121-7/+23
|/ /
* | Further improve handling of zero-length SVA consecutive repetitionClifford Wolf2018-05-051-69/+108
* | Fix handling of zero-length SVA consecutive repetitionClifford Wolf2018-05-051-26/+46
* | Add "#ifdef __FreeBSD__"Johnny Sorocil2018-05-055-9/+52
* | Add ABC FAQ to "help abc"Clifford Wolf2018-05-041-2/+6
* | Add "yosys -e regex" for turning warnings into errorsClifford Wolf2018-05-043-4/+22
* | Merge pull request #537 from mithro/yosys-vprClifford Wolf2018-05-044-11/+48
|\ \
| * | Improving vpr output support.Tim 'mithro' Ansell2018-04-184-7/+40
| * | synth_ice40: Rework the vpr blif output slightly.Tim 'mithro' Ansell2018-04-181-4/+8
* | | Replace -ignore_redef with -[no]overwriteClifford Wolf2018-05-035-21/+58
* | | Support more character literalsDan Gisselquist2018-05-031-1/+9
* | | Update ABC to git rev f23ea8eClifford Wolf2018-04-301-1/+1
* | | Add "synth_intel --noiopads"Clifford Wolf2018-04-301-2/+11
* | | Add $dlatch support to write_verilogClifford Wolf2018-04-221-0/+38
|/ /
* | Add "synth_ice40 -nodffe"Clifford Wolf2018-04-161-2/+11
* | Add "write_blif -inames -iattr"Clifford Wolf2018-04-151-22/+46
* | Add statement labels for immediate assertionsClifford Wolf2018-04-131-18/+21
* | Allow "property" in immediate assertionsClifford Wolf2018-04-121-17/+20
* | Improve Makefile error handling for when abc/ is a hg working copyClifford Wolf2018-04-121-0/+3
* | Add PRIM_HDL_ASSERTION support to Verific importerClifford Wolf2018-04-071-3/+19
* | Fix handling of $global_clocking in VerificClifford Wolf2018-04-061-1/+7
* | Add documentation for anyconst/anyseq/allconst/allseq attributeClifford Wolf2018-04-061-0/+4
* | Add read_verilog anyseq/anyconst/allseq/allconst attribute supportClifford Wolf2018-04-061-1/+33
* | Add Verific anyseq/anyconst/allseq/allconst attribute supportClifford Wolf2018-04-061-2/+36
* | Add "verific -autocover"Clifford Wolf2018-04-062-5/+17
* | Merge pull request #530 from makaimann/set-ram-flagsClifford Wolf2018-04-061-0/+3
|\ \
| * | Set RAM runtime flags for Verific frontendmakaimann2018-04-051-0/+3
|/ /
* | Added missing dont_use handling for SR FFs to dfflibmapClifford Wolf2018-04-051-0/+4
* | Create issue_template.mdClifford Wolf2018-04-041-0/+16
* | Add smtio.py support for parsing SMT2 (_ bvX n) syntax for BitVec constantsClifford Wolf2018-04-041-0/+3
* | Fixed -stbv handling in SMT2 back-endClifford Wolf2018-04-041-1/+1
* | Merge pull request #522 from c60k28/masterClifford Wolf2018-04-0111-178/+233
|\ \
| * | Fixed broken Quartus backend on dffeas init value (Error (12170): Illegal val...c60k282018-03-3111-178/+233
|/ /
* | Remove left-over log_ping debug commands.. oops.Clifford Wolf2018-03-311-4/+0
* | Merge pull request #521 from azonenberg/for_cliffordClifford Wolf2018-03-314-0/+113
|\ \
| * | coolrunner2: Add an ANDTERM/XOR between chained FFsRobert Ou2018-03-311-0/+58
| * | coolrunner2: Split multi-bit netsRobert Ou2018-03-311-0/+1
| * | coolrunner2: Add extraction for TFFsRobert Ou2018-03-313-0/+54
|/ /
* | Add smtio status msgs when --progress is inactiveClifford Wolf2018-03-291-2/+23
* | Bugfix in smtio.py VCD file generatorClifford Wolf2018-03-291-1/+1
* | Removed $timescale from "sat" command VCD writerClifford Wolf2018-03-291-1/+0
* | Set stack size to at least 128 MB (large stack needed for parsing huge expres...Clifford Wolf2018-03-271-0/+13
* | Fix tests/simple/specify.vClifford Wolf2018-03-271-2/+2
* | First draft of Verilog parser support for specify blocks and parameters.Udi Finkelstein2018-03-273-2/+201
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-16 08:54:13 +0000