There is a new BDD library: PJBDD by @beyer_dirk et al. Paper (ATVA[B]): https://t.co/WHSlyx0nhI Gitlab: https://t.co/Wfj5sUa4ze * Apache 2.0 License * BDD, ZDD, ChDDs * multithreaded, thread safe I wrote a small thread of my playtime with PJBDD:
RT @blackenedgold: ふむ [2107.01815] A Formal Semantics of the GraalVM Intermediate Representation https://t.co/eyEYIWqtNI
ふむ [2107.01815] A Formal Semantics of the GraalVM Intermediate Representation https://t.co/eyEYIWqtNI
A Formal Semantics of the GraalVM Intermediate Representation https://t.co/X41uhYKjWv
