Home My Page Projects Gappa
Summary Activity Tracker News SCM Files

Activity

Activity: Start Date: End Date:

Time Activity By
2015-05-19
11:26:47 News News Gappa 1.2.0 releasedGuillaume Melquiond
09:31:00 Files FRS Release 1.1.0Guillaume Melquiond
09:25:00 Files FRS Release 1.2.0Guillaume Melquiond
09:22:18 Source Code scm commit: New release. (commit 3c23459)
08:56:37 Source Code scm commit: Change square_xibu to a proper lemma now that absolute values are no longer created. (commit c5a26a3)
2015-05-18
13:12:50 Source Code scm commit: Do not consider absolute values that are not part of the original problem. (commit 1a9575b)
12:38:42 Source Code scm commit: Remove useless approximation relations. (commit d6a1f9c)
12:14:01 Source Code scm commit: Remove dead code. (commit 393947f)
12:13:50 Source Code scm commit: Handle specially the multiplication by a power of two. (commit 03ad0f0)