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

Coverity support #3

Closed ianamason closed 4 years ago

ianamason commented 9 years ago

Need to improve the view of the LICENSE (i.e. move it out of the README)

caballa commented 6 years ago

@ianamason : and this?

caballa commented 4 years ago

This is older than @ianamason so I close it.

ianamason commented 4 years ago

estas verdad? tengo mucho años.