search

AlloyTools / org.alloytools.alloy

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.
Other
720 stars 122 forks source link

Bring back `Expr.historically` and `Expr.after` #195

Closed serras closed 1 year ago

serras commented 1 year ago

It seems that https://github.com/AlloyTools/org.alloytools.alloy/commit/418cc5e618ee32cc201f393aeb34845340d4f55c#diff-71b4f33d95f6532c8c9384b77f2cbdb2dc0df033f4c20e3e1600456d0b800a66 accidentally erased two methods from Expr. It seems by accident because the comments were not removed alongside them.

pkriens commented 1 year ago

I can restore them but they do not seem to be used anywhere?

serras commented 1 year ago

We’re using Alloy as a library for an internal project, and this broke our build. Furthermore, I think it makes sense to have a function per operator, or none at all, not just some selection.

pkriens commented 1 year ago

Fixed in #20