Skip to content

symbolic memory research #736

New issue
New issue
Closed
Closed
symbolic memory research#736
Assignees
feliam
Labels
research
@offlinemark

Description

@offlinemark
offlinemark
opened on Feb 6, 2018

research related to handling fully symbolic indices.
using full smtlib arrays for memory.

Metadata

Metadata

Assignees

Labels

research

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions