runtime-checking | Topic | Ecosyste.ms: Repos

Topic: "runtime-checking"

Decorator which checks whether the function is called with the correct type of parameters.

Language: Python - Size: 405 KB - Last synced at: about 9 hours ago - Pushed at: about 10 hours ago - Stars: 110 - Forks: 4

Configurable instrumentation of LLVM bitcode

Language: C++ - Size: 1.07 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 34 - Forks: 11

Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]

Language: Coq - Size: 430 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0