Discussions

• 1 You must be logged in to vote

  🙏

  Go to definition PVL VS Code IDE

  pandasansgains asked Mar 15, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  RAII-like unfolding of predicates

  pieter-bos started Mar 15, 2024 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Factor out some SYCL concepts to an abstract kernel

  pieter-bos started Jan 25, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  😍

  Graph library

  ArmborstL started Jan 23, 2024 in Wishlist

  

  

  1
• 1 You must be logged in to vote

  😍

  Support specification refinement

  ArmborstL started Jan 23, 2024 in Wishlist

  

  

  0
• 1 You must be logged in to vote

  😍

  Support for SYCL unified shared memory

  ArmborstL started Jan 23, 2024 in Wishlist

  

  

  0
• 1 You must be logged in to vote

  😍

  Support for re-entrant locks

  ArmborstL started Jan 23, 2024 in Wishlist

  

  

  0
• 1 You must be logged in to vote

  😍

  Support for generics

  ArmborstL started Jan 23, 2024 in Wishlist

  

  

  0
• 1 You must be logged in to vote

  💬

  VerCors as a round-trip source transformer

  pieter-bos started Nov 3, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Set Comprehensions / Set Builder Notation

  pieter-bos started Oct 9, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Re-merge all build definitions into one file

  pieter-bos started Sep 27, 2023 in General · Closed

  

  

  0
• 2 You must be logged in to vote

  💡

  Regional verification settings

  pieter-bos started Apr 18, 2023 in Ideas

  

  

  4
• 1 You must be logged in to vote

  💡

  Better pretty-printing

  pieter-bos started Feb 24, 2023 in Ideas · Closed

  

  

  1
• 2 You must be logged in to vote

  💬

  2.0 Release path

  pieter-bos started Dec 12, 2022 in General · Closed

  

  

  0
• 1 You must be logged in to vote

  💬

  Z3 Log parsing

  pieter-bos started Feb 27, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Floats

  pieter-bos started Feb 27, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Ambiguously associating loop invariant

  ArmborstL started Feb 23, 2023 in General

  

  

  

  

  7
• 1 You must be logged in to vote

  💡

  Assertion reducer

  pieter-bos started Feb 1, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Method invocations inside while loop conditions

  Naum-Tomov started Oct 27, 2022 in General · Closed

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Combination of with/then and given/yields

  bobismijnnaam started Dec 21, 2022 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  Pointer permission syntax

  pieter-bos started Oct 21, 2022 in General · Closed

  

  

  0
• 1 You must be logged in to vote

  💡

  Scale by read

  A-Enh Enhancement R Rewriting problem

  Naum-Tomov started Aug 31, 2022 in Ideas

  

  

  

  

  2
• 1 You must be logged in to vote

  💬

  What are the roles of origins and blames

  pieter-bos started Nov 30, 2022 in General

  

  

  8
• 1 You must be logged in to vote

  💡

  Give VerCors the capability to report under which branch conditions an error occurs

  A-Enh Enhancement B-Silicon Backend: Silicon

  pieter-bos started Nov 28, 2022 in Ideas

  

  

  4
• 1 You must be logged in to vote

  💬

  What should the specification comment syntax be?

  pieter-bos started Nov 18, 2022 in General

  

  

  

  

  8