Jason (jcreed) wrote,

Man, fuckin' score one more for formal methods. The proof was starting to get a little difficult, and it led me straight to a bug in the definition. I am still in a good mood, because I remain for the time being under the impression that the fix is easy; I simply failed to do a case analysis in one spot, and erroneously carried out the correct "re-marking" behavior required for one branch in both branches. What I'm supposed to be doing in the other branch is simply not doing the re-marking pass, so that should be easy.
Tags: twelf, work

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded