aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add optional SEED=n command line option to Makefile, and -S n command line ↵Eric Smith2016-09-2214-24/+175
| | | | option to test scripts, for deterministic regression tests.
* Bugfix in techmap parameter handlingClifford Wolf2016-09-141-1/+1
|
* 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.
| * 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.
| | * 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
|
* Added boolector support to yosys-smtbmcClifford Wolf2016-09-033-33/+58
|
* Merge branch 'smtbmc-kmanfi'Clifford Wolf2016-09-023-49/+34
|\
| * Made examples/smtbmc/demo1.v more interestingClifford Wolf2016-09-021-1/+1
| |
| * Don't re-create hex_dict for each valueClifford Wolf2016-09-021-7/+10
| |
| * More PEP 8 fixes.Kaj Tuomi2016-09-022-7/+6
| |
| * Indentation and PEP 8 fixes. CamelCase and white space after semicolon.Kaj Tuomi2016-09-022-13/+13
| |
| * Use dict lookup instead of many ifs.Kaj Tuomi2016-09-021-19/+8
| |
| * Fix: Unresolved reference.Kaj Tuomi2016-09-021-1/+1
| |
| * Some syntax fixes. Generator and comma separated list modifications.Kaj Tuomi2016-09-021-14/+8
|/
* Added "prep -nomem"Clifford Wolf2016-08-301-6/+16
|
* Added $anyconst support to yosys-smtbmcClifford Wolf2016-08-307-2/+58
|
* Removed $aconst cell typeClifford Wolf2016-08-307-21/+8
|
* Fixed memory bug in write_smt2Clifford Wolf2016-08-301-9/+23
|
* Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"Clifford Wolf2016-08-302-18/+22
|
* Added $anyconst support to smt2 back-endClifford Wolf2016-08-301-0/+17
|
* Improved init spec handling in opt_rmdff, modernized the code a bitClifford Wolf2016-08-301-39/+82
|
* Added "yosys-smtbmc --dump-all"Clifford Wolf2016-08-291-45/+67
|
* More yosys-smtbmc bugfixesClifford Wolf2016-08-291-6/+6
|
* Various fixes and improvements in yosys-smtbmcClifford Wolf2016-08-291-42/+66
|
* Removed $predict againClifford Wolf2016-08-2815-38/+7
|
* Improved "show" help messageClifford Wolf2016-08-281-3/+5
|
* Some changes to yosys-smtbmc cmd line options, add --final-onlyClifford Wolf2016-08-271-33/+49
|
* Fixed handling of transparent bram rd ports on ROMsClifford Wolf2016-08-272-0/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 06:38:08 +0000