14 Commits

Author	SHA1	Message	Date
Martin Povišer	57c3bd36f2	Patch to support WASI builds ... Co-authored-by: whitequark <whitequark@whitequark.org>	2024-08-07 14:49:13 +02:00
whitequark	8afd927d60	Make use of setrlimit conditional on ABC_NO_RLIMIT. ... This is useful for POSIX-like platforms that do not have rlimit, such as WASI.	2020-04-30 02:17:03 +00:00
Alan Mishchenko	61a88f164c	Fixing broken build and compiler warnings.	2020-04-17 10:16:26 -07:00
Alan Mishchenko	203a7d6ad8	Fixing broken build and compiler warnings.	2020-04-17 10:14:44 -07:00
Nathan Zhou	39ff80c0b3	fix: header <malloc.h> is depreciated	2018-11-30 16:59:25 +08:00
Alan Mishchenko	73695c7961	Various usability changes (second round).	2018-11-20 19:17:37 -08:00
Alan Mishchenko	6f0d808859	Various usability changes (second round).	2018-11-20 19:15:07 -08:00
Alan Mishchenko	3f2899d6ea	Compiler warnings.	2016-12-31 22:00:26 +07:00
Baruch Sterin	5df0cf98e6	main: add option -Q for execute command quietly, then interactive	2015-11-18 16:32:39 -08:00
Baruch Sterin	c610c03661	pyabc: remove python integration from abc, it is moved to a separate extension	2015-11-05 01:24:26 -08:00
Baruch Sterin	aa62165a1c	main: allow the -c -C -q -f -F -s command line options to be repeated and the commands they sepcify be executed in order instead of overriding each other	2015-11-05 01:24:26 -08:00
Alan Mishchenko	6b0accd22a	Modifications to read SMTLIB file from stdin.	2015-02-18 20:42:48 -08:00
Alan Mishchenko	ea2d82ab14	Modifications to read SMTLIB file from stdin.	2015-02-11 18:09:15 -08:00
Alan Mishchenko	c0db4d2a12	Changes to enable building external code.	2014-10-27 17:56:48 -07:00