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

Activity

Activity: Start Date: End Date:

Time Activity By
2015-05-20
06:40:07 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit 82d5325)
2015-05-19
18:15:13 Source Code scm commit: add a typechecker (commit 4d07e73)
14:59:17 Source Code scm commit: updated handwritten ListStack factory (commit f03cdc8)
14:06:56 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit bed2615)
14:06:46 Source Code scm commit: support singletons on parameter level (commit e21dc5d)
2015-05-18
16:27:37 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit c325326)
16:27:15 Source Code scm commit: start to add types (commit 0fb1183)
16:24:57 Source Code scm commit: support singletonSize on method level annotation (commit 814e479)
13:48:21 Source Code scm commit: parse @Enumerate instead of @EnumerateGenerator (commit 1ec2871)
12:43:50 Source Code scm commit: replace singleton attribute with singletonSize (commit 66afb75)
12:10:38 Source Code scm commit: use @Enumerate instead of @EnumerateGenerator on constructor level (commit 6506385)
09:49:00 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit db4767d)
09:44:41 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit 7f7041c)
2015-05-16
07:24:10 Source Code scm commit: remove dead code from Compiler (commit 98647dd)
2015-05-15
15:19:57 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit c324706)
14:56:20 Source Code scm commit: cosmetics Signature (commit 5895915)
14:47:06 Source Code scm commit: cosmetics Signature (commit 21d17b2)
14:18:21 Source Code scm commit: delete Parser class and move parse method into FactortGenerator (commit a52de5b)
13:54:44 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit 4aba23c)
13:53:20 Source Code scm commit: cosmetique RuleCompiler (commit e14bae0)
13:51:39 Source Code scm commit: renaming param wrappers (commit 5279fc9)
13:45:30 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit c6ceedd)
13:45:07 Source Code scm commit: renaming generator wrappers (commit 70a6ba4)
13:37:30 Source Code scm commit: modify code indentation (commit 66e7337)
12:55:14 Source Code scm commit: example non-linear rule; generates eq (commit eb9e1f6)
12:48:24 Source Code scm commit: remove dead code (commit a45e2da)
12:42:02 Source Code scm commit: cleaning (commit e5dff39)
09:12:30 Source Code scm commit: integrate signature + rules for the new syntax; for the moment only one eq since otherwise not compiled correctly (in TOM) (commit 961df14)
2015-05-14
13:38:00 Source Code scm commit: switch to new syntax for signatures; solve conflicts (commit 6bbd4f6)
13:33:39 Source Code scm commit: switch to new syntax for signatures (commit d622a1b)
2015-05-13
18:09:46 Source Code scm commit: switch to new syntax for signatures (commit bbe47c8)
16:35:48 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//tom/tom (commit 3cffb58)
16:35:26 Source Code scm commit: strategy expansion done (commit cc99850)
16:31:56 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit 3909c7e)
16:31:45 Source Code scm commit: complete auto-generated ListStackFactory ignoring annotations attributes (commit b574a88)
13:52:54 Source Code scm commit: intermediary version (commit 4c7df51)
13:27:47 Source Code scm commit: dummy code to test (commit 692897d)
13:25:27 Source Code scm commit: instantiate strategy (commit f4ee2a4)
11:38:26 Source Code scm commit: bot -> bottom (commit dbbc0c9)
10:19:07 Source Code scm commit: ajout de eq/bot (commit 1a00b4d)
06:57:52 Source Code scm commit: exception (commit 3d8ecb4)
2015-05-12
17:51:45 Source Code scm commit: extended signature with built-in symbols; eq and Bottom to be added generically (commit dd57f20)
14:53:03 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit 86d8136)
14:52:57 Source Code scm commit: start using the new syntx in Compiler (commit a0425fd)
13:50:35 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit bbcf2df)
13:50:24 Source Code scm commit: add method generators (commit f8ab5d1)
08:41:44 Source Code scm commit: compile one TRS per strategy; specify the name of the strategy we want to get the TRS for (commit 12102ec)
07:59:35 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit 8857f1e)
07:59:26 Source Code scm commit: new syntax (commit a767b69)
07:59:14 Source Code scm commit: new syntax (commit fdcb4c3)
06:55:58 Source Code scm commit: change the list of generated rules to a map from strategy name to corresponding TRS (commit 2fb3b07)
05:46:55 Source Code scm commit: replace all Collection by List (commit 1d9f977)
2015-05-11
15:12:44 Source Code scm commit: Merge branch 'master' of ssh://scm.gforge.inria.fr/git/tom/jtom (commit 534dc35)
15:06:35 Source Code scm commit: new parser (commit e4f3013)
14:58:08 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit 3ec58ae)
14:58:02 Source Code scm commit: cleaning (commit 3284a53)
14:11:16 Source Code scm commit: add file (commit 03d8804)
13:51:04 Source Code scm commit: fix compilation for Tom (commit da716a2)
07:44:27 Source Code scm commit: APs replaced in linear TRSs; ATs replaced in TRS; bugs in Tom code generation (commit 3ee0bf1)
2015-05-10
19:45:55 Source Code scm commit: from ordered AP tp ordered TRS (commit a4b0f8c)
06:33:31 Source Code scm commit: debug anti=patterns (commit ad11389)
2015-05-08
17:00:45 Source Code scm commit: separate expandAntiPatterns from Compiler (of strategies) (commit d82916f)
14:56:25 Source Code scm commit: move genAbstractTerm to Tools (commit d982f39)
2015-05-07
15:04:10 Source Code scm commit: test enumerating recursive types (commit bf7199a)
15:02:02 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit cdd243b)
15:01:44 Source Code scm commit: add use cases for simple and mutual recursion (commit cf6f0a1)
14:45:19 Source Code scm commit: trivial refactoring (commit 54658e4)
14:33:00 Source Code scm commit: use declared name for all types of strategies (commit 565c3a2)
14:20:34 Source Code scm commit: dynamic package declaration (commit 94f33d5)
13:54:26 Source Code scm commit: start adding names to defined strategies (commit 76c3036)
07:49:59 Source Code scm commit: don't linearize already linear rules; remove superfluous variables in match (commit 06335a4)
07:42:53 Source Code scm commit: don't linearize already linear rules (commit 6e90ede)
2015-05-06
16:32:20 Source Code scm commit: start changing compileStrat to use the attributes (commit 51f2d8e)
14:54:44 Source Code scm commit: compile is not static any more (commit c2fada7)
11:19:49 Source Code scm commit: call getInstance instead of new (commit 896720f)
07:48:18 Source Code scm commit: start defining the Singleton for the Comoiler (commit 166e284)
07:35:07 Source Code scm commit: remove almost all static from Compiler but no modification in the logics (commit 8b46538)
07:11:27 Source Code scm commit: static versions (commit 3c9cb66)
2015-05-05
15:04:58 Source Code scm commit: compile a (Java) list of strategies into a Collection of rules (commit 51743f3)
14:32:03 Source Code scm commit: generate Java collections for the symbols in the signature(s) and for the strategies (commit a0d829e)
14:29:03 Source Code scm commit: generate Java collections for the symbols in the signature(s) and for the strategies (commit a4d8e78)
09:36:58 Source Code scm commit: move back the annotations for Enumerations and add Room example class (commit fae9d7d)
2015-04-29
16:57:31 Source Code scm commit: Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/tom/tom (commit 88a33fa)
16:57:05 Source Code scm commit: generate factories for Lists (commit 3ca985e)
09:18:11 Source Code scm commit: syntaxe (commit 7480700)
07:36:53 Source Code scm commit: en cours (commit 195fe09)