tree 25c2aff5a7d4dc7c92eb3946cdbd7e9bf6184a36
parent d5f6af629f78643f22e679de2656609fce116218
author Joachim Bingel <joa.bingel@gmail.com> 1411378986 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1411378986 +0000

Major change:
- positions as allowed frames plus shared classes between operands
- inversion classRef operation to support NHIT operator
- 'reset' attribute for references