Add search for alloy source files in paths form ALLOYTOOLS_SEARCH_PATH…

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

712 stars 123 forks source link

Add search for alloy source files in paths form ALLOYTOOLS_SEARCH_PATH… #171

Closed vasil-sd closed 1 year ago

vasil-sd commented 2 years ago

Support for search paths for alloy source files in ALLOYtOOLS_SEARCH_PATH
Add caching of parsed modules (a huge speedup for for hierarchical specs)

pkriens commented 2 years ago

Could you add a few test cases?

pkriens commented 1 year ago

any activity here?

pkriens commented 1 year ago

Closing for no activity. Please reopen if you want to reopen it again