Imported atoms break table view in evaluator
nmacedo opened this issue · comments
Nuno Macedo commented
Nuno Macedo commented
Nuno Macedo commented
Fixed, was a problem with the regex identifying tuple sets to be converted into tables.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
nmacedo opened this issue · comments
Fixed, was a problem with the regex identifying tuple sets to be converted into tables.