Commits

Branch selector

 2a8068e

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 1, 2023

• Merge pull request #1307 from Lokathor/patch-1

  Show description for 2a8068e
  ehuss

  authored
  2a8068e

  Copy full SHA for 2a8068e

Commits on Jul 29, 2023

• Merge pull request #1383 from ehuss/fix-queue

  Show description for 9cd5c5a
  ehuss

  authored
  9cd5c5a

  Copy full SHA for 9cd5c5a

Commits on Jul 27, 2023

• Merge pull request #1385 from ivanbakel/immutable-data-UB-clarification

  Show description for a64394d
  ehuss

  authored
  a64394d

  Copy full SHA for a64394d

Commits on Jul 25, 2023

• Style fixups in immutability UB

  Show description for f12eaec
  

  ivanbakel

  and

  RalfJung

  authored
  f12eaec

  Copy full SHA for f12eaec

Commits on Jul 24, 2023

• Define immutability UB in terms of bytes

  Show description for 70886e3
  

  ivanbakel

  and

  RalfJung

  committed
  70886e3

  Copy full SHA for 70886e3

• Clarify UB around immutability & mutation

  Show description for 69a6f70
  ivanbakel

  committed
  69a6f70

  Copy full SHA for 69a6f70

Commits on Jul 20, 2023

• Merge pull request #1273 from RalfJung/const-ub

  Show description for e94fb3d
  ehuss

  authored
  e94fb3d

  Copy full SHA for e94fb3d

• Merge pull request #1384 from mattheww/2023-07_divzero-b

  Show description for 5377523
  ehuss

  authored
  5377523

  Copy full SHA for 5377523

Commits on Jul 19, 2023

• Operator expressions: make the note about division by zero clearer.

  mattheww

  committed
  67f4153

  Copy full SHA for 67f4153

• Merge pull request #1379 from gregschmit/gns/callee-to-caller-change

  Show description for fd8abed
  ehuss

  authored
  fd8abed

  Copy full SHA for fd8abed

• Improve wording of unsafe proof obligations.

  Show description for 451a8e4
  

  gregschmit

  and

  RalfJung

  authored
  451a8e4

  Copy full SHA for 451a8e4

Commits on Jul 18, 2023

• Fix merge queue building twice.

  ehuss

  committed
  a0ae62b

  Copy full SHA for a0ae62b

• Merge pull request #1382 from mattheww/2023-07_divzero

  Show description for 6235897
  ehuss

  authored
  6235897

  Copy full SHA for 6235897

Commits on Jul 17, 2023

• Say that division by zero for primitive types panics

  mattheww

  committed
  cf1cc8d

  Copy full SHA for cf1cc8d

Commits on Jul 16, 2023

• Merge pull request #1381 from ehuss/merge_group

  Show description for 5b7b383
  ehuss

  authored
  5b7b383

  Copy full SHA for 5b7b383

• Add CI trigger for merge queues.

  ehuss

  committed
  dad0240

  Copy full SHA for dad0240

Commits on Jul 11, 2023

• Clarify which proof obligations are referenced.

  Show description for 3c3c084
  

  gregschmit

  and

  RalfJung

  committed
  3c3c084

  Copy full SHA for 3c3c084

Commits on Jul 8, 2023

• Merge pull request #1376 from hehaoqian/remove-unstable-of-never

  Show description for 1ea0178
  ehuss

  authored
  1ea0178

  Copy full SHA for 1ea0178

Commits on Jul 2, 2023

• Merge pull request #1377 from macaujack/patch-2

  Show description for 1c231ad
  ehuss

  authored
  1c231ad

  Copy full SHA for 1c231ad

• Typo: 'assingee' to 'assignee' in expressions.md

  macaujack

  authored
  1da2af1

  Copy full SHA for 1da2af1

Commits on Jul 1, 2023

• Remove doc of unstable feature of never type

  hehaoqian

  committed
  6eacdb0

  Copy full SHA for 6eacdb0

Commits on Jun 29, 2023

• Merge pull request #1374 from tshepang/patch-2

  Show description for 15c26a1
  ehuss

  authored
  15c26a1

  Copy full SHA for 15c26a1

Commits on Jun 28, 2023

• str type: make sentence more readable

  tshepang

  authored
  0e2eee4

  Copy full SHA for 0e2eee4

Commits on Jun 27, 2023

• Update codegen.md

  Lokathor

  authored
  188499d

  Copy full SHA for 188499d

• Merge pull request #1367 from yjhn/patch-1

  Show description for 3b6313a
  ehuss

  authored
  3b6313a

  Copy full SHA for 3b6313a

Commits on Jun 26, 2023

• Merge pull request #1371 from macaujack/patch-1

  Show description for 353e038
  ehuss

  authored
  353e038

  Copy full SHA for 353e038

• Typo: 'a' to 'an' in destructors.md

  macaujack

  authored
  193aa55

  Copy full SHA for 193aa55

Commits on Jun 22, 2023

• Merge pull request #1369 from riking/patch

  Show description for 5ca365e
  ehuss

  authored
  5ca365e

  Copy full SHA for 5ca365e

• Merge pull request #1370 from Equilibris/fix-incorrect-type-path-syntax

  Show description for da57c4a
  ehuss

  authored
  da57c4a

  Copy full SHA for da57c4a

Commits on Jun 21, 2023

• fix incorrect syntax for type-paths

  Equilibris

  committed
  2e85a35

  Copy full SHA for 2e85a35

Commits on Jun 20, 2023

• Document the ordering behavior of crate cfgs

  Show description for 3319e0e
  riking

  committed
  3319e0e

  Copy full SHA for 3319e0e

Commits on Jun 15, 2023

• remove space at the end of line

  yjhn

  authored
  2dc423d

  Copy full SHA for 2dc423d

• Apply review suggestion

  yjhn

  authored
  cbbff21

  Copy full SHA for cbbff21

Commits on Jun 14, 2023

• Remove note about soundness hole in type-layout.md

  Show description for 9eaa65a
  yjhn

  authored
  9eaa65a

  Copy full SHA for 9eaa65a

Commits on Jun 9, 2023

• Merge pull request #1366 from foresterre/fix

  Show description for 862d6f4
  ehuss

  authored
  862d6f4

  Copy full SHA for 862d6f4

Pagination

Previous

Next