Commits · master · Verifpal / Verifpal for Visual Studio Code

07 May, 2021 1 commit
- Add equivalence query support · 459fc2d8
  Nadim Kobeissi authored May 07, 2021
  
  459fc2d8
05 Dec, 2020 1 commit
- Update year · 6819323b
  Nadim Kobeissi authored Dec 05, 2020
  
  6819323b
30 Apr, 2020 2 commits
- Verifpal for Visual Studio Code 1.0.8 · 41077f21
  Nadim Kobeissi authored Apr 30, 2020
  
  41077f21
- Add BLIND and UNBLIND. · 741b4dfc
  Nadim Kobeissi authored Apr 30, 2020
  
  741b4dfc
28 Apr, 2020 2 commits
- Verifpal for Visual Studio Code 1.0.6 · c16c006d
  Nadim Kobeissi authored Apr 28, 2020
  
  c16c006d
- Verifpal for Visual Studio Code 1.0.5 · bb4294e0
  Nadim Kobeissi authored Apr 28, 2020
  
  bb4294e0
27 Apr, 2020 1 commit
- Verifpal for Visual Studio Code 1.0.4 · ac0dc889
  Nadim Kobeissi authored Apr 27, 2020
  
  ac0dc889
26 Apr, 2020 1 commit
- Verifpal for Visual Studio Code 1.0.3 · fc84cff3
  Nadim Kobeissi authored Apr 26, 2020
  
  fc84cff3
25 Apr, 2020 2 commits
- Verifpal for Visual Studio Code 1.0.2 · ee8a19fc
  Nadim Kobeissi authored Apr 25, 2020
  
  ee8a19fc
- Verifpal for Visual Studio Code 1.0.1 · 26d105df
  Nadim Kobeissi authored Apr 25, 2020
  
  26d105df
24 Apr, 2020 1 commit
- verifpal-vscode 1.0.0 · 540cd6a8
  Nadim Kobeissi authored Apr 24, 2020
  
  540cd6a8
22 Apr, 2020 1 commit
- Initial commit · 8f5fc7f5
  Nadim Kobeissi authored Apr 22, 2020
  
  8f5fc7f5