Age | Commit message (Expand) | Author |
---|---|---|
2019-06-30 | Remove sundials as it has its own repo now. Fix | Dominic Steinitz |
2018-04-21 | Build examples via stack (start of) | Dominic Steinitz |
2018-03-26 | Revert "Cleanups to Sundials PR" | idontgetoutmuch |
2018-03-26 | Update LICENSE | idontgetoutmuch |
2018-03-25 | Set proper copyright. | Mathieu Boespflug |
2018-03-12 | With a .cabal | Dominic Steinitz |