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

kernel specialization #17

Closed MuhammadAbuBakar95 closed 5 years ago

caballa commented 5 years ago

Thank you for the fixes!

caballa commented 5 years ago

Correct me if I'm wrong but it seems that the changes from 4 days ago are completely independent from the changes on Sep 27th. So please, move the vagrant stuff to a different PR and we will approve it .

MuhammadAbuBakar95 commented 5 years ago

Sorry .. I had not got your message .. Sure I will do that.

caballa commented 5 years ago

Can you also make a PR for the first one?

ianamason commented 5 years ago

The one I merged?

caballa commented 5 years ago

No, the one from Sep 27th

MuhammadAbuBakar95 commented 5 years ago

I have made a separate PR for the first (27 Sep).

caballa commented 5 years ago

The two PR have been already merged. I close this one.