https://github.com/runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework
https://github.com/runtimeverification/haskell-backend

Last synced: 21 days ago
JSON representation

The symbolic execution engine powering the K Framework

• Host: GitHub
• URL: https://github.com/runtimeverification/haskell-backend
• Owner: runtimeverification
• License: bsd-3-clause
• Created: 2017-01-11T06:07:30.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2024-04-12T14:12:57.000Z (about 1 year ago)
• Last Synced: 2024-04-14T00:59:51.828Z (about 1 year ago)
• Language: Haskell
• Homepage:
• Size: 103 MB
• Stars: 202
• Watchers: 38
• Forks: 39
• Open Issues: 141
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• my-awesome - runtimeverification/haskell-backend - 04 star:0.2k fork:0.0k The symbolic execution engine powering the K Framework (Haskell)