PAC-MAN v1.0.9

PAC-MAN now creates a trace of function sequence as error witness, and provides a template in case no functions are in the given program.
Now, witness is in a prettier format.

PAC-MAN v1.0.8

PAC-MAN now creates a trace of function sequence as error witness, and provides a template in case no functions are in the given program.
Now, witness is in a prettier format.

PAC-MAN v1.0.7

Witness generator produces function sequence as witness.

PAC-MAN v1.0.6

Generates not-as-powerful witnesses as the original ones are faulty.

PAC-MAN v1.0.5

Added lib/ in CPAChecker-1.4.svn/.

PAC-MAN v1.0.4

Added cpachecker.jar and removed bin/ in CPAChecker.

v1.0.3

Includes CPAChecker binaries.

PAC-MAN v1.0.2

Contains the binaries, fixed problems.

PAC-MAN v1.0.1

Contains the compiled binaries.

PAC-MAN v1.0

PAC-MAN v1.0