HEAD | 5479546 | Merge pull request #48 from fingolfin/mh/update-ci Update CI configuration to latest | 17 October 2023, 07:13:10 UTC |
refs/heads/gh-pages | 181bc27 | Update website for simpcomp 2.1.14 | 15 March 2022, 04:07:29 UTC |
refs/heads/master | 5479546 | Merge pull request #48 from fingolfin/mh/update-ci Update CI configuration to latest | 17 October 2023, 07:13:10 UTC |
refs/heads/wiki | c7bafe5 | Migrating wiki contents from Google Code | 18 May 2015, 22:49:44 UTC |
refs/tags/github | 247db7a | Merge | 04 December 2015, 15:24:21 UTC |
refs/tags/v1.6 | 0630afe | Initial import to Google Code | 22 January 2013, 21:26:19 UTC |
refs/tags/v2.1.11 | dc3cb26 | deleted pdf manual file from repo | 28 May 2021, 05:44:39 UTC |
refs/tags/v2.1.12 | 4eaad0d | Version 2.1.12 | 28 May 2021, 06:06:29 UTC |
refs/tags/v2.1.13 | 022e4a1 | Merge pull request #31 from fingolfin/mh/doc Fix building the documentation | 09 March 2022, 23:56:55 UTC |
refs/tags/v2.1.14 | 1eb06dc | Merge branch 'master' of github:simpcomp-team/simpcomp | 17 March 2022, 23:07:49 UTC |