Next | Query returned 6 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2023-09-01 12:17:26 by Nia Alarie | Files touched by this commit (1)
Log message:
gappa: Assumes compiler defaults to C++11.
   2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458)
Log message:
math: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes
   2021-10-07 16:28:36 by Nia Alarie | Files touched by this commit (458)
Log message:
math: Remove SHA1 hashes for distfiles
   2020-07-17 19:30:14 by Taylor R Campbell | Files touched by this commit (6)
Log message:
math/gappa, math/sollya: Cite upstreamed patches.
   2020-05-24 00:59:31 by Taylor R Campbell | Files touched by this commit (1)
Log message:
Fix patchsum.
   2020-05-19 23:42:29 by Taylor R Campbell | Files touched by this commit (5)
Log message:
gappa: Import gappa-1.3.5 as math-gappa

Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.

Next | Query returned 6 messages, browsing 1 to 10 | previous