Hey BTW I took some time to look around at the state of the art of constant-time analysis and found [0] to be a good primer. Since gnatllvm is a thing, most of

Hey BTW I took some time to look around at the state of the art of constant-time analysis and found [0] to be a good primer. Since gnatllvm is a thing, most of the llvm-based tools might be usable. Quite interesting, I'll ping Yannick Moy or Rod Chapman on that. Mostly to get a 'waaaaay ahead of you on that buuuuut' and learn new things :-). [0] https://neuromancer.sk/article/26 https://neuromancer.sk/article/26