Created by Mads Chr. Olesen and last modified
Get this branch:
bzr branch lp:~opaal-developers/opaal/opaal-gensuccgen-refactor
Members of opaal developers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

opaal developers

Recent revisions

94. By Mads Chr. Olesen

Last day of work code dump. Nothing works :-)

93. By Mads Chr. Olesen

Small refactor

92. By Mads Chr. Olesen

Cleanup: disallow s['locs'], remove old DBM tests (maybe re-instate later?)

91. By Mads Chr. Olesen

Integer clattices, MaxInteger + MinInteger

90. By Mads Chr. Olesen

Disable ltsmin testcase, as ltsmin intermittently fails on always alloc'ing 4GB mem

89. By Mads Chr. Olesen

Refactor and fix broadcast dynamic sync

88. By Mads Chr. Olesen

Fix dynamic 2-way sync receivers

87. By Mads Chr. Olesen

Big refactoring: Remove the old SuccGen, and move all test cases to the new GenS
uccGen. Remove all outdated binaries (distributed variants, GUI). For now there is a single regression re. broadcast dynamic sync giving 2 failing unit tests.

86. By Mads Chr. Olesen

Use CodeGen for update statements and invariants. Get rid of a lot of old util code.

85. By Mads Chr. Olesen

Fix test coverage script

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.