Scryer Prolog mentioned in new paper: TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs

[triska]

Dear all,

today I found an interesting paper than mentions Scryer Prolog: TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs

Scryer Prolog is mentioned as one of the examples in Table 3 (page 11):

Congratulations everyone! I hope the results can be used to improve the code even further!

All the best,
Markus

[jjtolton]

Scryer on the leader board!! 🥳 🥳 🥳