Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 11, 2022

• yeet → throw

  Show description for bbdf695
  RalfJung

  committed
  bbdf695

  Copy full SHA for bbdf695

• fix Deref well-formedness checking

  Show description for 265b239
  RalfJung

  committed
  265b239

  Copy full SHA for 265b239

• add Unreachable terminator

  RalfJung

  committed
  b2db829

  Copy full SHA for b2db829

• link to another open question

  RalfJung

  committed
  57f7495

  Copy full SHA for 57f7495

Commits on Jul 10, 2022

• Merge pull request #11 from jdrprod/master

  Show description for daf072a
  RalfJung

  authored
  daf072a

  Copy full SHA for daf072a

• Fix missing triple quotes in well-formed.md

  acorrenson

  committed
  5398faf

  Copy full SHA for 5398faf

• Merge pull request #7 from nikomatsakis/patch-2

  Show description for 583ce32
  RalfJung

  authored
  583ce32

  Copy full SHA for 583ce32

• Merge pull request #6 from nikomatsakis/patch-1

  Show description for 933e90d
  RalfJung

  authored
  933e90d

  Copy full SHA for 933e90d

• make unions 'chunked'

  RalfJung

  committed
  6fbb257

  Copy full SHA for 6fbb257

Commits on Jul 9, 2022

• move TODO item to correct heading

  nikomatsakis

  authored
  5090e11

  Copy full SHA for 5090e11

• s/fields/variants/

  nikomatsakis

  authored
  8cf3a18

  Copy full SHA for 8cf3a18

Commits on Jun 13, 2022

• note on benefit of early deref check

  RalfJung

  committed
  efb68a2

  Copy full SHA for efb68a2

Commits on Jun 11, 2022

• place expression: delay inbounds check to when they are offset/loaded/stored

  Show description for 0ce2c20
  RalfJung

  committed
  0ce2c20

  Copy full SHA for 0ce2c20

• explain differences to Rust Reference

  RalfJung

  committed
  add1a72

  Copy full SHA for add1a72

• code cleanup in well-formed

  RalfJung

  committed
  51c7e41

  Copy full SHA for 51c7e41

• explain why Ref takes an alignment, and ensure it is safe

  RalfJung

  committed
  4d5d0fc

  Copy full SHA for 4d5d0fc

Commits on Jun 8, 2022

• add intptrcast

  RalfJung

  committed
  3f93387

  Copy full SHA for 3f93387

• implement loads and stores

  RalfJung

  committed
  f61902d

  Copy full SHA for f61902d

• allocation should honor alignment

  RalfJung

  committed
  bcd2dfd

  Copy full SHA for bcd2dfd

• also check size and alignment of deallocation request

  RalfJung

  committed
  10c984f

  Copy full SHA for 10c984f

• begin adding a basic memory model

  RalfJung

  committed
  8440d58

  Copy full SHA for 8440d58

• fix and tweak

  RalfJung

  committed
  8d9e20e

  Copy full SHA for 8d9e20e

Commits on Jun 2, 2022

• update outdated comment

  RalfJung

  committed
  80baa91

  Copy full SHA for 80baa91

• Call: evaluate return place first

  RalfJung

  committed
  0de292a

  Copy full SHA for 0de292a

• remove mutability from RawPtr type and AddrOf expression

  RalfJung

  committed
  1ae36ea

  Copy full SHA for 1ae36ea

Commits on Jun 1, 2022

• implement destructive loads

  RalfJung

  committed
  008463a

  Copy full SHA for 008463a

• tuple and array literals

  RalfJung

  committed
  aaffcc1

  Copy full SHA for aaffcc1

• do not require that size is a multiple of align

  RalfJung

  committed
  350c1d7

  Copy full SHA for 350c1d7

• multiplication and division

  RalfJung

  committed
  f53bc91

  Copy full SHA for f53bc91

• small tweaks

  RalfJung

  committed
  ef5c535

  Copy full SHA for ef5c535

• add call/return ABI checking

  Show description for dae8492
  RalfJung

  committed
  dae8492

  Copy full SHA for dae8492

• complete well-formedness, and change calling convention to copy return value rather than immediately placing it at the destination

  RalfJung

  committed
  dd0194b

  Copy full SHA for dd0194b

• adopt Ok/Some-wrapping

  RalfJung

  committed
  8eab8cb

  Copy full SHA for 8eab8cb

• start checking statements and terminators

  RalfJung

  committed
  5a64a2a

  Copy full SHA for 5a64a2a

• license this the same way as the UCG documents

  RalfJung

  committed
  215c936

  Copy full SHA for 215c936

Pagination

Previous

Next