pool/flocq
SHA256
2
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 1f73c35c7d Accepting request 1189653 from science factory Dominique Leuenberger 2024-07-26 14:15:44 +0000
  • 3c40234354 - Polish change log. Aaron Puchert 2024-07-25 19:12:53 +0000
  • 49f84d1916 - Update to version 4.2.0. * added SF2B' as a proof-free variant of SF2B * fixed installation of Pff2Flocq * ensured compatibility from Coq 8.12 to 8.20 Aaron Puchert 2024-07-25 18:48:59 +0000
  • b6a391684c Accepting request 1142145 from science Ana Guerrero 2024-01-29 21:28:53 +0000
  • 04b5bc9f8e - Update to version 4.1.4. * Ensured compatibility from Coq 8.12 to 8.19. Aaron Puchert 2024-01-28 22:42:01 +0000
  • 5b58d0516d Accepting request 1111804 from science Dominique Leuenberger 2023-09-20 11:25:46 +0000
  • 4678d28ed1 - Update to version 4.1.2. * Ensured compatibility from Coq 8.12 to 8.18. - Update to version 4.1.3. * Avoided breaking users of IEEE754.PrimFloat. Aaron Puchert 2023-09-17 18:50:28 +0000
  • 5ccfa0be7d Accepting request 1075337 from science Dominique Leuenberger 2023-03-29 21:28:36 +0000
  • a3d0bd4298 - Update to version 4.1.1. * Ensured compatibility from Coq 8.12 to 8.17. Aaron Puchert 2023-03-29 19:03:02 +0000
  • 8e260ab6a0 Accepting request 1061435 from science Dominique Leuenberger 2023-01-27 09:16:36 +0000
  • 2aa2942b02 - Build with ocaml-rpm-macros to get proper Requires and Provides for flocq-devel. This should prevent incompatibilities with other Ocaml libraries when building native objects against flocq-devel. Aaron Puchert 2023-01-26 23:09:12 +0000
  • 1760efd0d3 Accepting request 986285 from science Dominique Leuenberger 2022-07-02 13:34:34 +0000
  • 63f4b9f993 Accepting request 986070 from home:bmwiedemann:branches:science Lars Vogdt 2022-07-01 19:41:32 +0000
  • 16bcba5dfb Accepting request 980558 from science Dominique Leuenberger 2022-06-03 12:16:51 +0000
  • c871722689 - Reword changelog. Aaron Puchert 2022-06-02 23:44:38 +0000
  • 7afcbc2971 - Fix patching of coqdoc invocation, make it more robust. - Patch up coqdoc also for older Coq versions since they don't understand --coqlib_url. Aaron Puchert 2022-06-02 22:19:12 +0000
  • 387644463d - Update to version 4.1.0. * Added Bnearbyint and Btrunc in IEEE754. * Ensured compatibility from Coq 8.12 to 8.16. Aaron Puchert 2022-06-02 21:57:28 +0000
  • b09939b9fc Accepting request 974213 from science Dominique Leuenberger 2022-05-02 14:25:00 +0000
  • 201214b7cf Accepting request 974183 from home:aaronpuchert Atri Bhattacharya 2022-05-01 19:52:45 +0000