Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 4, 2021

• Merge pull request #30 from 0xflotus/patch-1

  Show description for 8bccb92
  nrc

  authored
  8bccb92

  Copy full SHA for 8bccb92

• enabled syntax highlighting

  0xflotus

  authored
  4801f34

  Copy full SHA for 4801f34

• Merge pull request #29 from 0xflotus/patch-1

  Show description for d9c7e67
  nrc

  authored
  d9c7e67

  Copy full SHA for d9c7e67

Commits on Dec 27, 2020

• fix: small error

  0xflotus

  authored
  da9efc2

  Copy full SHA for da9efc2

Commits on Apr 14, 2016

• Merge pull request #26 from badboy/fix-for-nightly

  Show description for 108e29a
  nrc

  committed
  108e29a

  Copy full SHA for 108e29a

• Fix used types

  badboy

  committed
  96b1ad1

  Copy full SHA for 96b1ad1

Commits on Oct 12, 2015

• rustup

  

  Nick Cameron

  committed
  37c9764

  Copy full SHA for 37c9764

Commits on Sep 17, 2015

• Update to latest Rust - some idents need spans

  

  Nick Cameron

  committed
  b458e41

  Copy full SHA for b458e41

Commits on Aug 9, 2015

• Merge branch 'lenzj-master'

  

  Nick Cameron

  committed
  012dc92

  Copy full SHA for 012dc92

• Add method, release, and compile tests.

  

  lenzj

  authored and

  Nick Cameron

  committed
  ccb2fb7

  Copy full SHA for ccb2fb7

• Attempt number 2 at fixing debug assertions

  

  Nick Cameron

  committed
  901973b

  Copy full SHA for 901973b

• rustup with get_ident/get_name changes

  

  Nick Cameron

  committed
  17b52f9

  Copy full SHA for 17b52f9

• Use cfg! for debug assertions

  

  Nick Cameron

  committed
  804956a

  Copy full SHA for 804956a

Commits on Jul 12, 2015

• Update readme

  

  Nick Cameron

  committed
  2d97f73

  Copy full SHA for 2d97f73

• Merge pull request #23 from nrc/broken-methods

  Show description for 11236ba
  nrc

  committed
  11236ba

  Copy full SHA for 11236ba

• Update travis.yml to use nightly

  

  Nick Cameron

  committed
  1de1fc7

  Copy full SHA for 1de1fc7

• Refactor *_body functions

  

  Nick Cameron

  committed
  1fb356b

  Copy full SHA for 1fb356b

• Support methods for postconditions and invariants

  

  Nick Cameron

  committed
  f546f4c

  Copy full SHA for f546f4c

• Factor out postcond_body and invariant_body

  

  Nick Cameron

  committed
  7cccc16

  Copy full SHA for 7cccc16

• Change some __result to return in examples

  

  Nick Cameron

  committed
  589dd01

  Copy full SHA for 589dd01

• Factor out mapping over Annotatables

  

  Nick Cameron

  committed
  1b4bb63

  Copy full SHA for 1b4bb63

• Change from using nested methods to loop blocks

  

  Nick Cameron

  committed
  a4532f4

  Copy full SHA for a4532f4

• WIP - methods

  

  Nick Cameron

  committed
  31e1d8f

  Copy full SHA for 31e1d8f

Commits on Jul 5, 2015

• Update the readme

  Show description for 01a3102
  

  Nick Cameron

  committed
  01a3102

  Copy full SHA for 01a3102

Commits on Jul 4, 2015

• Update to the latest Rust

  Show description for 6b2014b
  

  Nick Cameron

  committed
  6b2014b

  Copy full SHA for 6b2014b

Commits on Apr 23, 2015

• Merge pull request #16 from gsingh93/master

  Show description for 1623c8c
  nrc

  committed
  1623c8c

  Copy full SHA for 1623c8c

Commits on Apr 22, 2015

• Upated to nightly

  gsingh93

  committed
  8f5c68b

  Copy full SHA for 8f5c68b

Commits on Mar 6, 2015

• Merge pull request #15 from jakub-/update

  Show description for 5e59328
  nrc

  committed
  5e59328

  Copy full SHA for 5e59328

Commits on Mar 2, 2015

• Add Cargo.lock to .gitignore

  

  Jakub Bukaj

  committed
  4c085c1

  Copy full SHA for 4c085c1

• Slightly refactor two functions

  

  Jakub Bukaj

  committed
  bf78491

  Copy full SHA for bf78491

• Update to latest Rust

  

  Jakub Bukaj

  committed
  f378c25

  Copy full SHA for f378c25

Commits on Nov 23, 2014

• Add .travis.yml and update Cargo.toml/readme.md

  

  Nick Cameron

  committed
  a6db1e8

  Copy full SHA for a6db1e8

Commits on Nov 20, 2014

• Add some metadata to Cargo.toml

  

  Nick Cameron

  committed
  031f1d3

  Copy full SHA for 031f1d3

Commits on Nov 17, 2014

• Merge pull request #13 from scialex/allow-pub

  Show description for 8df0632
  nrc

  committed
  8df0632

  Copy full SHA for 8df0632

• allow conditions on public functions

  

  scialex

  authored and

  Alexander Light

  committed
  d387120

  Copy full SHA for d387120

Pagination

Previous

Next