Discussions

• 1 You must be logged in to vote

  😍

  Capabilities for fast prototyping

  ArmborstL started Jun 25, 2024 in Wishlist

  

  

  0
• 1 You must be logged in to vote

  💬

  Encoding structs (and pointers to structs)

  superaxander started May 7, 2024 in General

  

  

  

  

  13
• 1 You must be logged in to vote

  💬

  LSP support

  pieter-bos started May 21, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  Handling arrays inside structs.

  isubasinghe asked May 7, 2024 in Q&A · Answered

  

  

  3
• 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