https://github.com/hargonix/cpa.lean

An implementation of Configurable Program Analysis in Lean for a univeristy project
https://github.com/hargonix/cpa.lean

Last synced: about 2 months ago
JSON representation

An implementation of Configurable Program Analysis in Lean for a univeristy project

• Host: GitHub
• URL: https://github.com/hargonix/cpa.lean
• Owner: hargoniX
• License: gpl-3.0
• Created: 2024-06-20T18:23:47.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-06-21T23:03:34.000Z (7 months ago)
• Last Synced: 2024-10-13T13:28:12.904Z (3 months ago)
• Language: Lean
• Size: 34.2 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Cpa

This is an implementation of a couple of algorithms taught by the SoSy Lab @LMU (https://www.sosy-lab.org/).

This implementation is trying to stick as close to the mathematical notation presented in the lectures,

it is not an efficient one or even idiomatic Lean. The purpose of this is merely to have an evaluator

for the algorithms, not an in any way solid real world implementation