aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2/Makefile.inc
Commit message (Expand)AuthorAgeFilesLines
* Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-101-7/+7
* backends: smt2: use $(CXX) variable for compilerSean Cross2019-09-081-1/+1
* Install launcher executable when running yosys-smtbmc on Windows.William D. Jones2019-03-131-1/+17
* Use `realpath` jpathy2018-08-061-1/+1
* Added yosys-smtbmc copyrightClifford Wolf2015-10-141-1/+1
* Improvements in yosys-smtbmcClifford Wolf2015-10-141-5/+4
* Added yosys-smtbmcClifford Wolf2015-10-141-0/+14
* Added write_smt2 (only gate level logic supported so far)Clifford Wolf2014-12-241-0/+3