summaryrefslogtreecommitdiffstats
path: root/src/misc/util/module.make
Commit message (Expand)AuthorAgeFilesLines
* Created a communication bridge.Alan Mishchenko2012-03-011-1/+2
* Added new name manager and modified hierarchy manager to use it.Alan Mishchenko2012-01-131-0/+1
* Added new sorting procedures.Alan Mishchenko2011-07-311-1/+2
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-1/+3
* 1. Replace system() with a function that responds to SIGINT. 2. Add functions...Baruch Sterin2011-02-011-1/+1
* fixed compilation in linuxBaruch Sterin2010-11-011-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-1/+1
* Version abc80130_2Alan Mishchenko2008-01-301-8/+1
* Version abc80130Alan Mishchenko2008-01-301-1/+8
* Version abc71001Alan Mishchenko2007-10-011-0/+1
* Version abc70930Alan Mishchenko2007-09-301-1/+0
* Version abc60220Alan Mishchenko2006-02-201-8/+1
* Version abc50729Alan Mishchenko2005-07-291-0/+8