Closed mdavis36 closed 4 years ago
This PR makes the necessary changes to build and run Kripke with RAJA Version 0.11.0
@ajkunen Could you take a look at this when you get a chance please, thank you.
@mdavis36 yes! sorry. I'll get to it shortly.
This PR makes the necessary changes to build and run Kripke with RAJA Version 0.11.0