For further documentation, please see: https://docs.imandra.ai.

Download the IPL VS Code Plug-in for these models at the Visual Studio Marketplace.

• ordersOnly.ipl - Minimal model that accepts/rejects NewOrderSingle
• ordersWithFills.ipl - Model accepting/rejecting NewOrderSingle messages 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