https://github.com/vnrst/Yuga

Repository for ICSE 2024 submission
https://github.com/vnrst/Yuga

Last synced: 9 months ago
JSON representation

Repository for ICSE 2024 submission

• Host: GitHub
• URL: https://github.com/vnrst/Yuga
• Owner: vnrst
• Fork: true (sslab-gatech/Rudra)
• Created: 2022-11-11T07:00:34.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-04-01T04:21:20.000Z (about 2 years ago)
• Last Synced: 2024-04-02T04:26:57.146Z (about 2 years ago)
• Language: Rust
• Homepage:
• Size: 1.25 MB
• Stars: 6
• Watchers: 0
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project

• Awesome-Rust-Checker - Yuga - flow Analysis | 2024-04-01 | (Static Checkers)