sm-grimoire-bugs AT lists.ibiblio.org
Subject: SourceMage Grimoire Bug List
List archive
[SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos
- From: bugzilla-daemon AT bugs.sourcemage.org
 - To: sm-grimoire-bugs AT lists.ibiblio.org
 - Subject: [SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos
 - Date: Fri, 01 Dec 2023 12:20:53 +0000
 
| Bug ID | 16160 | 
|---|---|
| Summary | [request] ikos | 
| Product | New Spells | 
| Version | unspecified | 
| Hardware | x86 | 
| OS | Linux | 
| Status | NEW | 
| Severity | normal | 
| Priority | P2 | 
| Component | Spell Submission | 
| Assignee | sm-grimoire-bugs AT lists.ibiblio.org | 
| Reporter | ismael AT iodev.co.uk | 
| Classification | Unclassified | 
https://github.com/nasa-sw-vnv/ikos Static analyzer for C/C++ based on the theory of Abstract Interpretation.
You are receiving this mail because:
- You are the assignee for the bug.
 
- [SM-Grimoire-Bugs] [Bug 16160] New: [request] ikos, bugzilla-daemon, 12/01/2023
 
Archive powered by MHonArc 2.6.24.