Home My Page Projects Gappa
Summary Activity Tracker News SCM Files

Activity

Activity:
Start Date:
End Date:
Time Activity By
2016-07-20
16:02:45 Files FRS Release gappalib-coq - 1.3.0 Guillaume Melquiond
15:49:45 Files FRS Release gappa - 1.3.0 Guillaume Melquiond
15:46:25 Source Code scm commit: New release. (commit bc5bc6a)
13:27:21 Source Code scm commit: Support abs_fix and neg_fix in the Coq backend. (commit 4d71af8)
09:08:04 Source Code scm commit: Disable warnings when automatic bisection does not succeed. (commit 9b1e8e9)
06:07:22 Source Code scm commit: Choose an expression with a high occurrence count for automatic bisection. (commit 33cc1a9)
05:57:00 Source Code scm commit: Move default four-part split to the parser. (commit 4ed52e1)
2016-07-19
16:34:40 Source Code scm commit: Perform case splits even when there are no known bounds on the variable. (commit 59988ba)
13:25:15 Source Code scm commit: Support splitting half-bounded intervals. (commit d7999e3)
2016-07-18
19:11:27 Source Code scm commit: Generate proper Coq proofs when splitting half-bounded intervals. (commit 8d54274)
06:14:33 Source Code scm commit: Make sure only bounded intervals are used during computations. (commit 9ff71f5)
05:11:00 Source Code scm commit: Speed up merging of dichotomy graphs in the case where there are only two of them. (commit f125d62)
2016-07-04
14:54:12 Source Code scm commit: Fix imports for Coq 8.5. (commit 8aefc64)
2016-07-02
15:17:11 Source Code scm commit: Add support for FLX formats (no underflow). (commit fc5a1ad)
2016-07-01
15:37:09 Source Code scm commit: Fix obsolete documentation. (commit cef373c)
15:32:27 Source Code scm commit: Update copyright years. (commit 5234a0c)
13:15:22 Source Code scm commit: Dump actual differences when checking for equalities. (commit 175a816)
13:07:27 Source Code scm commit: Perform constant factor simplification when checking equalities. (commit d5a6f18)
10:12:56 Source Code scm commit: Improve handling of non-integer constants when verifying hints. (commit 9dfc775)
2016-06-29
22:31:55 Source Code scm commit: Properly handle huge coefficients in rewriting check. (commit 3829575)