Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Jul 15, 2026

• Add an explanation about the counterexample execution

  

  “Wieger

  committed
  c49a162View commit details

  Copy full SHA for c49a162

  Browse repository at this point

Commits on Jul 8, 2026

• Reuse lemmas between verifications

  Show description for d9f202f
  

  “Wieger

  committed
  d9f202fView commit details

  Copy full SHA for d9f202f

  Browse repository at this point

Commits on Jul 7, 2026

• Restructured the file contents + renamed some modules

  Show description for db5d808
  

  “Wieger

  committed
  db5d808View commit details

  Copy full SHA for db5d808

  Browse repository at this point

Commits on May 8, 2026

• Add a verification of minimax-depth-plaat

  

  “Wieger

  committed
  ce60c5eView commit details

  Copy full SHA for ce60c5e

  Browse repository at this point

• Added a verifiction of minimax-plaat

  

  “Wieger

  committed
  939c653View commit details

  Copy full SHA for 939c653

  Browse repository at this point

Commits on May 6, 2026

• Added a proof of negamax-depth-plaat

  

  “Wieger

  committed
  bde9885View commit details

  Copy full SHA for bde9885

  Browse repository at this point

• Update the negamax-plaat proof

  

  “Wieger

  committed
  96ef04aView commit details

  Copy full SHA for 96ef04a

  Browse repository at this point

• Added a verification of negamax-plaat.py

  

  “Wieger

  committed
  296f932View commit details

  Copy full SHA for 296f932

  Browse repository at this point

Commits on Apr 30, 2026

• Improve the scripts

  Show description for 5368870
  

  “Wieger

  committed
  5368870View commit details

  Copy full SHA for 5368870

  Browse repository at this point

• Add the variant with an extra depth condition

  

  “Wieger

  committed
  3b3b296View commit details

  Copy full SHA for 3b3b296

  Browse repository at this point

• Use a for loop instead of a while loop

  

  “Wieger

  committed
  17cd29bView commit details

  Copy full SHA for 17cd29b

  Browse repository at this point

• Make separate folders for dafny-4.10 and dafny-4.11

  Show description for 6601369
  

  “Wieger

  committed
  6601369View commit details

  Copy full SHA for 6601369

  Browse repository at this point

• Add script to extract statistics of the verification

  

  “Wieger

  committed
  712c55dView commit details

  Copy full SHA for 712c55d

  Browse repository at this point

Commits on Jan 28, 2026

• Add latex formatting to the statement logs

  

  “Wieger

  committed
  c87d5feView commit details

  Copy full SHA for c87d5fe

  Browse repository at this point

• Extend logging of negamax-ttw

  

  “Wieger

  committed
  f17316fView commit details

  Copy full SHA for f17316f

  Browse repository at this point

Commits on Jan 22, 2026

• Also log return statements

  

  “Wieger

  committed
  78e73a7View commit details

  Copy full SHA for 78e73a7

  Browse repository at this point

• Added logging of the execution

  

  “Wieger

  committed
  5b016edView commit details

  Copy full SHA for 5b016ed

  Browse repository at this point

Commits on Dec 2, 2025

• Update the README

  

  “Wieger

  committed
  2545199View commit details

  Copy full SHA for 2545199

  Browse repository at this point

Commits on Nov 5, 2025

• Removed extraneous ampersands

  Show description for 9ef276e
  

  “Wieger

  committed
  9ef276eView commit details

  Copy full SHA for 9ef276e

  Browse repository at this point

Commits on Oct 16, 2025

• Generate tikz figures for negamax_ttm_[b,c]

  

  “Wieger

  committed
  a53196aView commit details

  Copy full SHA for a53196a

  Browse repository at this point

Commits on Sep 29, 2025

• Clean up the interfaces for drawing game trees

  Show description for 46ef543
  

  “Wieger

  committed
  46ef543View commit details

  Copy full SHA for 46ef543

  Browse repository at this point

• Extract layout information from Graphviz and use it for Tikz

  

  “Wieger

  committed
  32cbb8fView commit details

  Copy full SHA for 32cbb8f

  Browse repository at this point

Commits on Sep 19, 2025

• Generate Tikz output

  Show description for 65d4b05
  

  “Wieger

  committed
  65d4b05View commit details

  Copy full SHA for 65d4b05

  Browse repository at this point

Commits on Jul 16, 2025

• Added some documentation

  

  “Wieger

  committed
  4209a92View commit details

  Copy full SHA for 4209a92

  Browse repository at this point

• Add Dafny verifications

  

  “Wieger

  committed
  aaa242cView commit details

  Copy full SHA for aaa242c

  Browse repository at this point

• Add Python implementations

  

  “Wieger

  committed
  7a6f6f7View commit details

  Copy full SHA for 7a6f6f7

  Browse repository at this point

• Initial commit

  wiegerw

  authored
  afd3bafView commit details

  Copy full SHA for afd3baf

  Browse repository at this point