Timeline


and

Dec 21, 2012:

2:32 PM WikiStart edited by benl
(diff)
2:31 PM WikiStart edited by benl
(diff)
1:38 PM WikiStart edited by benl
(diff)
1:22 PM Language/Core/Lite edited by benl
(diff)
1:22 PM Language/Core/Lite edited by benl
(diff)
1:20 PM Language/Core/Salt edited by benl
(diff)
1:18 PM Language/Core/Lite edited by benl
(diff)
1:15 PM Language/Core/Lite edited by benl
(diff)
1:14 PM Language/Core/Eval edited by benl
(diff)
1:12 PM Language/Core/Eval edited by benl
(diff)
1:05 PM Language/Core/Eval edited by benl
(diff)
1:02 PM Language/Core/Eval created by benl
12:53 PM Language/Core edited by benl
(diff)
12:51 PM Language/Core/Salt edited by benl
(diff)
12:43 PM Language/Core/Salt edited by benl
(diff)
12:40 PM Language/Core/Salt edited by benl
(diff)
12:39 PM Language/Core/Salt edited by benl
(diff)
12:37 PM Language/Core/Salt edited by benl
(diff)
12:29 PM Language/Core/Salt edited by benl
(diff)
12:27 PM Language/Core/Salt edited by benl
(diff)
12:24 PM Language/Core/Salt edited by benl
(diff)
12:15 PM Language/Core/Salt edited by benl
(diff)
11:56 AM Language/Core/Salt edited by benl
(diff)
11:52 AM Language/Core/Salt edited by benl
(diff)
11:48 AM Language/Core/Salt edited by benl
(diff)
11:43 AM Language/Core/Salt edited by benl
(diff)
11:32 AM Language/Core/Salt edited by benl
(diff)
11:23 AM Language/Core/Lite edited by benl
(diff)
11:16 AM Language/Core/Lite edited by benl
(diff)
11:15 AM Language/Core/Salt created by benl
11:11 AM Language/Core edited by benl
(diff)
11:09 AM Language/Core/Lite edited by benl
(diff)
11:08 AM Language/Core/Lite edited by benl
(diff)
11:07 AM Language/Core/Lite edited by benl
(diff)
11:06 AM Language/Core/Variables edited by benl
(diff)
11:06 AM Language/Core/Variables edited by benl
(diff)
11:04 AM Language/Core/Lite edited by benl
(diff)
11:04 AM Language/Core/Lite edited by benl
(diff)
10:59 AM Language/Core/Lite edited by benl
(diff)
10:53 AM Language/Core/Lite edited by benl
(diff)
10:42 AM Language/Core/Lite edited by benl
(diff)
10:40 AM Language/Core edited by benl
(diff)
10:38 AM Language/Core/Lite created by benl
10:38 AM Language/Core edited by benl
(diff)
10:36 AM Language/Core edited by benl
(diff)
10:34 AM Language/Core edited by benl
(diff)
10:24 AM Language/Core edited by benl
(diff)
10:18 AM Language/Core edited by benl
(diff)
7:56 AM WikiStart edited by benl
(diff)
7:55 AM WikiStart edited by benl
(diff)
7:45 AM Development/CodeConventions edited by benl
(diff)
7:43 AM Development/CodeConventions edited by benl
(diff)
7:32 AM Tutorial/Lite/Optimisation edited by benl
(diff)
7:32 AM WikiStart edited by benl
(diff)
6:59 AM WikiStart edited by benl
(diff)
6:55 AM Tutorial/Lite/Optimisation edited by benl
(diff)
6:51 AM Tutorial/Lite/Optimisation edited by benl
(diff)
6:32 AM Tutorial/Lite/Optimisation edited by benl
(diff)
6:11 AM Tutorial/Lite/Optimisation edited by benl
(diff)
5:20 AM Ticket #294 (Code generator bugs with transformed Reverse program.) closed by benl
fixed

Dec 20, 2012:

4:02 AM Ticket #294 (Code generator bugs with transformed Reverse program.) created by benl
For demo/Lite/Reverse {{{ddc -load Main.dcl -with Main.dcl -trans …

Dec 19, 2012:

7:00 AM Tutorial/Lite/Optimisation edited by benl
(diff)
6:59 AM Tutorial/Lite/Optimisation edited by benl
(diff)
6:38 AM Alpha edited by benl
(diff)
6:20 AM WikiStart edited by benl
(diff)
6:19 AM Language/Transforms edited by benl
(diff)
6:19 AM Language edited by benl
(diff)
6:18 AM Language/Transforms created by benl
6:12 AM Tutorial edited by benl
(diff)
6:12 AM Tutorial edited by benl
(diff)
6:09 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:08 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:07 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:05 AM Tutorial/Eval/Expressions edited by benl
(diff)
6:04 AM WikiStart edited by benl
(diff)
6:04 AM WikiStart edited by benl
(diff)

Dec 13, 2012:

10:55 AM WikiStart edited by benl
(diff)
10:54 AM Tutorial/Lite/Optimisation created by benl

Dec 10, 2012:

10:25 PM WikiStart edited by benl
(diff)
1:46 PM WikiStart edited by benl
(diff)
1:44 PM Ticket #293 (Rewrite rule BuildFold test exports undefined binding.) closed by benl
fixed
1:44 PM Ticket #282 (Rewrite rule lookup code doesn't distinguish between name levels) closed by benl
fixed

Dec 7, 2012:

10:44 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:43 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:42 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:36 AM WikiStart edited by benl
(diff)
10:35 AM Tutorial/Eval/Expressions edited by benl
(diff)
10:35 AM WikiStart edited by benl
(diff)
10:32 AM WikiStart edited by benl
(diff)
10:31 AM Language edited by benl
(diff)
10:31 AM Language edited by benl
(diff)
10:31 AM Language created by benl
10:29 AM Language/Core edited by benl
(diff)
10:29 AM Language/Core/Modules created by benl

Dec 5, 2012:

1:14 PM WikiStart edited by benl
(diff)
1:12 PM WikiStart edited by benl
(diff)
1:08 PM WikiStart edited by benl
(diff)
1:07 PM WikiStart edited by benl
(diff)
1:06 PM WikiStart edited by benl
(diff)
1:03 PM Language/Ponies edited by benl
(diff)
1:02 PM Development/FixingNewbie edited by benl
(diff)
12:50 PM WikiStart edited by benl
(diff)
12:47 PM Development/Patches edited by benl
(diff)
12:44 PM Development/Patches edited by benl
(diff)
12:40 PM Development/ReleaseProcess edited by benl
(diff)
12:39 PM Development/ReleaseProcess edited by benl
(diff)
12:38 PM Development/DevBuilds edited by benl
(diff)
12:38 PM Development/Haddock edited by benl
(diff)
12:37 PM Development/Debugging edited by benl
(diff)
12:35 PM Development/Debugging edited by benl
(diff)
12:35 PM Development/Debugging edited by benl
(diff)
12:32 PM Development/CodeConventions edited by benl
(diff)
12:31 PM Development/CodeConventions edited by benl
(diff)
12:26 PM Development/CodeConventions edited by benl
(diff)
12:25 PM Development/CodeConventions edited by benl
(diff)
12:24 PM Development/CodeConventions edited by benl
(diff)
12:07 PM Development/CodeConventions edited by benl
(diff)
12:06 PM Development/CodeConventions edited by benl
(diff)
12:03 PM Development/CodeConventions edited by benl
(diff)
11:52 AM WikiStart edited by benl
(diff)
11:51 AM Development/Haddock edited by benl
(diff)
11:48 AM Development/Haddock edited by benl
(diff)
11:30 AM Development/Haddock edited by benl
(diff)
11:28 AM Development/BuildBots edited by benl
(diff)
11:27 AM Development/DevBuilds edited by benl
(diff)
11:26 AM Development/DevBuilds edited by benl
(diff)
11:25 AM Development/Testing edited by benl
(diff)
11:25 AM Development/Testing edited by benl
(diff)
11:22 AM WikiStart edited by benl
(diff)
11:21 AM Development/Testing edited by benl
(diff)
6:39 AM Alpha edited by benl
(diff)
6:39 AM Alpha/Demos created by benl
6:38 AM Development/Testing edited by benl
(diff)
6:38 AM Alpha edited by benl
(diff)
6:37 AM WikiStart edited by benl
(diff)
6:36 AM Alpha edited by benl
(diff)
6:35 AM WikiStart edited by benl
(diff)
6:35 AM WikiStart edited by benl
(diff)
6:34 AM Alpha edited by benl
(diff)
6:32 AM Alpha edited by benl
(diff)
6:31 AM Alpha created by benl
6:30 AM WikiStart edited by benl
(diff)
6:29 AM Alpha/Language/Source edited by benl
(diff)
6:27 AM WikiStart edited by benl
(diff)
6:27 AM Alpha/Language edited by benl
(diff)
6:23 AM WikiStart edited by benl
(diff)
6:22 AM WikiStart edited by benl
(diff)

Dec 4, 2012:

2:21 PM Development/ReleaseProcess edited by benl
(diff)
12:13 PM WikiStart edited by benl
(diff)

Dec 2, 2012:

12:02 PM Development/ReleaseProcess edited by benl
(diff)
12:01 PM Development/ReleaseProcess edited by benl
(diff)
11:55 AM Development/CodeConventions edited by benl
(diff)
11:50 AM Development/CodeConventions edited by benl
(diff)
11:36 AM Ticket #292 (The -to-salt and -to-c passes don't run optimisations with -O) closed by benl
fixed
11:27 AM Ticket #293 (Rewrite rule BuildFold test exports undefined binding.) created by benl
It exports foldrAndBuild which isn't defined.
11:25 AM Ticket #291 (Check that exported names are actually defined.) closed by benl
fixed
6:27 AM Ticket #292 (The -to-salt and -to-c passes don't run optimisations with -O) created by benl
This got broken when refactoring the driver stages
6:26 AM Ticket #291 (Check that exported names are actually defined.) created by benl
If they are defined we check the types of the export signature, but …
6:24 AM Ticket #290 (Evaluator doesn't preserve closure typing.) created by benl
Typing L1# doesn't reveal the Use R1# closure term.
6:14 AM Ticket #262 (Transitive inlining fails with -to-c) closed by benl
fixed

Nov 25, 2012:

8:14 AM Ticket #279 (Rewrite rule type matcher doesn't handle type sums) closed by amosrobinson
fixed: Fixed. Simplified the matchT function too. It was originally keeping a …
6:37 AM Ticket #278 (Snip transform doesn't handle over applications) closed by benl
fixed

Nov 24, 2012:

5:06 AM Ticket #283 (Lite to Salt transform doesn't check for partial application) closed by benl
fixed
4:37 AM Ticket #257 (Add types of bindings used by inlined functions to imports list) closed by benl
duplicate
4:35 AM Ticket #256 (Do fragment compliance check for nested functions.) closed by benl
fixed
4:11 AM Ticket #251 (Fix nested case expressions that assign to nothing binders) closed by benl
fixed
2:44 AM Ticket #265 (Clean up intermediate build files) closed by benl
fixed
1:36 AM Ticket #255 (Anonymisation transform doesn't work with letregions construct) closed by benl
fixed
1:01 AM Ticket #268 (Race in 'war' test driver when running shell scripts) closed by benl
fixed
Note: See TracTimeline for information about the timeline view.