User Details
User Details
- User Since
- Sep 26 2019, 10:59 AM (175 w, 1 d)
Dec 4 2021
Dec 4 2021
kappelmann committed rAFP5a8b07a912c1: feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics….
feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…
Nov 15 2021
Nov 15 2021
feat(SpecCheck/Show) add parentheses for option SOME case
Nov 8 2021
Nov 8 2021
kappelmann committed rAFP6b07f915b460: feat(SpecCheck) add better unit tests facilities, examples and exceptions….
feat(SpecCheck) add better unit tests facilities, examples and exceptions…
Nov 4 2021
Nov 4 2021
kappelmann committed rAFPb9fadc5d34c4: feat(SpecCheck) add possibility to make builds fail on failure and extend README.
feat(SpecCheck) add possibility to make builds fail on failure and extend README
Sep 30 2021
Sep 30 2021
feat(SpecCheck/Show) tune pretty printing for environments
Sep 27 2021
Sep 27 2021
feat(SpecCheck) folder renaming, types for tests
Aug 26 2021
Aug 26 2021
kappelmann added a reverting change for rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6: rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Backed out changeset d4af818e0880
Jul 12 2021
Jul 12 2021
fix(Regex_Equivalence) update to new SpecCheck version
Jul 8 2021
Jul 8 2021
remove SpecCheck; it is now part of the AFP