17 Commits

Author	SHA1	Message	Date
Alan Mishchenko	7d247a08f7	Experiments with bound-set evaluation.	2024-12-26 00:37:37 -08:00
Alan Mishchenko	037971d9c9	Migrating &stochsyn to generic concurrency interface.	2024-08-03 18:12:03 -07:00
Alan Mishchenko	4c7165a4f7	New ISOP computation.	2014-10-04 17:56:08 -07:00
Alan Mishchenko	0fef5d6031	Command to test console colors.	2014-04-10 17:47:41 -07:00
Alan Mishchenko	325ac583e6	Created a communication bridge.	2012-03-01 21:20:18 -08:00
Alan Mishchenko	095345fc4a	Added new name manager and modified hierarchy manager to use it.	2012-01-13 15:43:09 -08:00
Alan Mishchenko	4ffe37b34b	Added new sorting procedures.	2011-07-31 16:16:49 +07:00
Alan Mishchenko	71cbf17e7f	Unified the use of counter-examples in three packages.	2011-02-13 17:46:48 -08:00
Baruch Sterin	b538a5fad0	1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.	2011-02-01 11:13:53 -08:00
Baruch Sterin	093774c1b8	fixed compilation in linux	2010-11-01 02:06:26 -07:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00
Alan Mishchenko	0c6505a26a	Version abc80130_2	2008-01-30 20:01:00 -08:00
Alan Mishchenko	4d30a1e4f1	Version abc80130	2008-01-30 08:01:00 -08:00
Alan Mishchenko	4812c90424	Version abc71001	2007-10-01 08:01:00 -07:00
Alan Mishchenko	e54d969161	Version abc70930	2007-09-30 08:01:00 -07:00
Alan Mishchenko	8eef7f8326	Version abc60220	2006-02-20 08:01:00 -08:00
Alan Mishchenko	888e5bed5d	Version abc50729	2005-07-29 08:01:00 -07:00