krr / IDP / issues / #141 - Propagation for aggregates — Bitbucket

Issue #141 new

Bart Bogaerts created an issue 2012-04-16

We should brainstorm to see which propagations might be possible for aggregates...

Comments (6)

Bart Bogaerts reporter
Hier moet eens naar gekeken worden want nu doet dit gewoon verkeerde dingen!

Bijvoorbeelde de volgende zin:

!t[Table]: HonorTable = t

BigTable(t)

(MinTableSize =< #{guest: SitsAt(guest)=t} =< MaxTableSize)

#{guest: SitsAt(guest)=t} = 0.

Waarbij SitsAt ongekend is, wordt gewoon genegeerd indien propagatie aanstaat
- 2012-05-17T11:46:28+00:00
Broes De Cat
- changed version to 2.0
- 2012-05-18T09:25:06+00:00
Broes De Cat
- changed milestone to Second Release
- 2012-05-18T10:06:12+00:00
Bart Bogaerts reporter
see #141: fixed the bug, was no propagaion bug. Did not implement propagation for aggregates yet

→ 9cdc322ffb50
- 2012-05-18T14:55:44+00:00
Bart Bogaerts reporter
- changed milestone to Later
- 2012-05-18T14:56:05+00:00
Broes De Cat
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:10+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: new

Component: BDDs

Version: 2.0

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!