adqc icon indicating copy to clipboard operation
adqc copied to clipboard

verified publisher icon jeapostrophe
→

Metadata

adqc - A version of C with verification and resource bounds

Results 1 adqc issues
Sort by recently updated
recently updated
newest added

Update license to Apache v2, matching Racket upstream

cwebber avatar cwebber

← Metadata

22
Stars
2
Forks
Watchers

Owner

verified publisher icon jeapostrophe

Metadata

adqc - A version of C with verification and resource bounds

Back