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
695 stars 124 forks source link

Core changed requested by Language Server for Alloy #164

Closed pkriens closed 2 years ago

pkriens commented 2 years ago

Arash Sahebolamri submitted PR #162. This provides a Language Server for Alloy. However, this PR made some significant changes in the core.

I've separated the core changes from the Language Server changes and put the server changes in a separate project.

This PR introduces an Assert class and makes many small changes.

grayswandyr commented 2 years ago

Pinging @nmacedo who's more relevant than me.

pkriens commented 2 years ago

@aleksandarmilicevic @nmacedo @grayswandyr can anyone approve this? I don't think the changes are very extensive, nor seem to influence the language, and I need them to integrate the LSP project ... and then the shell.