0000000000000000000000000000000000000000 928e26b77ffdd244acbb6272506a38755da27f31 Stephan Schulz <schulz@eprover.org> 1776082386 +0200	clone: from /Users/schulz/TEXT/PAPERS/EQPLANNING-JAR-2026/PyRes/
928e26b77ffdd244acbb6272506a38755da27f31 94efb0a2b858755c87979f04a10536a5a3a1f681 Stephan Schulz <schulz@eprover.org> 1783731137 +0200	commit: Basic structure and thm/cth checks done
94efb0a2b858755c87979f04a10536a5a3a1f681 a041e7e1b9ef66004ab5734c9ab5812bc9f957b6 Stephan Schulz <schulz@eprover.org> 1783731158 +0200	commit: Basic structure and thm/cth checks done
a041e7e1b9ef66004ab5734c9ab5812bc9f957b6 bce8117a0294c350989a8f384e0ccadb074ef48b Stephan Schulz <schulz@eprover.org> 1783766514 +0200	commit: Added input step verification
bce8117a0294c350989a8f384e0ccadb074ef48b 0000000000000000000000000000000000000000 Stephan Schulz <schulz@eprover.org> 1783948952 +0100	Branch: renamed refs/heads/prooftools to refs/heads/main
0000000000000000000000000000000000000000 bce8117a0294c350989a8f384e0ccadb074ef48b Stephan Schulz <schulz@eprover.org> 1783948952 +0100	Branch: renamed refs/heads/prooftools to refs/heads/main
bce8117a0294c350989a8f384e0ccadb074ef48b 541ccd6efddc9f81a6d1fefcdc089393046e6069 Stephan Schulz <schulz@eprover.org> 1783949029 +0100	commit: Added README.md
541ccd6efddc9f81a6d1fefcdc089393046e6069 569411565a747bfd327c962ecaa518e3ee2cac9f Stephan Schulz <schulz@eprover.org> 1783950001 +0100	commit: Updated README.md
569411565a747bfd327c962ecaa518e3ee2cac9f da16d00346dfb2220549105606ea0384ea2af700 Stephan Schulz <schulz@eprover.org> 1783950051 +0100	commit: Updated README.md
da16d00346dfb2220549105606ea0384ea2af700 640081bcda76ff895def1c1c93b539a255a8209f Stephan Schulz <schulz@eprover.org> 1783950094 +0100	commit: Updated README.md
640081bcda76ff895def1c1c93b539a255a8209f 73b782bb84f8d3a0b580652b5d0b384d19d2de28 Stephan Schulz <schulz@eprover.org> 1783980391 +0100	commit: Adaptions for ProoVer competition package
73b782bb84f8d3a0b580652b5d0b384d19d2de28 5944b540b382c23ba702dda76a32f946572155a9 Stephan Schulz <schulz@eprover.org> 1783980545 +0100	commit: Adaptions for ProoVer competition package
5944b540b382c23ba702dda76a32f946572155a9 2713848984db8abdcbf1a8fb184fb222d6abf2a8 Stephan Schulz <schulz@eprover.org> 1783980675 +0100	commit: Typos, clarifications
2713848984db8abdcbf1a8fb184fb222d6abf2a8 81d89db1f8ea89787d2cd3f55559a979b524987b Stephan Schulz <schulz@eprover.org> 1783981516 +0100	commit: Fixed (?) StarExec build script
81d89db1f8ea89787d2cd3f55559a979b524987b 69621fe0c7982a6f52ee7d62e0f593f2edc183b5 Stephan Schulz <schulz@eprover.org> 1783982739 +0100	commit: Fixed build script
