search

SRI-CSL / OCCAM

OCCAM: Object Culling and Concretization for Assurance Maximization
BSD 3-Clause "New" or "Revised" License
26 stars 10 forks source link

Replace Makefile with cmake #61

Open caballa opened 2 years ago

caballa commented 2 years ago

This would solve problems like #60.