Imandra Protocol Language example models
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
README.md
ambiguousOptionalityComplex.ipl
ambiguousOptionalitySimple.ipl
importedOptionalField.ipl
ordersOnly.ipl
ordersOnlyCustomMessage.ipl
ordersOnlyExplicitFrom42.ipl
ordersOnlyExplicitFrom44.ipl
ordersWithFills.ipl
ordersWithFillsOverride.ipl
ordersWithFillsSet.ipl
repeatingGroupsComplex.ipl
repeatingGroupsSimple.ipl
sentFieldsRecordAssignable.ipl
sentFieldsRecordComplete.ipl
sentFieldsRecordIncomplete.ipl
tutorialActions.ipl
tutorialAdvanced.ipl
tutorialBasic.ipl
tutorialCustom.ipl
tutorialRepeating.ipl
tutorialSideEffects.ipl
tutorialState.ipl
wolfCabbageGoat.ipl

README.md

Aesthetic Integration

Welcome to Imandra Protocol Language examples repo.