Add Trimmer examples - Githubissues

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization

BSD 3-Clause "New" or "Revised" License

26 stars 10 forks source link

Closed shoaibCS closed 3 years ago

caballa commented 4 years ago

Why does it contain 799 files?

Ideally, the makefile should download the tarball.

caballa commented 3 years ago

I'll close it for now. Reopen it when it's ready to merge