iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead."	Miodrag Milanovic	2022-07-15	1	-2/+2
\| \| \| \|	This reverts commit fd2c9b1c19216f6b756f88b18f5ca67b759ca128.
*	Add WASI platform support to main.	whitequark	2020-06-22	1	-0/+2
\|
*	Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead.	whitequark	2020-05-01	1	-2/+2
\|
*	Make use of setrlimit conditional on ABC_NO_RLIMIT.	whitequark	2020-04-30	1	-2/+2
\| \| \| \| \|	This is useful for POSIX-like platforms that do not have rlimit, such as WASI.
*	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	1	-1/+1
\|
*	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	1	-1/+1
\|
*	fix: header <malloc.h> is depreciated	Nathan Zhou	2018-11-30	1	-1/+1
\|
*	Various usability changes (second round).	Alan Mishchenko	2018-11-20	1	-7/+7
\|
*	Various usability changes (second round).	Alan Mishchenko	2018-11-20	1	-1/+39
\|
*	Compiler warnings.	Alan Mishchenko	2016-12-31	1	-2/+2
\|
*	main: add option -Q for execute command quietly, then interactive	Baruch Sterin	2015-11-18	1	-5/+13
\|
*	pyabc: remove python integration from abc, it is moved to a separate extension	Baruch Sterin	2015-11-05	1	-33/+0
\|
*	main: allow the -c -C -q -f -F -s command line options to be repeated and ↵	Baruch Sterin	2015-11-05	1	-12/+40
\| \| \| \|	the commands they sepcify be executed in order instead of overriding each other
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	1	-16/+1
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-11	1	-2/+31
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-27	1	-0/+369