summaryrefslogtreecommitdiffstats
path: root/src/base/main/mainReal.c
Commit message (Expand)AuthorAgeFilesLines
* Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead."Miodrag Milanovic2022-07-151-2/+2
* Add WASI platform support to main.whitequark2020-06-221-0/+2
* Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead.whitequark2020-05-011-2/+2
* Make use of setrlimit conditional on ABC_NO_RLIMIT.whitequark2020-04-301-2/+2
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-1/+1
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-1/+1
* fix: header <malloc.h> is depreciatedNathan Zhou2018-11-301-1/+1
* Various usability changes (second round).Alan Mishchenko2018-11-201-7/+7
* Various usability changes (second round).Alan Mishchenko2018-11-201-1/+39
* Compiler warnings.Alan Mishchenko2016-12-311-2/+2
* main: add option -Q for execute command quietly, then interactiveBaruch Sterin2015-11-181-5/+13
* pyabc: remove python integration from abc, it is moved to a separate extensionBaruch Sterin2015-11-051-33/+0
* main: allow the -c -C -q -f -F -s command line options to be repeated and the...Baruch Sterin2015-11-051-12/+40
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-181-16/+1
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-111-2/+31
* Changes to enable building external code.Alan Mishchenko2014-10-271-0/+369
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 07:06:43 +0000