HEAD | bdb702d | Merge pull request #203 from coq-community/coq_18590 Adapt to https://github.com/coq/coq/pull/18590 | 01 February 2024, 10:26:39 UTC |
refs/heads/FixAdmitted | b363780 | Remove dimensions in rasters | 30 September 2020, 19:16:09 UTC |
refs/heads/FixExamples | 4342122 | Make examples compile again | 09 January 2021, 14:00:05 UTC |
refs/heads/RelicenseLGPL | c5f5126 | Replace CoRN's license by Coq's license Replace license notices Update meta.yml | 31 May 2020, 11:04:02 UTC |
refs/heads/master | bdb702d | Merge pull request #203 from coq-community/coq_18590 Adapt to https://github.com/coq/coq/pull/18590 | 01 February 2024, 10:26:39 UTC |
refs/heads/robbert/coq_pr6155 | de2fe65 | Get rid of `'` to provide compatibility with https://github.com/coq/coq/pull/6155 This change is backwards compatible. | 08 March 2018, 21:30:34 UTC |
refs/heads/spitters-patch-1 | 110c845 | Update README.md | 06 August 2020, 11:23:53 UTC |
refs/heads/v8.5 | ad1f9cf | Merge pull request #34 from siddharthist/travis travis: fix cached builds | 07 November 2017, 08:53:13 UTC |
refs/heads/v8.6 | 8a64c76 | Merge pull request #42 from letouzey/external-bignums corn : switch to the external Bignums library | 27 October 2017, 16:07:50 UTC |
refs/tags/1.2.0 | 7f2aab9 | Merge pull request #43 from c-corn/v8.6 V8.6 | 27 October 2017, 20:19:50 UTC |
refs/tags/8.12.0 | 0cf283c | Merge pull request #128 from coq-community/PlotSubsets Proof that plots of located subsets cover the subsets | 03 September 2020, 07:38:23 UTC |
refs/tags/8.13.0 | af4b86e | Merge pull request #161 from Zimmi48/update-ci-8.13 Update meta.yml and CI to test Coq 8.13. | 07 September 2021, 14:21:48 UTC |
refs/tags/8.16.0 | d4e6db7 | Update for Coq 8.16 compatibility testing. | 20 August 2022, 10:56:18 UTC |
refs/tags/8.18.0 | a6158dc | Merge pull request #201 from coq-community/coq-8.18 Update testing to Coq 8.18. | 16 October 2023, 15:39:53 UTC |