Home My Page Projects Gappa
Summary Activity Tracker News SCM Files

Activity

Activity: Start Date: End Date:

Time Activity By
2015-03-15
20:32:17 Source Code scm commit: Fix incorrect rounding in compose_relative_inv. (commit ac7cf6c)
19:28:11 Source Code scm commit: Reimplement proof_tree::verify on top of try_simplify. (commit 50152c0)
17:06:19 Source Code scm commit: Remove the property version of find_proof. (commit 1de2102)
2015-03-14
16:48:53 Source Code scm commit: Add some rewriting rules for reverting opp and square. (commit 5f71208)
07:43:06 Source Code scm commit: Properly propagate the remove-right-bound property when merging graphs. (commit 0b13023)
07:40:26 Source Code scm commit: Systematically try to merge graphs when hypotheses are contradictory. (commit 905716d)
2015-03-13
18:57:11 Source Code scm commit: Do not generate bnd_of_bnd_abs in the contradictory case. (commit b5cf27d)
2015-03-12
20:25:15 Source Code scm commit: Add documentation for the new rewriting rules. (commit 6eaed12)
19:52:30 Source Code scm commit: Add Coq signatures for the new rewriting rules. (commit add4df9)
19:52:05 Source Code scm commit: Remove the redundant hints from the testsuite and the documentation. (commit 3b999fb)
19:51:42 Source Code scm commit: Implement reverse operations using rewriting rules. (commit 4ec281d)
2015-03-11
22:58:24 Source Code scm commit: Add support for rewriting rules matching on user-defined expressions. (commit a63ebf8)
15:59:28 Source Code scm commit: Offer an alternate way of filling scheme holes, based on user-defined expressions. (commit 23ea12b)
13:05:48 Source Code scm commit: Make the user-defined expressions global. (commit 766718d)