Home My Page Projects Tom
Summary Activity Tracker Lists Tasks Docs News SCM Files Mediawiki

Activity

Activity:
Start Date:
End Date:
Time Activity By
2016-02-10
14:49:54 Source Code scm commit: example paper (commit d420e59)
2016-02-08
17:53:52 Source Code scm commit: example from paper intro (commit 4378d73)
2016-02-05
17:17:17 Source Code scm commit: examples with vars (commit 3ea312b)
16:46:32 Source Code scm commit: example from otrs intro (commit 588a7d2)
10:00:46 Source Code scm commit: examples (commit e1da96d)
09:57:10 Source Code scm commit: examples (commit 49ddb5c)
09:56:49 Source Code scm commit: examples (commit 382cdb3)
2016-02-03
17:23:30 Source Code scm commit: fix super-minimize (handle alias). consider Bottom (commit d447d2b)
2016-02-02
13:00:06 Source Code scm commit: minor (commit c38e64a)
08:53:52 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit 25c1fb2)
07:24:01 Source Code scm commit: minimization during complement (commit a56893e)
2016-02-01
17:26:37 Source Code scm commit: fix a bug in typing rule (commit 0794c49)
13:06:39 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit bbc86e8)
13:05:33 Source Code scm commit: minor (commit 6f8f403)
11:06:06 Source Code scm commit: add example (commit af7b079)
09:55:23 Source Code scm commit: add example and extend RB TRee (commit 352e141)
2016-01-31
10:46:12 Source Code scm commit: add example (commit 287dcba)
2016-01-28
15:35:51 Source Code scm commit: new minimize starting from least general pattern: much more efficient (commit 259f6c1)
14:46:01 Source Code scm commit: implement new idea for global minimum (commit 4a31081)
2016-01-26
16:04:23 Source Code scm commit: experiments with set intersection (commit 6467ee1)
2016-01-22
17:45:31 Source Code scm commit: add a cache (commit 380e3d1)
2016-01-20
10:47:36 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//tom/tom merge (commit 58246f4)
10:47:33 Source Code scm commit: simplify (commit 37012d8)
10:19:11 Source Code scm commit: minor (commit 32591d2)
10:15:45 Source Code scm commit: minor (commit 8afe23a)
09:21:14 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/tom/tom (commit 0500bca)
2016-01-18
16:42:29 Source Code scm commit: add saturation/global minimize (commit 68eeaa1)
2016-01-16
06:36:00 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/tom/tom (commit 4f8e732)
2016-01-15
10:59:32 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit 157a413)
10:59:23 Source Code scm commit: add (commit 469fd68)
10:43:57 Source Code scm commit: * Happy new year \o/ (update copyright from 2015 to 2016) (commit 52fa9e9)
2016-01-14
18:21:36 Source Code scm commit: pretit refactoring (commit 9ec79cd)
11:14:24 Source Code scm commit: super optim (commit db2d877)