OKullmann/oklibrary — pull request #348 by MGwynne (2012-02-03 09:04:53+00:00)
Title: Des satisfying assignments

Branch: des_satisfying_assignments.

Changes relating to finding the satisfiable sub-instance in SplittingViaOKsolver experiments on DES.

Key changes from previous pull request:

Fixed incorrect name issue which caused the build of PassClashes C++ application to fail.

Then

1) Added PassClashes C++ application.
2) Computed satisfying assignment for canonical 5-round DES instance for depth 700.
3) Renamed script "Total_SAT4DES_Instance" to "RandomDESTotalAssignment".

Otherwise (original pull request notes):

1) Specifying DES random plaintext, key and ciphertext generation function, including splitting these functions up to allow better explanation and testing.

2) Providing a C++ application, PassExtends, which checks whether a partial assignment extends another.

3) Providing a script for computing a satisfying assignment for DES instances.

4) Computing the satisfying sub-instance in the splitting of 5-round DES at depth 600, and now 700.

5) Fixing a bug in the application test system where ALL executable files under app_tests were run, not just those directly in the app_tests directory (e.g., app_tests/test_cases/APP_NAME/basic/SCRIPT was run as a test script if it was executable).

Matthew