Commits · master · Verifpal / Verifpal

25 Feb, 2021 4 commits
- Scoop update for verifpal version v0.22.0 · 1f36d00f
  drone authored Feb 25, 2021
  
  1f36d00f
- Brew formula update for verifpal version v0.22.0 · 039b6cdd
  drone authored Feb 25, 2021
  
  039b6cdd
- Verifpal 0.22.0 · 4e901ed9
  Nadim Kobeissi authored Feb 25, 2021
  
  4e901ed9
- Minor updates · 5561885b
  Nadim Kobeissi authored Feb 25, 2021
  
  5561885b
17 Jan, 2021 7 commits
- Merge branch 'master' of source.symbolic.software:verifpal/verifpal · 9eab3e6a
  Nadim Kobeissi authored Jan 17, 2021
  
  9eab3e6a
- Remove now-redundant mutation restriction · 7faba9b1
  Nadim Kobeissi authored Jan 17, 2021
  
  7faba9b1
- Scoop update for verifpal version v0.21.5 · ed0fc44d
  drone authored Jan 17, 2021
  
  ed0fc44d
- Brew formula update for verifpal version v0.21.5 · 147c7332
  drone authored Jan 17, 2021
  
  147c7332
- Verifpal 0.21.5 · 45f850bf
  Nadim Kobeissi authored Jan 17, 2021
  
  45f850bf
- Satisfy linter · e83f8a50
  Nadim Kobeissi authored Jan 17, 2021
  
  e83f8a50
- Resolve analysis crash pointed out by Friedrich Wiemer · c5511798
  Nadim Kobeissi authored Jan 17, 2021
  
  c5511798
10 Jan, 2021 3 commits
- Update .golangci.yml · 25e53e0b
  Nadim Kobeissi authored Jan 10, 2021
  
  25e53e0b
- Update .gitignore · ca9779fa
  Nadim Kobeissi authored Jan 10, 2021
  
  ca9779fa
- Update Makefile · 6c8705c1
  Nadim Kobeissi authored Jan 10, 2021
  
  6c8705c1
08 Jan, 2021 10 commits
- Fix golangci-lint · 9a789809
  Nadim Kobeissi authored Jan 08, 2021
  
  9a789809
- Scoop update for verifpal version v0.21.4 · 745a1eed
  drone authored Jan 08, 2021
  
  745a1eed
- Brew formula update for verifpal version v0.21.4 · 470aeeb5
  drone authored Jan 08, 2021
  
  470aeeb5
- Verifpal 0.21.4 · 7fdf5704
  Nadim Kobeissi authored Jan 08, 2021
  
  7fdf5704
- Minor optimizations · ef56cf9d
  Nadim Kobeissi authored Jan 08, 2021
  
  ef56cf9d
- Minor optimizations · 0faa6317
  Nadim Kobeissi authored Jan 08, 2021
  
  0faa6317
- Different thread for each principal state · e947a1c5
  Nadim Kobeissi authored Jan 08, 2021
  
  e947a1c5
- Minor analysis tweaks · 69011a93
  Nadim Kobeissi authored Jan 08, 2021
  
  69011a93
- Re-enable PGP signed releases · 90673224
  Nadim Kobeissi authored Jan 08, 2021
  
  90673224
- Tidy up examples folder · e9923bc9
  Nadim Kobeissi authored Jan 08, 2021
  
  e9923bc9
07 Jan, 2021 1 commit
- Tidy up examples folder · fe9a9e18
  Nadim Kobeissi authored Jan 07, 2021
  
  fe9a9e18
06 Jan, 2021 3 commits
- Catch `unnamed_` prefix · 1557f8e7
  Nadim Kobeissi authored Jan 06, 2021
  
  1557f8e7
- Add more sanity checks · 205ae77b
  Nadim Kobeissi authored Jan 06, 2021
  
  205ae77b
- Forbid queries with identical senders and recipients · 0d24442c
  Nadim Kobeissi authored Jan 06, 2021
  
  0d24442c
05 Jan, 2021 5 commits
- Scoop update for verifpal version v0.21.3 · e451fdeb
  drone authored Jan 05, 2021
  
  e451fdeb
- Brew formula update for verifpal version v0.21.3 · c02c46e2
  drone authored Jan 05, 2021
  
  c02c46e2
- Verifpal 0.21.3 · 75544133
  Nadim Kobeissi authored Jan 05, 2021
  
  75544133
- Cleanup · 35e0a28a
  Nadim Kobeissi authored Jan 05, 2021
  
  35e0a28a
- Add essential missing sanity check on primitive inputs · d93536ce
  Nadim Kobeissi authored Jan 05, 2021
  
  d93536ce
04 Jan, 2021 3 commits
- Avoid self-referential value mutations in analysis · 1103c973
  Nadim Kobeissi authored Jan 04, 2021
  
  1103c973
- Fix linting · 1c6ef7f3
  Nadim Kobeissi authored Jan 04, 2021
  
  1c6ef7f3
- Use interfaces for values (contributed by Fabian Drinck) · 9e900a66
  Nadim Kobeissi authored Jan 04, 2021
  
  9e900a66
03 Jan, 2021 2 commits
- Restore seemingly unnecessary explicit output and check properties transitions · f51ab2fc
  Nadim Kobeissi authored Jan 03, 2021
  
  f51ab2fc
- Remove 'depth' nonsense · 7c3ff7d0
  Nadim Kobeissi authored Jan 03, 2021
  
  7c3ff7d0
02 Jan, 2021 2 commits
- Scoop update for verifpal version v0.21.2 · 0c4e7c15
  drone authored Jan 02, 2021
  
  0c4e7c15
- Brew formula update for verifpal version v0.21.2 · d757f923
  drone authored Jan 02, 2021
  
  d757f923