Skip to content
Snippets Groups Projects
Burkhart Wolff's avatar
pushed new branch afp_devIsabelle_Clean_24 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed new branch afp_devIsabelle_C_24 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch LorenzWinkler at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
  • 4a5c2e1d · ROOT in sync with the AFP - setup
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
  • 6280450a · some simpler proofs for more automatic symbexes
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
  • ea8ab81a · Bu's Symbolic execution rules for assertions
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
  • 65d8185b · Achims patch on recursive function return type
Burkhart Wolff's avatar
pushed to branch LorenzWinkler at Burkhart Wolff / Isabelle_C
  • 7653da1f · Minor corrections in the test suite.
Burkhart Wolff's avatar
pushed to branch C_2021-1 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch LorenzWinkler at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed new branch LorenzWinkler2 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch LorenzWinkler at Burkhart Wolff / Isabelle_C
  • 28c2cef3 · commenting in generator, updating reasme_dev for start config
Burkhart Wolff's avatar
pushed new branch LorenzWinkler at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch Isa2024 at Burkhart Wolff / Isabelle_C
  • 4dd70bf1 · Lorenz repair of decode_pos
Burkhart Wolff's avatar
pushed new branch Isa2024 at Burkhart Wolff / Isabelle_C
Burkhart Wolff's avatar
pushed to branch C_2021-1 at Burkhart Wolff / Isabelle_C
  • 140f9849 · installation hints for 2021 brach
Burkhart Wolff's avatar
pushed to branch C_2021-1 at Burkhart Wolff / Isabelle_C