Age | Commit message (Expand) | Author |
---|---|---|
2018-04-03 | Ensure glpk is available | Dominic Steinitz |
2018-04-03 | Simplify shell.nix | Dominic Steinitz |
2018-04-03 | Use nix rather than ubuntu for CI | Dominic Steinitz |
2018-03-28 | Using hsc, semi-auto-generating documentation | Dominic Steinitz |
2018-03-26 | Revert "Cleanups to Sundials PR" | idontgetoutmuch |
2018-03-25 | Unify the stack.yaml files at top-level. | Mathieu Boespflug |