Commits · ee8a19fc09cf26d413eb031278b696630a18a796 · Verifpal / Verifpal for Visual Studio Code

25 Apr, 2020 10 commits
- Verifpal for Visual Studio Code 1.0.2 · ee8a19fc
  Nadim Kobeissi authored Apr 25, 2020
  
  ee8a19fc
- Remove unnecessary message · ed9b2deb
  Nadim Kobeissi authored Apr 25, 2020
  
  ed9b2deb
- Fix diagram visualization bug in Windows · c76b48ef
  Nadim Kobeissi authored Apr 25, 2020
  
  c76b48ef
- Tag script fixes · b33d9929
  Nadim Kobeissi authored Apr 25, 2020
  
  b33d9929
- Verifpal for Visual Studio Code 1.0.1 · 26d105df
  Nadim Kobeissi authored Apr 25, 2020
  
  26d105df
- More work on CD · 80804054
  Nadim Kobeissi authored Apr 25, 2020
  
  80804054
- Fix CI/CD · 51a48f23
  Nadim Kobeissi authored Apr 25, 2020
  
  51a48f23
- CI/CD · 855bd60f
  Nadim Kobeissi authored Apr 25, 2020
  
  855bd60f
- Update README.md · 7887895a
  Nadim Kobeissi authored Apr 25, 2020
  
  7887895a
- Update README.md · 0faaa6e1
  Nadim Kobeissi authored Apr 25, 2020
  
  0faaa6e1
24 Apr, 2020 4 commits
- verifpal-vscode 1.0.0 · 0c90d76f
  Nadim Kobeissi authored Apr 24, 2020
  
  0c90d76f
- verifpal-vscode 1.0.0 · 540cd6a8
  Nadim Kobeissi authored Apr 24, 2020
  
  540cd6a8
- Generate sequence diagrams · 9cf4fa23
  Nadim Kobeissi authored Apr 24, 2020
  
  9cf4fa23
- Live analysis · 5a381615
  Nadim Kobeissi authored Apr 24, 2020
  
  5a381615
23 Apr, 2020 8 commits
- Live analysis MVP · 2c1e8a52
  Nadim Kobeissi authored Apr 23, 2020
  
  2c1e8a52
- Remove cruft · f461ad59
  Nadim Kobeissi authored Apr 23, 2020
  
  f461ad59
- Correctly bind formatter · a69f6983
  Nadim Kobeissi authored Apr 23, 2020
  
  a69f6983
- Remove debug lines · 5dfd48c0
  Nadim Kobeissi authored Apr 23, 2020
  
  5dfd48c0
- Pretty print model · 3135e394
  Nadim Kobeissi authored Apr 23, 2020
  
  3135e394
- Query documentation · a09ac821
  Nadim Kobeissi authored Apr 23, 2020
  
  a09ac821
- Remove cruft · fff857d4
  Nadim Kobeissi authored Apr 23, 2020
  
  fff857d4
- Working hover and IPC with Verifpal · 0d60e04f
  Nadim Kobeissi authored Apr 23, 2020
  
  0d60e04f
22 Apr, 2020 8 commits
- Actually functional hover provider for primitives · eb41c86d
  Nadim Kobeissi authored Apr 22, 2020
  
  eb41c86d
- More fixes · 3cc21001
  Nadim Kobeissi authored Apr 22, 2020
  
  3cc21001
- Formatting · c14061bc
  Nadim Kobeissi authored Apr 22, 2020
  
  c14061bc
- Formatting · ed17260b
  Nadim Kobeissi authored Apr 22, 2020
  
  ed17260b
- Fix associations · 0f8d0b4c
  Nadim Kobeissi authored Apr 22, 2020
  
  0f8d0b4c
- Add Makefile · 024196d2
  Nadim Kobeissi authored Apr 22, 2020
  
  024196d2
- Update README.md · 2a0c45f9
  Nadim Kobeissi authored Apr 22, 2020
  
  2a0c45f9
- Initial commit · 8f5fc7f5
  Nadim Kobeissi authored Apr 22, 2020
  
  8f5fc7f5