aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Merge pull request #515 from edcote/patch-1Clifford Wolf2018-03-271-3/+5
|\
| * Rename rename to renamesEdmond Cote2018-03-201-3/+5
* | Chenged "extensions_map" to "extensions_list" in hierarchy.ccClifford Wolf2018-03-271-2/+2
* | Merge pull request #518 from xerpi/masterClifford Wolf2018-03-271-15/+13
|\ \
| * | passes/hierarchy: Reduce code duplication in expand_moduleSergi Granell2018-03-271-15/+13
|/ /
* | Add $mem support to SMT2 clock taggingClifford Wolf2018-03-271-0/+18
* | Fix build for new ABC location on github, also update ABC to a2d59beClifford Wolf2018-03-271-6/+6
* | Add .sv support to "hierarchy -libdir"Clifford Wolf2018-03-261-0/+6
* | Fix handling of unclocked immediate assertions in Verific front-endClifford Wolf2018-03-263-17/+42
|/
* Improve yosys-smtbmc log output and error handlingClifford Wolf2018-03-171-5/+14
* Improve handling of invalid check-sat result in smtio.pyClifford Wolf2018-03-171-1/+2
* Update todo for more features to verificsva.ccClifford Wolf2018-03-161-3/+3
* Update todo for more features to verificsva.ccClifford Wolf2018-03-161-0/+1
* Add todo for more features to verificsva.ccClifford Wolf2018-03-161-8/+45
* Improve import of memories via VerificClifford Wolf2018-03-151-16/+23
* Fix handling of SV compilation units in Verific front-endClifford Wolf2018-03-141-28/+25
* Add "expose -input"Clifford Wolf2018-03-121-8/+43
* Add "setundef -undef"Clifford Wolf2018-03-121-0/+11
* Squelch trailing whitespace, including meta-whitespaceLarry Doolittle2018-03-114-16/+16
* Harmonize uses of _WIN32 macroLarry Doolittle2018-03-111-1/+1
* Fix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEATClifford Wolf2018-03-101-15/+72
* Fix variable name typo in verificsva.ccClifford Wolf2018-03-101-2/+2
* Add support for trivial SVA sequences and propertiesClifford Wolf2018-03-101-12/+102
* Fix handling of src attributes in flattenClifford Wolf2018-03-101-7/+2
* Remove debug prints from yosys-smtbmc VCD writerClifford Wolf2018-03-081-2/+0
* Use Verific hier_tree component for elaborationClifford Wolf2018-03-082-1/+55
* Check results of (check-sat) in yosys-smtbmcClifford Wolf2018-03-071-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-12 21:06:31 +0000