search

static-analysis-engineering / CodeHawk-C

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
MIT License
27 stars 6 forks source link

Add GitHub workflow to publish sphinx documentation #39

Closed Databean closed 6 months ago

Databean commented 6 months ago

... and a .gitignore for locally generated sphinx documentation

Sample display at https://databean.github.io/CodeHawk-C/

Databean commented 6 months ago

Thanks for reviewing!