7 Commits

Author	SHA1	Message	Date
Sean Cross	c1b628508d	backends: smt2: use $(CXX) variable for compiler ... The Makefile assumes the compiler is called `gcc`, which isn't always true. In fact, if we're building on msys2 or msys2-64, the compiler is called `i686-w64-mingw32-g++` or `x86_64-w64-mingw32-g++`. Use the variable instead of hardcoding the name, to fix building on these systems. Signed-off-by: Sean Cross <sean@xobs.io>	2019-09-08 15:47:09 +08:00
William D. Jones	ff15cf9b1f	Install launcher executable when running yosys-smtbmc on Windows. ... Signed-off-by: William D. Jones <thor0505@comcast.net>	2019-03-13 13:49:16 -04:00
jpathy	7db05b2cc1	Use `realpath` ... Use `os.path.realpath` instead to make sure symlinks are followed. This is also required to work for nix package manager.	2018-08-06 06:51:07 +00:00
Clifford Wolf	3c31572152	Added yosys-smtbmc copyright	2015-10-14 01:31:54 +02:00
Clifford Wolf	d7de0f4bd1	Improvements in yosys-smtbmc	2015-10-14 01:27:55 +02:00
Clifford Wolf	821f1b8534	Added yosys-smtbmc	2015-10-14 00:47:04 +02:00
Clifford Wolf	e548483c91	Added write_smt2 (only gate level logic supported so far)	2014-12-24 16:17:57 +01:00