Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-08-10 | Spack packages now PEP8 compliant. | Todd Gamblin | 1 | -0/+1 |
2016-05-11 | Correct LLNL LGPL license template for clarity. | Todd Gamblin | 1 | -0/+24 |
2016-05-10 | Kripke variants. | Todd Gamblin | 1 | -3/+7 |
2016-05-09 | clean up Kripke package and dependencies. | Todd Gamblin | 1 | -7/+17 |
2016-05-09 | Removed FIXME comments | Tanzima Z. Islam | 1 | -16/+0 |
2016-05-09 | Adding a new package: Kripke from the public tar ball | Tanzima Z. Islam | 1 | -10/+28 |
2016-05-06 | Adding a new package file for Kripke | Tanzima Z. Islam | 1 | -0/+16 |