search

ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
https://www.cs.clemson.edu/resolve/
BSD 3-Clause "New" or "Revised" License
24 stars 16 forks source link

Compiler Improvements and Fixes #333

Closed yushan87 closed 6 years ago

yushan87 commented 6 years ago

This contains the following improvements and fixes:

  1. Sanity checks for type correspondences when it involves shared variables.
  2. New absyn nodes for Receptacle type expressions.
  3. Substitution and typing error fixes.