aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* Added examples/smtbmc/demo2.vClifford Wolf2016-08-203-3/+45
* Added "yosys-smtbmc --dump-vlogtb"Clifford Wolf2016-08-201-9/+108
* Added support for memories to smtio.pyClifford Wolf2016-08-201-4/+35
* Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-e...Clifford Wolf2016-08-201-28/+26
* Added "yosys-smtbmc -g"Clifford Wolf2016-08-201-6/+40
* Added smtbmc longopt supportClifford Wolf2016-08-203-16/+17
* Fixed finish_addr handling in $readmemh/$readmembClifford Wolf2016-08-201-3/+3
* Bugfix in partial mem write handling in verilog back-endClifford Wolf2016-08-201-42/+26
* Added "wreduce -memx"Clifford Wolf2016-08-202-5/+20
* Added memory_memx pass, "memory -memx", and "prep -memx"Clifford Wolf2016-08-194-4/+121
* Optimize memory address port width in wreduce and memory_collect, not verilog...Clifford Wolf2016-08-194-7/+44
* Added missing support for mem read enable ports to verilog back-endClifford Wolf2016-08-181-6/+14
* Bugfix in test_autotbClifford Wolf2016-08-181-0/+4
* Improved smtbmc vcd generation performanceClifford Wolf2016-08-182-20/+40
* Added printing of code loc of failed asserts to yosys-smtbmcClifford Wolf2016-08-173-1/+23
* Fixed default build configClifford Wolf2016-08-161-1/+2
* Merge pull request #203 from cr1901/masterClifford Wolf2016-08-162-4/+17
|\
| * Add MSYS2-compatible build.William D. Jones2016-08-162-4/+17
|/
* Use _Exit(0) on win32, always use _Exit(1) in log_error()Clifford Wolf2016-08-162-1/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 06:29:57 +0000