aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * Added smtc support for top-level state with [], [N:] syntaxClifford Wolf2016-10-082-1/+3
* | Bugfix in yosys-smtbmc --noincrClifford Wolf2016-10-041-1/+8
|/
* yosys-smtbmc: ABC is a QF_BV solverClifford Wolf2016-10-031-0/+1
* Added "yosys-smtbmc --noincr"Clifford Wolf2016-10-031-10/+39
* Update ABV to hg rev eb6eca6807ccClifford Wolf2016-10-021-1/+1
* yosys-smtbmc: added smtc [...] support for cellsClifford Wolf2016-10-021-0/+2
* Added "yosys-smtbmc -s abc"Clifford Wolf2016-10-011-0/+4
* Updated ABV to hg rev 6b74de13c57fClifford Wolf2016-10-011-1/+1
* Added "prep -nokeepdc"Clifford Wolf2016-09-301-4/+12
* Added "opt_rmdff -keepdc"Clifford Wolf2016-09-302-7/+20
* Updated ABV to hg rev 2bc57cc30593Clifford Wolf2016-09-301-1/+1
* Minor improvements in yosys-smtbmcClifford Wolf2016-09-242-10/+50
* Added liberty parser support for types within cell declsClifford Wolf2016-09-231-39/+46
* Merge branch 'master' of https://github.com/brouhaha/yosysClifford Wolf2016-09-2314-24/+175
|\
| * Add optional SEED=n command line option to Makefile, and -S n command line op...Eric Smith2016-09-2214-24/+175
* | Added autotest.sh -IClifford Wolf2016-09-201-16/+19
* | Cosmetic fix in test_autotb.ccClifford Wolf2016-09-191-2/+2
* | Added yosys-smtbmc --noinfo and --dummyClifford Wolf2016-09-192-56/+76
* | Avoid creating very long strings in test_autotbClifford Wolf2016-09-191-4/+10
* | Added $past, $stable, $rose, $fell SVA functionsClifford Wolf2016-09-192-2/+141
* | Improved handling of SMT2 logics in yosys-smtbmcClifford Wolf2016-09-183-11/+49
* | Added support for bus interfaces to "read_liberty -lib"Clifford Wolf2016-09-181-1/+77
* | Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2016-09-181-1/+1
|\|
| * Bugfix in techmap parameter handlingClifford Wolf2016-09-141-1/+1
* | yosys-smtbmc: added -i support smtc filesClifford Wolf2016-09-181-20/+19
|/
* Work-around for boolector bugClifford Wolf2016-09-131-2/+2
* Merge pull request #228 from Kmanfi/testClifford Wolf2016-09-131-2/+2
|\
| * Fix for modules with big interfaces.Kaj Tuomi2016-09-131-2/+2
|/
* Added missing :produce-models setting to smtio.pyClifford Wolf2016-09-111-1/+2
* Minor improvements to smtio.py vcd writerClifford Wolf2016-09-101-1/+3
* fixed write_smt2 for (non-combinatorial) loops through hierarchical cellsClifford Wolf2016-09-101-17/+34
* smt2 mem init bugfixClifford Wolf2016-09-081-4/+6
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2016-09-081-1/+1
|\
| * Merge pull request #225 from Kmanfi/testClifford Wolf2016-09-081-1/+1
| |\
| | * Typo fix.Kaj Tuomi2016-09-081-1/+1
| |/
* / yosys-smtbmc meminit supportClifford Wolf2016-09-084-5/+52
|/
* Bugfix in "yosys-smtbmc --unroll"Clifford Wolf2016-09-071-1/+1
* Added "yosys-smtbmc --unroll"Clifford Wolf2016-09-071-11/+130
* Install celledges.hClifford Wolf2016-09-071-0/+1
* Improvements in assertpmuxClifford Wolf2016-09-076-23/+202
* Updated ABC to hg 8e08604f8ad3Clifford Wolf2016-09-071-1/+1
* Added assertpmuxClifford Wolf2016-09-073-0/+105
* Added "tee +INT -INT"Clifford Wolf2016-09-061-0/+10
* Run log_flush() before solving in sat commandClifford Wolf2016-09-061-0/+3
* Bugfix in parsing of BLIF latch init valuesClifford Wolf2016-09-061-1/+1
* Avoid creation of bogus initial blocks for assert/assume in always @*Clifford Wolf2016-09-063-1/+13
* Fix spelling and grammar in READMELarry Doolittle2016-09-061-4/+4
* yosys-smtbmc: flush stdout after each log msgClifford Wolf2016-09-061-17/+21
* Minor bugfix in write_smt2Clifford Wolf2016-09-041-3/+3
* Minor README updatesClifford Wolf2016-09-031-4/+4
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-23 04:42:17 +0000