Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Java API for working with UPPAAL model files
Forked from daattali/beautiful-jekyll
Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
Interprocedural analysis that computes the shortest distance between basic blocks
Forked from davewathaverford/the-omega-project
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedenc…
Realpaver 0.4 that compiles for Mac
Seeing something unexpected? Take a look at the
GitHub profile guide.