aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* Added smtc "final" statementClifford Wolf2016-08-275-9/+86
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2016-08-261-3/+4
|\
| * Merge pull request #215 from frznchckn/to_upstreamClifford Wolf2016-08-261-3/+4
| |\
| | * Relax test to see if yosys dir is a git repository in MakefileRussell L Friesenhahn2016-08-261-1/+1
| | * Allow redefining of the ABC repository URLRussell L Friesenhahn2016-08-261-2/+3
* | | Added read_verilog -norestrict -assume-assertsClifford Wolf2016-08-264-5/+40
|/ /
* | Various fixes and improvements in smt2 back-endClifford Wolf2016-08-262-81/+117
* | Improved verilog parser errorsClifford Wolf2016-08-251-0/+3
* | More yosys-smtbmc smtc featuresClifford Wolf2016-08-245-20/+97
* | yosys-smtbmc --smtc -gClifford Wolf2016-08-243-56/+48
* | Added SV "restrict" keywordClifford Wolf2016-08-241-1/+2
|/
* Minor yosys-smtbmc bugfixClifford Wolf2016-08-221-0/+6
* Added "yosys-smtbmc --constr"Clifford Wolf2016-08-222-4/+94
* Added "yosys-smtbmc --dump-constr"Clifford Wolf2016-08-222-2/+62
* Added glob support to all front-endsClifford Wolf2016-08-223-4/+38
* Fixed bug with memories that do not have a down-to-zero data widthClifford Wolf2016-08-222-2/+43
* Fixed bug in memory_share for memory ports with different ABITSClifford Wolf2016-08-221-0/+6
* yosys-smtbmc: improved --dump-vlogtb handling of memoriesClifford Wolf2016-08-213-8/+30
* Added another mem2reg test caseClifford Wolf2016-08-211-0/+11
* Another bugfix in mem2reg codeClifford Wolf2016-08-214-7/+53
* Minor improvements to AstNode::dumpAst() and AstNode::dumpVlog()Clifford Wolf2016-08-211-4/+15
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-03 21:33:33 +0000