- 29 May, 2022 8 commits
-
-
Nadim Kobeissi authored
-
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
During the Verifpal workshop today at Eurocrypt 2022, a bug was spotted by Oskar Goldhahn (NTNU) which led to two very similar models (included here as `examples/test/ordering_a.vp` and `examples/test/ordering_b.vp`) outputting very different results. After the workshop, I did some debugging and figured out that some positively hare-brained "performance optimization" I had implemented roughly a year ago seriously reduced analysis precision while basically adding no performance benefit that I can subsequently measure. This nitwitted and positively idiotic "optimization" is happily removed here. Thanks to Oskar for spotting this bug. Happy to report that an ill-guided optimization was to blame, and nothing more fundamental to Verifpal's analysis logic.
-
Nadim Kobeissi authored
-
- 29 Dec, 2021 1 commit
-
-
Nadim Kobeissi authored
-
- 09 Nov, 2021 2 commits
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
- 25 Aug, 2021 9 commits
-
-
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
Equivalence patch See merge request !12
-
Georgio Nicolas authored
-
Georgio Nicolas authored
-
- 21 Jul, 2021 5 commits
-
-
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
- 09 Jul, 2021 2 commits
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
- 03 Jul, 2021 5 commits
-
-
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
- 02 Jul, 2021 1 commit
-
-
Nadim Kobeissi authored
-
- 01 Jul, 2021 7 commits
-
-
-
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
Nadim Kobeissi authored
-
-
-