Serge Bazanski 511268cd18 sby_core: fix hardcoded /bin/bash path ... Not all systems (eg. BSDs, NixOS) have a /bin/bash. The de-facto standard for maximum compatibility these days is using /usr/bin/env bash.		2019-07-24 13:31:37 +02:00
..
demo1.sby	Use memory_nordff in postprocess script	2018-03-06 23:40:08 +01:00
demo2.sby	Add aiger engine	2017-02-19 23:53:01 +01:00
demo3.sby	Add smtbmc stbv support	2017-02-24 18:26:20 +01:00
sby.py	Cleanup some command line option oddities	2019-06-27 14:06:47 +02:00
sby_core.py	sby_core: fix hardcoded /bin/bash path	2019-07-24 13:31:37 +02:00
sby_engine_abc.py	Fixed "counterexample trace:" log message for things like warmup failed	2018-08-21 14:00:30 +02:00
sby_engine_aiger.py	Fixed "counterexample trace:" log message for things like warmup failed	2018-08-21 14:00:30 +02:00
sby_engine_btor.py	Further improve BTOR cex handling	2018-12-10 03:44:08 +01:00
sby_engine_smtbmc.py	Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)	2018-11-22 17:08:28 +01:00
sby_mode_bmc.py	Add support for (re-)running in existing workdir	2019-03-09 12:42:54 -08:00
sby_mode_cover.py	Add support for (re-)running in existing workdir	2019-03-09 12:42:54 -08:00
sby_mode_live.py	Add support for (re-)running in existing workdir	2019-03-09 12:42:54 -08:00
sby_mode_prove.py	Add support for (re-)running in existing workdir	2019-03-09 12:42:54 -08:00