avl-verification/.gitignore, branch main Isabelle fork of https://github.com/RaitoBezarius/avl-verification some isabelle/hol verification 2024-06-29T20:05:40+00:00 stuebinm 2024-06-29T20:05:40+00:00 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. 
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 gitignore 2024-04-12T18:04:50+00:00 Raito Bezarius 2024-04-12T18:04:50+00:00 fb324b6f4ec780ad486e5beb154eb1fe590b8aab 






feat: cleanup more the gitignore
2024-04-12T18:04:30+00:00

Raito Bezarius

2024-04-12T18:04:30+00:00

1c29bc8e8d711c6df885e9eb5955b76f6bef5ab5

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>





Signed-off-by: Raito Bezarius <masterancpp@gmail.com>







Initial extraction
2024-03-25T20:09:26+00:00

Raito Bezarius

2024-03-25T20:09:26+00:00

014fc51d291188afd405c33a8281fbb5013ad304

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>





Signed-off-by: Raito Bezarius <masterancpp@gmail.com>







Initial commit
2024-03-25T10:43:20+00:00

Raito Bezarius

2024-03-25T10:43:20+00:00

d6dce7238ad59f67b6b9bad1b3e50984bb69e84e

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>





Signed-off-by: Raito Bezarius <masterancpp@gmail.com>