Code

Experiment: Viper integration#78

Code

Draft

rvanasa wants to merge 100 commits intomasterdfinity/vscode-motoko:masterfrom viperdfinity/vscode-motoko:viperCopy head branch name to clipboard

Commits

Commits on Oct 17, 2022

• Viper integration progress

  rvanasa

  committed
  0c99de9

  Copy full SHA for 0c99de9

• Progress

  rvanasa

  committed
  e796c87

  Copy full SHA for e796c87

• Merge branch 'master' into viper

  rvanasa

  authored
  2b0ac87

  Copy full SHA for 2b0ac87

• Add Viper as an extension dependency

  rvanasa

  committed
  5e67dd6

  Copy full SHA for 5e67dd6

• Merge branch 'viper' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  7ca8087

  Copy full SHA for 7ca8087

• Add '-viper' suffix to extension version

  rvanasa

  committed
  fe96390

  Copy full SHA for fe96390

• Optimize and clarify type checking

  rvanasa

  committed
  1076303

  Copy full SHA for 1076303

• Add generated 'moc.js' file to gitignore

  rvanasa

  committed
  50820c3

  Copy full SHA for 50820c3

Commits on Oct 20, 2022

• Add boilerplate for Viper LSP errors + source mapping

  rvanasa

  committed
  cbab556

  Copy full SHA for cbab556

• Implement verification RPC calls

  rvanasa

  committed
  8342646

  Copy full SHA for 8342646

• Checkpoint: receiving diagnostics from StateChange notifications

  rvanasa

  committed
  3058bb3

  Copy full SHA for 3058bb3

Commits on Oct 21, 2022

• Add basic Motoko diagnostics from Viper LSP

  rvanasa

  committed
  3cfc5bc

  Copy full SHA for 3cfc5bc

• Add 'View in context' link from Motoko -> Viper diagnostics

  rvanasa

  committed
  e18a93d

  Copy full SHA for e18a93d

• Adjust diagnostic source messages

  rvanasa

  committed
  f519db6

  Copy full SHA for f519db6

• Update build script to account for z3 dependency

  rvanasa

  committed
  aa0cfec

  Copy full SHA for aa0cfec

• Misc

  rvanasa

  committed
  f027fca

  Copy full SHA for f027fca

• Add 'implies' and 'invariant' to syntax highlighting

  rvanasa

  committed
  2a519f2

  Copy full SHA for 2a519f2

• Fix initial setup process in package.json

  rvanasa

  committed
  fab6719

  Copy full SHA for fab6719

• Fix

  rvanasa

  committed
  5c2b5cf

  Copy full SHA for 5c2b5cf

• // @viper -> // @verify

  rvanasa

  committed
  494c2ab

  Copy full SHA for 494c2ab

• Only insert Viper code into '*.vpr' files

  rvanasa

  committed
  ca5fd04

  Copy full SHA for ca5fd04

• Rewrite verification error messages

  rvanasa

  committed
  31720e0

  Copy full SHA for 31720e0

• Improve unknown range handling

  rvanasa

  committed
  b98d69e

  Copy full SHA for b98d69e

• Hide unused Viper LS message types

  rvanasa

  committed
  3e5beed

  Copy full SHA for 3e5beed

• Add provisional success diagnostic

  rvanasa

  committed
  4734df0

  Copy full SHA for 4734df0

Commits on Oct 22, 2022

• Change error message (lifting error information from Viper)

  Show description for 12a4ea9
  

  rvanasa

  and

  aterga

  authored
  12a4ea9

  Copy full SHA for 12a4ea9

• Misc fixes from code review

  rvanasa

  committed
  be5321f

  Copy full SHA for be5321f

• Merge branch 'viper' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  2a82fa2

  Copy full SHA for 2a82fa2

• Run 'npm audit fix'

  rvanasa

  committed
  0a490b3

  Copy full SHA for 0a490b3

Commits on Oct 23, 2022

• Fix verification success corner case

  rvanasa

  committed
  ca64a28

  Copy full SHA for ca64a28

• tweaks (#80)

  Show description for 36c88ef
  ggreif

  authored
  36c88ef

  Copy full SHA for 36c88ef

• Use '*.mo.vpr' file endings

  Show description for 09ab3a8
  

  rvanasa

  and

  ggreif

  authored
  09ab3a8

  Copy full SHA for 09ab3a8

• Improve verification success diagnostic

  rvanasa

  committed
  f3020e4

  Copy full SHA for f3020e4

• Merge branch 'viper' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  2b3a960

  Copy full SHA for 2b3a960

• Improve verification success detection

  rvanasa

  committed
  10d7fdf

  Copy full SHA for 10d7fdf

• Switch RPC 'Verify' request to notification

  rvanasa

  committed
  6d38483

  Copy full SHA for 6d38483

• Merge branch 'master' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  05863c4

  Copy full SHA for 05863c4

• Add icon for Motoko files

  rvanasa

  committed
  95f22ca

  Copy full SHA for 95f22ca

• Merge branch 'master' into viper

  rvanasa

  authored
  4115385

  Copy full SHA for 4115385

• Merge branch 'master' into viper

  rvanasa

  authored
  4fab05b

  Copy full SHA for 4fab05b

Commits on Oct 27, 2022

• remove premature invalidation

  Show description for dee8a27
  ggreif

  committed
  dee8a27

  Copy full SHA for dee8a27

• Disable workspace type-checking

  rvanasa

  committed
  ea81dab

  Copy full SHA for ea81dab

Commits on Nov 9, 2022

• LSP: wait till port is up and parse it (#86)

  Show description for cad3795
  

  ggreif

  and

  rvanasa

  authored
  cad3795

  Copy full SHA for cad3795

• Look up Java home directory using viper-ide logic (#91)

  rvanasa

  authored
  ca084b3

  Copy full SHA for ca084b3

Commits on Nov 15, 2022

• Merge branch 'master' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  d7ee213

  Copy full SHA for d7ee213

• Update marketplace details in package.json

  rvanasa

  committed
  3ae85c4

  Copy full SHA for 3ae85c4

• Update readme for VS Marketplace

  rvanasa

  committed
  35ffeeb

  Copy full SHA for 35ffeeb

• Add TM for Formal Motoko (#87)

  Show description for c67e11c
  

  aterga

  and

  rvanasa

  authored
  c67e11c

  Copy full SHA for c67e11c

• Merge branch 'viper' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  2a01b69

  Copy full SHA for 2a01b69

• Remove custom 'Formal Motoko' theme in favor of using light/dark themes provided by Viper

  rvanasa

  committed
  a514d30

  Copy full SHA for a514d30

• Update package-lock.json

  rvanasa

  committed
  6c82368

  Copy full SHA for 6c82368

• Set 'MOC_UNLOCK_VERIFICATION' environment variable for moc.js

  rvanasa

  committed
  14f5805

  Copy full SHA for 14f5805

Commits on Nov 18, 2022

• some version bumps (#97)

  ggreif

  authored
  867e624

  Copy full SHA for 867e624

• chore: set up a motoko submodule (#98)

  Show description for f6f1bc2
  

  ggreif

  and

  rvanasa

  authored
  f6f1bc2

  Copy full SHA for f6f1bc2

• Replace tsc with esbuild bundler

  rvanasa

  committed
  fec8d16

  Copy full SHA for fec8d16

• Fix missing Wasm file for 'prettier-plugin-motoko'

  rvanasa

  committed
  f26d1a2

  Copy full SHA for f26d1a2

• Fix .vscodeignore

  rvanasa

  committed
  0eaea58

  Copy full SHA for 0eaea58

• simplify instructions

  ggreif

  committed
  2b63a3c

  Copy full SHA for 2b63a3c

• Merge branch 'bundle-esbuild' into viper

  rvanasa

  committed
  82bc022

  Copy full SHA for 82bc022

• Add missing dev-dependency

  rvanasa

  committed
  4445f11

  Copy full SHA for 4445f11

• Add 'node_modules' back into .vscodeignore

  rvanasa

  committed
  1816b9e

  Copy full SHA for 1816b9e

• fix

  ggreif

  committed
  d8e6e89

  Copy full SHA for d8e6e89

• Replace 'mkdir -p' with 'mkdirp' for Windows build support

  rvanasa

  committed
  7f7441e

  Copy full SHA for 7f7441e

Commits on Nov 21, 2022

• Merge branch 'master' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  2062102

  Copy full SHA for 2062102

• Update readme

  rvanasa

  committed
  8ea25ba

  Copy full SHA for 8ea25ba

• Add incompatibility prompt

  rvanasa

  committed
  b653fac

  Copy full SHA for b653fac

• Use custom syntax highlighting provided by Viper

  rvanasa

  committed
  ecb80e0

  Copy full SHA for ecb80e0

• Add 'Background' section to readme

  rvanasa

  committed
  80e48c4

  Copy full SHA for 80e48c4

• Temporarily rename extension to 'Formal Motoko'

  rvanasa

  committed
  b4a6caa

  Copy full SHA for b4a6caa

Commits on Nov 23, 2022

• Track debug launch configuration

  rvanasa

  committed
  12b0854

  Copy full SHA for 12b0854

Commits on Nov 25, 2022

• First (#102)

  aterga

  authored
  7419e39

  Copy full SHA for 7419e39

• Rename 'Formal Motoko' -> 'Motoko-san'

  rvanasa

  committed
  8779b86

  Copy full SHA for 8779b86

Commits on Nov 26, 2022

• chore: Viper is on Motoko master (#103)

  Show description for b8548c4
  ggreif

  authored
  b8548c4

  Copy full SHA for b8548c4

Commits on Nov 29, 2022

• v0.0.2

  rvanasa

  committed
  dec28b3

  Copy full SHA for dec28b3

Commits on Jan 4, 2023

• Merge branch 'master' into viper

  rvanasa

  committed
  008a6cd

  Copy full SHA for 008a6cd

• Misc. fixes

  rvanasa

  committed
  c6b1eba

  Copy full SHA for c6b1eba

• Merge remote-tracking branch 'origin/master' into viper

  rvanasa

  committed
  e187a16

  Copy full SHA for e187a16

• Improve diagnostic behavior when opening/closing files

  rvanasa

  committed
  aec67b0

  Copy full SHA for aec67b0

• Apply suggestions from code review

  aterga

  authored
  015f176

  Copy full SHA for 015f176

• Fix typo

  aterga

  committed
  b9d40af

  Copy full SHA for b9d40af

• Update CI

  rvanasa

  committed
  0f1180e

  Copy full SHA for 0f1180e

• Drop Node.js 14.x in CI

  rvanasa

  committed
  ed04f5b

  Copy full SHA for ed04f5b

• Deactivate test workflow for now (requires Nix installation)

  rvanasa

  committed
  b21008f

  Copy full SHA for b21008f

• Explain CI blocker in comment

  rvanasa

  committed
  5dcd477

  Copy full SHA for 5dcd477

Commits on Jan 5, 2023

• track motoko ToT

  ggreif

  committed
  62a59f8

  Copy full SHA for 62a59f8

• explain how to track the Motoko repo

  ggreif

  committed
  acb9265

  Copy full SHA for acb9265

• tweak section

  Show description for d6d0279
  ggreif

  committed
  d6d0279

  Copy full SHA for d6d0279

• Bump 'vsce' to new package name

  rvanasa

  committed
  ccd6cc4

  Copy full SHA for ccd6cc4

• Merge branch 'viper' of https://github.com/dfinity/vscode-motoko into viper

  rvanasa

  committed
  dd5dd5b

  Copy full SHA for dd5dd5b

• Merge

  rvanasa

  committed
  3c3b284

  Copy full SHA for 3c3b284

• Tentatively re-enable test CI with Nix

  rvanasa

  committed
  d04f8fd

  Copy full SHA for d04f8fd

• Use Cachix action in CI (without auth token)

  rvanasa

  committed
  21ef478

  Copy full SHA for 21ef478

Commits on Jan 6, 2023

• Deactivate CI (#145)

  rvanasa

  committed
  ba913e1

  Copy full SHA for ba913e1

Commits on Mar 17, 2023

• Bump dependencies

  rvanasa

  committed
  563e565

  Copy full SHA for 563e565

Commits on Apr 10, 2023

• Run formatter; organize imports

  rvanasa

  committed
  0e5c9fe

  Copy full SHA for 0e5c9fe

• Fix 'Restart language server' command

  rvanasa

  committed
  9639874

  Copy full SHA for 9639874

• 0.0.3

  rvanasa

  committed
  18e50a2

  Copy full SHA for 18e50a2

• Refactor

  rvanasa

  committed
  7f38803

  Copy full SHA for 7f38803

Commits on Apr 11, 2023

• Add support for WSL (#198)

  Show description for 9dbb92e
  rvanasa

  authored
  9dbb92e

  Copy full SHA for 9dbb92e

Commits on Jul 16, 2024

• Draft: Fix minor issues to enable Serokell to use the IDE for local testing (#281)

  Show description for e45ff0d
  

  aterga

  and

  rvanasa

  authored
  e45ff0d

  Copy full SHA for e45ff0d