lp:~opaal-developers/opaal/opaal-gensuccgen-refactor

Created by Mads Chr. Olesen on 2014-04-08 and last modified on 2016-03-31
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

Owner:
opaal developers
Project:
opaal
Status:
Development

Recent revisions

94. By Mads Chr. Olesen on 2016-03-31

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

93. By Mads Chr. Olesen on 2015-11-10

Small refactor

92. By Mads Chr. Olesen on 2015-10-28

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

91. By Mads Chr. Olesen on 2015-10-26

Integer clattices, MaxInteger + MinInteger

90. By Mads Chr. Olesen on 2015-10-20

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

89. By Mads Chr. Olesen on 2015-10-15

Refactor and fix broadcast dynamic sync

88. By Mads Chr. Olesen on 2015-10-15

Fix dynamic 2-way sync receivers

87. By Mads Chr. Olesen on 2014-05-28

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 on 2014-05-07

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

85. By Mads Chr. Olesen on 2014-05-07

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:
lp:opaal
This branch contains Public information 
Everyone can see this information.

Subscribers