Commit graph

Select branches

Hide pull requests

trunk

v1.12b

v1.14

v1.14.proof_logging

v2.0

v2.2

Mono Color

• 8aeb017b09 enable proof printing through CMake option v1.14.proof_logging Fabian Posch 2024-08-09 18:51:50 +0200
• 6497ee686c fix status print warnings Fabian Posch 2024-08-09 18:42:20 +0200
• 54320c0d8e fix dynamic exception deprication for newer C++ versions Fabian Posch 2024-08-09 18:17:46 +0200
• 0f28e701ff clean up file structure and add cmake build functionality Fabian Posch 2024-08-09 18:14:35 +0200
• 73296d190b add readme to trunk trunk Fabian Posch 2024-08-09 15:33:08 +0200
• 2ae9dac254 add unpatched version of 1.12b source v1.12b Fabian Posch 2024-08-09 15:30:34 +0200
• ed5aa68ce6 add unpatched version of 2.2 source v2.2 Fabian Posch 2024-08-09 15:27:03 +0200
• 815d583f77 add unpatched version of 2.0 source v2.0 Fabian Posch 2024-08-09 15:25:42 +0200
• 93db10cdb0 add unpatched version of 1.14 source v1.14 Fabian Posch 2024-08-09 15:23:17 +0200
• 0bacf7f126 add unpatched version of 1.14 proof logging source Fabian Posch 2024-08-09 15:19:06 +0200
• d3572cf92b initial commit Fabian Posch 2024-08-09 15:17:14 +0200