Skip to content
Snippets Groups Projects
Select Git revision
  • alloc_align
  • bits-deep-backup
  • case-pgtable
  • ci/VerifyThis2021
  • ci/VerifyThis2022
  • ci/allocstack
  • ci/bff-artifact
  • ci/bits-record-param
  • ci/bitvec_typed
  • ci/bool-simpl
  • ci/case-mt7601u
  • ci/case_router
  • ci/free_no_layout
  • ci/frontent_fix
  • ci/lithium-dissertation-sammler
  • ci/more-bit-cases
  • ci/more_prov
  • ci/pkvm-hof
  • ci/pldi21-submission-artifact
  • ci/ptrfrag
  • vip-popl22-submission-artifact
  • pldi21-submission-artifact
22 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.029Jun2825242221181614109754231May272521201929Apr282723191615148231Mar302927262524231698542126Feb25242322191817161512111085432129Jan282726232219181514121117Dec11987643230Nov2726252420181716131211109543229Oct222172130Sep29261715147432131Aug2827201829Jul28272321change tagged_ptr example to use bitwise operationsadd pointer to integer casts for function pointersmore equality in opsemfix buildadd difference between pointersadd provenance in bytescheck range on int to ptr castTweaks in [tagged_ptr.c].add type_aliveadd at_value typeNotation [&tagged] for owned tagged pointers.Missing generated file.Allow casting NULL to an integerMake integer to pointer casting rule more realisticChange rc_copy_alloc_id to do the cast.Add a simplification rule for tagged pointers.require alloc alive on pointer to integer castupdate irisupdate iristime/more_provtime/more_provMore provenancesci/more_provci/more_provadd valid_ptr requirement to copy alloc idDisallow creation of out of bounds pointersAbstract away the events.pnvipnviupdate irisExample with tagged pointers.update irisadd simpl to solve_goalunfold aligned_to and Z.divide before liaReduce closed terms of type Zfix buildupdate IrisSketch for a formal version of PNVI-ae-udi.adjust to new job naming schemeupdate Irisupdate cerberus version in DEVELOPERS.mdUpdate Cerberus version.update talk demoRemove the layout argument of [free_block].ci/free_no_layoutci/free_no_layoutupdate talk demo 3Merge branch 'master' of gitlab.mpi-sws.org:iris/refinedc