12 Commits

Author	SHA1	Message	Date
Alan Mishchenko	f14f5c9203	Fixing obscure memory problem with 'int' on large designs.	2011-09-17 23:00:50 -07:00
Alan Mishchenko	e21d307544	Bug fix in interpolation (false positive if property fails in frame 0).	2011-08-14 20:04:08 +07:00
Alan Mishchenko	813245b29a	Improving timeout in the interpolation package.	2011-04-15 09:29:13 -07:00
Alan Mishchenko	2b336851a2	Added test package.	2011-03-29 13:04:21 -07:00
Alan Mishchenko	937979d9dd	Improvements to the interpolation command 'int'; change of default switch -t.	2011-03-08 20:05:09 -08:00
Alan Mishchenko	6130e39b18	initial commit of public abc	2010-11-01 01:35:04 -07:00
Alan Mishchenko	da65e88e3b	Version abc90804 ... committer: Baruch Sterin <baruchs@gmail.com>	2015-06-22 23:04:59 -07:00
Alan Mishchenko	0398ced824	Version abc90714 ... committer: Baruch Sterin <baruchs@gmail.com>	2015-06-22 23:04:53 -07:00
Alan Mishchenko	0871bffae3	Version abc90215	2009-02-15 08:01:00 -08:00
Alan Mishchenko	23c428ea09	Version abc80921_2	2008-09-21 20:01:00 -07:00
Alan Mishchenko	3429e6309d	Version abc80919	2008-09-19 08:01:00 -07:00
Alan Mishchenko	1afa8a2f38	Version abc80725	2008-07-25 08:01:00 -07:00