Code

changes to ptr library#460

Code

Merged

tjhance merged 15 commits intomainverus-lang/verus:mainfrom new_varlength_ptr_libverus-lang/verus:new_varlength_ptr_libCopy head branch name to clipboardNov 13, 2023

+1,767-221

Commits

Commits on Nov 13, 2023

• revamp ptr lib

  

  tjhance

  authored and

  utaal

  committed
  d487292

  Copy full SHA for d487292

• add is_sized instead of relying on Sized

  

  tjhance

  authored and

  utaal

  committed
  27ed7d5

  Copy full SHA for 27ed7d5

• reorder

  

  tjhance

  authored and

  utaal

  committed
  2d96156

  Copy full SHA for 2d96156

• make field pub

  

  tjhance

  authored and

  utaal

  committed
  3aa3df7

  Copy full SHA for 3aa3df7

• fix PPtr::put

  

  tjhance

  authored and

  utaal

  committed
  4c6a8a3

  Copy full SHA for 4c6a8a3

• add padding to every allocation

  

  tjhance

  authored and

  utaal

  committed
  1b7dd16

  Copy full SHA for 1b7dd16

• use arbitrary range for PointsToRaw

  

  tjhance

  authored and

  utaal

  committed
  78d58ae

  Copy full SHA for 78d58ae

• add copy_nonoverlapping and write_bytes

  

  tjhance

  authored and

  utaal

  committed
  001d73b

  Copy full SHA for 001d73b

• use ext eq

  

  tjhance

  authored and

  utaal

  committed
  8c08c6b

  Copy full SHA for 8c08c6b

• fix PPtr::alloc (I think) and verified vec example, other tests

  utaal

  committed
  a9294ff

  Copy full SHA for a9294ff

• add feature to vstd to compile without verus

  utaal

  committed
  d4fb5c8

  Copy full SHA for d4fb5c8

• avoid the allocator feature to keep vstd compiling on stable rust

  utaal

  committed
  7488038

  Copy full SHA for 7488038

• add support for global size_of of other concrete types

  utaal

  committed
  bd6aff4

  Copy full SHA for bd6aff4

• add support for global layout, to assert a type's size and layout

  utaal

  committed
  f051bf0

  Copy full SHA for f051bf0

• add additional layout tests

  utaal

  committed
  c867130

  Copy full SHA for c867130