Alan Mishchenko cab8301065 Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.

2013-09-23 10:57:15 -07:00

..

abs.c

Created new abstraction package from the code that was all over the place.

2012-09-15 23:27:46 -07:00

abs.h

Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.

2013-09-23 10:57:15 -07:00

absDup.c

Restructured the code to post-process object used during refinement in &gla.

2012-09-16 09:54:19 -07:00

absGla.c

Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.

2013-09-23 10:57:15 -07:00

absGlaOld.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absIter.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absOldCex.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absOldRef.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absOldSat.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absOldSim.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absOut.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absPth.c

Making changes suggested by Mark Jarvin.

2013-05-04 11:10:25 -07:00

absRef.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absRef.h

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absRefJ.c

Restructured the code to post-process object used during refinement in &gla.

2012-09-16 09:54:19 -07:00

absRefJ.h

Restructured the code to post-process object used during refinement in &gla.

2012-09-16 09:54:19 -07:00

absRefSelect.c

Changed a few things in the refinement package of &gla.

2012-09-16 13:56:10 -07:00

absRpm.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

absRpmOld.c

Unifying parameters for the &ps command.

2013-09-05 20:40:50 -07:00

absUtil.c

Improving printouts in &gla.

2012-09-16 16:48:50 -07:00

absVta.c

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

module.make

User-controlable SAT sweeper and other small changes.

2013-02-27 12:12:23 -05:00