Skip to content

Add assume intrinsic#18080

Merged
bors merged 2 commits intorust-lang:masterfrom
veddan:assume
Oct 25, 2014
Merged

Add assume intrinsic#18080
bors merged 2 commits intorust-lang:masterfrom
veddan:assume

Commits

Commits on Oct 15, 2014

Commits on Oct 16, 2014