optimization-correctness-verifier

Solid

Verify correctness of compiler optimizations using formal methods

AI & Automation 814 stars 53 forks Updated today MIT

Install

View on GitHub

Quality Score: 93/100

Stars 20%

Recency 20%

100

Frontmatter 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100

Skill Content

# Optimization Correctness Verifier ## Purpose Provides expert guidance on verifying semantic preservation of compiler optimizations. ## Capabilities - Semantic preservation checking - Alive2-style verification - Bisimulation proof construction - Counterexample generation - Optimization refinement suggestions - Undefined behavior handling ## Usage Guidelines 1. **Optimization Specification**: Define source and target patterns 2. **Precondition Identification**: Identify required preconditions 3. **Verification**: Check semantic equivalence 4. **Counterexample Analysis**: Analyze any counterexamples 5. **Refinement**: Refine optimization if needed ## Tools/Libraries - Alive2 - CompCert - SMT solvers - Vellvm

Details

Author: a5c-ai
Repository: a5c-ai/babysitter
Created: 4 months ago
Last Updated: today
Language: JavaScript
License: MIT

Related Skills

AI & Automation Featured

videodb

See, Understand, Act on video and audio. See- ingest from local files, URLs, RTSP/live feeds, or live record desktop; return realtime context and playable stream links. Understand- extract frames, build visual/semantic/temporal indexes, and search moments with timestamps and auto-clips. Act- transcode and normalize (codec, fps, resolution, aspect ratio), perform timeline edits (subtitles, text/image overlays, branding, audio overlays, dubbing, translation), generate media assets (image, audio, video), and create real time alerts for events from live streams or desktop capture.

196,640 Updated 2 days ago

affaan-m

AI & Automation Featured

ck

Persistent per-project memory for Claude Code. Auto-loads project context on session start, tracks sessions with git activity, and writes to native memory. Commands run deterministic Node.js scripts — behavior is consistent across model versions.

196,640 Updated 2 days ago

affaan-m

AI & Automation Featured

browser

Web browser automation with AI-optimized snapshots for claude-flow agents

55,973 Updated today

ruvnet