Tags give the ability to mark specific points in history as being important
-
verison1_proof_logging
09d15d4e · ·This is the last commit that uses version 1 proof logging. The commits after this tag use version 2.0 pseudo-Boolean proof logging.
This is the last commit that uses version 1 proof logging. The commits after this tag use version 2.0 pseudo-Boolean proof logging.