An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: program-invariants

thanhlecongg/Invalidator

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning (IEEE TSE)

Language: Python - Size: 115 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1