https://github.com/firefighterduck/minihl

Formal methods playgorund for MiniHeapLang language.
https://github.com/firefighterduck/minihl

Last synced: about 1 month ago
JSON representation

Formal methods playgorund for MiniHeapLang language.

• Host: GitHub
• URL: https://github.com/firefighterduck/minihl
• Owner: firefighterduck
• Created: 2022-06-06T14:53:34.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2022-06-10T14:59:58.000Z (about 2 years ago)
• Last Synced: 2024-02-11T14:01:14.301Z (5 months ago)
• Language: Rust
• Size: 22.5 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Lists

• awesome-rust-formalized-reasoning - minihl - formal methods playgorund for MiniHeapLang language. (Programming Language / Libraries)

README

        
A simple toy implementation of the HeapLang language with a Hindley-Milner type system and an automatic solver for separation logic based program specifications (tbd).