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

General Updates #354

Closed yushan87 closed 3 years ago

yushan87 commented 3 years ago
  1. Updated license year (2021)
  2. Updated various plugins (with fixes to DOTExporter due to plugin upgrade)