Commits

Branch selector

 e94fb3d

User selector

All users

Datepicker

All time

Commit History

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

• 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

• 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

Commits on Jun 8, 2023

• Fix inconsistent formatting of Disambiguating Function Calls example

  foresterre

  committed
  9b49697

  Copy full SHA for 9b49697

Commits on May 29, 2023

• Merge pull request #1357 from loongarch-rs/loongarch

  Show description for 5787c88
  ehuss

  authored
  5787c88

  Copy full SHA for 5787c88

Commits on May 25, 2023

• Merge pull request #1364 from spencerwilson/patch-1

  Show description for e5ecb2d
  ehuss

  authored
  e5ecb2d

  Copy full SHA for e5ecb2d

• comments: Fix typo: inner -> outer

  spencerwilson

  authored
  b1d0c5b

  Copy full SHA for b1d0c5b

Commits on May 22, 2023

• Merge pull request #1360 from eegli/patch-1

  Show description for 553d99b
  ehuss

  authored
  553d99b

  Copy full SHA for 553d99b

• Remove use of `ignore` from examples.

  ehuss

  authored
  3f5f3b2

  Copy full SHA for 3f5f3b2

• Merge pull request #1335 from gibbyfree/natvis-doc

  Show description for f30520a
  ehuss

  authored
  f30520a

  Copy full SHA for f30520a

Commits on May 17, 2023

• fix example code in impl docs

  eegli

  authored
  5f49f2d

  Copy full SHA for 5f49f2d

Pagination

Previous

Next