Skip to content

feat: Add support for .mlpackage formal models #2

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
andrewginns wants to merge 3 commits into
base: main
Choose a base branch
from
Open

feat: Add support for .mlpackage formal models #2

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
538b712
feat: Add support for .mlpackage formal models
andrewginns Feb 11, 2024
82f5ae0
Modernize CoreML loading & inference for stateful models, safer optim…
andrewginns Nov 22, 2025
3ca220f
hotfix: for .dmg build
andrewginns Nov 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 22 additions & 0 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
name: CoreML Player CI

on:
pull_request:
types: [opened, synchronize]

jobs:
tests:
runs-on: macos-15
steps:
- uses: actions/checkout@v4
- name: Select Xcode 26.1.1
run: sudo xcode-select -s /Applications/Xcode_26.1.1.app/Contents/Developer || sudo xcode-select -s /Applications/Xcode.app/Contents/Developer
- name: Show Xcode version
run: xcodebuild -version
- name: Run tests
run: |
xcodebuild test \
-scheme "CoreML Player" \
-destination 'platform=macOS' \
-testPlan "CoreML Player" \
-quiet
29 changes: 29 additions & 0 deletions CoreML Player.xctestplan
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
{
"configurations" : [
{
"id" : "1C188226-3069-4FCA-A833-A5EA0729A1DA",
"name" : "Test Scheme Action",
"options" : {

}
}
],
"defaultOptions" : {
"performanceAntipatternCheckerEnabled" : true,
"targetForVariableExpansion" : {
"containerPath" : "container:CoreMLPlayer.xcodeproj",
"identifier" : "0D680A24297B38E7004F3839",
"name" : "CoreML Player"
}
},
"testTargets" : [
{
"target" : {
"containerPath" : "container:CoreMLPlayer.xcodeproj",
"identifier" : "B3559561388448499FAD2F36",
"name" : "CoreMLPlayerTests"
}
}
],
"version" : 1
}
192 changes: 188 additions & 4 deletions CoreMLPlayer.xcodeproj/project.pbxproj
View file
Open in desktop

Large diffs are not rendered by default.

95 changes: 95 additions & 0 deletions CoreMLPlayer.xcodeproj/xcshareddata/xcschemes/CoreML Player.xcscheme
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,95 @@
<?xml version="1.0" encoding="UTF-8"?>
<Scheme
LastUpgradeVersion = "2610"
version = "1.7">
<BuildAction
parallelizeBuildables = "YES"
buildImplicitDependencies = "YES"
buildArchitectures = "Automatic">
<BuildActionEntries>
<BuildActionEntry
buildForTesting = "YES"
buildForRunning = "YES"
buildForProfiling = "YES"
buildForArchiving = "YES"
buildForAnalyzing = "YES">
<BuildableReference
BuildableIdentifier = "primary"
BlueprintIdentifier = "0D680A24297B38E7004F3839"
BuildableName = "CoreML Player.app"
BlueprintName = "CoreML Player"
ReferencedContainer = "container:CoreMLPlayer.xcodeproj">
</BuildableReference>
</BuildActionEntry>
</BuildActionEntries>
</BuildAction>
<TestAction
buildConfiguration = "Debug"
selectedDebuggerIdentifier = "Xcode.DebuggerFoundation.Debugger.LLDB"
selectedLauncherIdentifier = "Xcode.DebuggerFoundation.Launcher.LLDB"
shouldUseLaunchSchemeArgsEnv = "YES">
<TestPlans>
<TestPlanReference
reference = "container:CoreML Player.xctestplan"
default = "YES">
</TestPlanReference>
</TestPlans>
<Testables>
<TestableReference
skipped = "NO">
<BuildableReference
BuildableIdentifier = "primary"
BlueprintIdentifier = "B3559561388448499FAD2F36"
BuildableName = "CoreMLPlayerTests.xctest"
BlueprintName = "CoreMLPlayerTests"
ReferencedContainer = "container:CoreMLPlayer.xcodeproj">
</BuildableReference>
</TestableReference>
</Testables>
</TestAction>
<LaunchAction
buildConfiguration = "Debug"
selectedDebuggerIdentifier = "Xcode.DebuggerFoundation.Debugger.LLDB"
selectedLauncherIdentifier = "Xcode.DebuggerFoundation.Launcher.LLDB"
launchStyle = "0"
useCustomWorkingDirectory = "NO"
ignoresPersistentStateOnLaunch = "NO"
debugDocumentVersioning = "YES"
debugServiceExtension = "internal"
allowLocationSimulation = "YES">
<BuildableProductRunnable
runnableDebuggingMode = "0">
<BuildableReference
BuildableIdentifier = "primary"
BlueprintIdentifier = "0D680A24297B38E7004F3839"
BuildableName = "CoreML Player.app"
BlueprintName = "CoreML Player"
ReferencedContainer = "container:CoreMLPlayer.xcodeproj">
</BuildableReference>
</BuildableProductRunnable>
</LaunchAction>
<ProfileAction
buildConfiguration = "Release"
shouldUseLaunchSchemeArgsEnv = "YES"
savedToolIdentifier = ""
useCustomWorkingDirectory = "NO"
debugDocumentVersioning = "YES">
<BuildableProductRunnable
runnableDebuggingMode = "0">
<BuildableReference
BuildableIdentifier = "primary"
BlueprintIdentifier = "0D680A24297B38E7004F3839"
BuildableName = "CoreML Player.app"
BlueprintName = "CoreML Player"
ReferencedContainer = "container:CoreMLPlayer.xcodeproj">
</BuildableReference>
</BuildableProductRunnable>
</ProfileAction>
<AnalyzeAction
buildConfiguration = "Debug">
</AnalyzeAction>
<ArchiveAction
buildConfiguration = "Release"
revealArchiveInOrganizer = "YES">
</ArchiveAction>
</Scheme>
Loading