Skip to content

Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java) #97

Open
Open
Axiomatisation of Alloy Type System in Equality Logic with Uninterpreted Functions (Java)#97
Assignees
ferhateratairemfidandan
Labels
AlloySMTTranslationready

Description

@ferhaterata
ferhaterata
opened on May 26, 2017

Develop a translation procedure in Java which accepts a well-formed Alloy Signatures and Relation Declarations and produces SMTLIB Axioms.

Depends on #96

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

AlloySMTTranslationready

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions