avl-verification/.gitignore, branch mainIsabelle fork of https://github.com/RaitoBezarius/avl-verificationhttps://stuebinm.eu/git/avl-verification/atom/.gitignore?h=main2024-06-29T20:05:40Zsome isabelle/hol verification2024-06-29T20:05:40Zstuebinm2024-06-29T20:05:40Zurn:sha1:60ec110ebfe85ecbadf2641bdc5315c619766f0e
doesn't do much, just proves that the find function won't cause an
error.
also removes all uses of rust traits, since these are currently broken
on the aeneas side.
fixup! feat: cleanup more the gitignore2024-04-12T18:04:50ZRaito Bezarius2024-04-12T18:04:50Zurn:sha1:fb324b6f4ec780ad486e5beb154eb1fe590b8aabfeat: cleanup more the gitignore2024-04-12T18:04:30ZRaito Bezarius2024-04-12T18:04:30Zurn:sha1:1c29bc8e8d711c6df885e9eb5955b76f6bef5ab5
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Initial extraction2024-03-25T20:09:26ZRaito Bezarius2024-03-25T20:09:26Zurn:sha1:014fc51d291188afd405c33a8281fbb5013ad304
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Initial commit2024-03-25T10:43:20ZRaito Bezarius2024-03-25T10:43:20Zurn:sha1:d6dce7238ad59f67b6b9bad1b3e50984bb69e84e
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>