Commit Graph

24 Commits

Author SHA1 Message Date
Alan Mishchenko 109fc76f43 Changes to history recording and other small things. 2014-11-30 12:20:43 -08:00
Alan Mishchenko 5d1a5f3590 Changes to history recording and other small things. 2014-11-30 12:19:32 -08:00
Alan Mishchenko 3f6c08dfc6 Debugging the bit-blaster. 2014-09-23 12:54:57 -04:00
Alan Mishchenko 1ce537e992 Misc changes. 2013-03-07 13:04:16 -08:00
Alan Mishchenko 6c1c45b90f Added command 'starter' to call ABC concurrently. 2012-10-02 21:41:24 -07:00
Alan Mishchenko a50a38155c Integrating time manager into choice computation. 2012-09-22 17:57:06 -07:00
Alan Mishchenko a6bfd49591 Improved printout of command history. 2012-08-27 19:57:44 -07:00
Alan Mishchenko 889ed19c1c Compiler warnings. 2012-08-26 09:31:43 -07:00
Alan Mishchenko fba0552f87 Added recording history of used commands into file 'abc.history' (Windows only). 2012-08-25 14:57:06 -07:00
Alan Mishchenko bffbd05a2f Added recording history of used commands into file 'abc.history' (Windows only). 2012-08-25 13:43:44 -07:00
Alan Mishchenko 2a7a06b653 Added recording history of used commands into file 'abc.history' (Windows only). 2012-08-25 12:32:44 -07:00
Alan Mishchenko 22d21a5c44 Added recording history of used commands into file 'abc.history' (Windows only). 2012-08-24 15:44:33 -07:00
Alan Mishchenko 7e2b007762 Added recording history of used commands into file 'abc.history' (Windows only). 2012-08-24 12:25:53 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08: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 39bc4842e9 Version abc70706 2007-07-06 08:01:00 -07:00
Alan Mishchenko 8eef7f8326 Version abc60220 2006-02-20 08:01:00 -08:00
Alan Mishchenko e2619aa120 Version abc51012 2005-10-12 08:01:00 -07:00
Alan Mishchenko 888e5bed5d Version abc50729 2005-07-29 08:01:00 -07:00