Welcome to Imandra Protocol Language examples repo.
- ordersOnly.ipl - Minimal model that accepts/rejects
NewOrderSingle - ordersWithFills.ipl - Model accepting/rejecting
NewOrderSinglemessages and generating fills - ordersWithFillsSet.ipl - as ordersWithFills.ipl but with some set reasoning
- repeatingGroupsSimple.ipl - Example of repeating groups usage
- repeatingGroupsComplex.ipl - Implicit foralls in validate statements for repeating groups
- importedOptionaField.ipl - Example optional treatment of imported optional value
- ordersOnlyCustomMessage.ipl - Example message extension with enum extension
- ambiguousOptionalitySimple.ipl - Example with minimal example optional and ambiguous import logic
- ambiguousOptionalityComplex.ipl - Complex treatment of ambiguous type fields
- sentFieldsRecordComplete.ipl - Setting sent fields using an internal record (successfully)
- sentFieldsRecordIncomplete.ipl - Setting sent fields using an internal record requiring addition explicit "with" statements
- sentFieldsRecordAssignable.ipl - Setting sent fields using assignable records.
- ordersOnlyExplicitFrom42.ipl - FIX 4.4 example of importing a message explicitly from 4.2
- ordersOnlyExplicitFrom44.ipl - FIX 4.2 example of importing a message explicitly from 4.4
- ordersWithFillsOverride.ipl - Example with a field from the library with an overridden type
- tutorialActions.ipl - Example of introducing actions from the tutorial here
- tutorialAdvanced.ipl - Full example from the tutorial here
- tutorialBasic.ipl - Example from the tutorial here
- tutorialCustom.ipl - Example of introducing custom extenions from the tutorial here
- tutorialRepeating.ipl - Example of repeating groups from the tutorial here
- tutorialSideEffects.ipl - Example of multiple imports from the tutorial here
- tutorialState.ipl - Example of introducing state from the tutorial here
- wolfCabbageGoat.ipl - Example shown here