lemmafit 0.2.2 → 0.3.0

package/cli/check-claimcheck.js

@@ -0,0 +1,23 @@
+#!/usr/bin/env node
+const { execSync } = require('child_process');
+
+try {
+  execSync('claimcheck --version', { stdio: 'ignore' });
+} catch {
+  if (process.env.npm_config_global === 'true') {
+    console.log('Installing claimcheck CLI...');
+    try {
+      execSync('npm install -g claimcheck', { stdio: 'inherit' });
+    } catch {
+      console.warn(
+        '\n⚠  Failed to install claimcheck. Install it manually:\n' +
+        '   npm install -g claimcheck\n'
+      );
+    }
+  } else {
+    console.warn(
+      '\n⚠  lemmafit requires the claimcheck CLI, but it was not found on your PATH.\n' +
+      '   Install it with:  npm install -g claimcheck\n'
+    );
+  }
+}

package/cli/download-dafny2js.js

@@ -10,13 +10,14 @@ const path = require('path');
 const { execSync } = require('child_process');
 const os = require('os');
 
-const DAFNY2JS_VERSION = '0.9.5';
+const DAFNY2JS_VERSION = '0.10.0';
 
 const PLATFORM_RIDS = {
   'darwin-arm64': 'osx-arm64',
   'darwin-x64': 'osx-x64',
   'linux-x64': 'linux-x64',
   'linux-arm64': 'linux-arm64',
+  'win32-x64': 'win-x64',
 };
 
 function getPlatformKey() {
@@ -35,8 +36,9 @@ function printBuildInstructions(rid) {
   console.error('  cd dafny2js');
   console.error(`  dotnet publish -c Release -r ${rid} --self-contained /p:PublishSingleFile=true`);
   console.error('');
+  const binaryName = os.platform() === 'win32' ? 'dafny2js.exe' : 'dafny2js';
   console.error('Then copy the binary to:');
-  console.error(`  ${path.join(installDir, 'dafny2js')}`);
+  console.error(`  ${path.join(installDir, binaryName)}`);
 }
 
 function download(url, dest) {
@@ -92,7 +94,8 @@ async function main() {
   }
 
   const installDir = path.join(os.homedir(), '.lemmafit', '.dafny2js');
-  const binaryPath = path.join(installDir, 'dafny2js');
+  const binaryName = os.platform() === 'win32' ? 'dafny2js.exe' : 'dafny2js';
+  const binaryPath = path.join(installDir, binaryName);
   const versionFile = path.join(installDir, 'version');
 
   // Check if correct version is already installed

package/lib/daemon.js

@@ -30,10 +30,11 @@ class Daemon {
 
     // Shared cache paths (~/.lemmafit), with fallback to package-local
     const cacheDir = path.join(os.homedir(), '.lemmafit');
-    const cacheDafny2js = path.join(cacheDir, '.dafny2js', 'dafny2js');
+    const dafny2jsBinName = os.platform() === 'win32' ? 'dafny2js.exe' : 'dafny2js';
+    const cacheDafny2js = path.join(cacheDir, '.dafny2js', dafny2jsBinName);
     this.dafny2jsBin = fs.existsSync(cacheDafny2js)
       ? cacheDafny2js
-      : path.join(__dirname, '..', '.dafny2js', 'dafny2js');
+      : path.join(__dirname, '..', '.dafny2js', dafny2jsBinName);
     this.kernelPath = path.join(__dirname, '..', 'kernels', 'Replay.dfy');
 
     // Load or create config
@@ -64,13 +65,14 @@ class Daemon {
   }
 
   findDafny() {
+    const dafnyBinName = os.platform() === 'win32' ? 'Dafny.exe' : 'dafny';
     // Check shared cache directory first (~/.lemmafit)
-    const cacheDafny = path.join(os.homedir(), '.lemmafit', '.dafny', 'dafny', 'dafny');
+    const cacheDafny = path.join(os.homedir(), '.lemmafit', '.dafny', 'dafny', dafnyBinName);
     if (fs.existsSync(cacheDafny)) {
       return cacheDafny;
     }
     // Check lemmafit package directory (fallback)
-    const lemmafitDafny = path.join(__dirname, '..', '.dafny', 'dafny', 'dafny');
+    const lemmafitDafny = path.join(__dirname, '..', '.dafny', 'dafny', dafnyBinName);
     if (fs.existsSync(lemmafitDafny)) {
       return lemmafitDafny;
     }

package/lib/download-dafny.js

@@ -83,7 +83,8 @@ async function main() {
   const cacheDir = path.join(os.homedir(), '.lemmafit');
   const installDir = path.join(cacheDir, '.dafny');
   const dafnyDir = path.join(installDir, 'dafny');
-  const dafnyBin = path.join(dafnyDir, 'dafny');
+  const dafnyBinName = os.platform() === 'win32' ? 'Dafny.exe' : 'dafny';
+  const dafnyBin = path.join(dafnyDir, dafnyBinName);
   const versionFile = path.join(installDir, 'version');
 
   // Check if correct version is already installed
@@ -109,7 +110,11 @@ async function main() {
 
   // Extract
   console.log('Extracting...');
-  execSync(`unzip -q -o "${zipPath}" -d "${installDir}"`, { stdio: 'inherit' });
+  if (os.platform() === 'win32') {
+    execSync(`tar -xf "${zipPath}" -C "${installDir}"`, { stdio: 'inherit' });
+  } else {
+    execSync(`unzip -q -o "${zipPath}" -d "${installDir}"`, { stdio: 'inherit' });
+  }
 
   // Clean up zip
   fs.unlinkSync(zipPath);

package/package.json

@@ -15,7 +15,7 @@
     "verified",
     "proof"
   ],
-  "version": "0.2.2",
+  "version": "0.3.0",
   "type": "commonjs",
   "files": [
     "cli/",
@@ -36,7 +36,7 @@
     "lemmafit-generate-guarantees": "cli/generate-guarantees-md.js"
   },
   "scripts": {
-    "postinstall": "node ./cli/sync.js && node ./cli/download-dafny2js.js && node ./lib/download-dafny.js"
+    "postinstall": "node ./cli/sync.js && node ./cli/download-dafny2js.js && node ./lib/download-dafny.js && node ./cli/check-claimcheck.js"
   },
   "dependencies": {
     "js-yaml": "^4.1.1",