Commits · overflow · Nils Fitinghoff / seer

Feb 28, 2018
- change + to wrapping_add · 148e6475
  nilfit authored 7 years ago
  148e6475
- revert to old return value for intrinsic_overflowing · 3b4c362e
  nilfit authored 7 years ago
  3b4c362e
Feb 27, 2018
- add overflow example · 6fe2f4d9
  nilfit authored 7 years ago
  
  6fe2f4d9
- fix overflow in overflow check for signed integer subtraction · 74d3c232
  nilfit authored 7 years ago
  
  74d3c232
- add overflow check for symbolic integer subtraction · e07d9617
  nilfit authored 7 years ago
  e07d9617
- change functions to enable overflow checks for symbolic arithmetic · b2a7df97
  nilfit authored 7 years ago
  b2a7df97
Feb 24, 2018
- ignore compile-fail/match_char.rs for now, to get CI passing again · 8f234780
  David Renshaw authored 7 years ago
  
  8f234780
Feb 12, 2018
- rustup · 8f4c77c6
  David Renshaw authored 7 years ago
  
  8f4c77c6
Feb 10, 2018
- rustup: add FalseUnwind variant · d18d93ba
  David Renshaw authored 7 years ago
  
  d18d93ba
Feb 05, 2018
- rustup: layout_of() · 65ff27b7
  David Renshaw authored 7 years ago
  
  65ff27b7
Jan 30, 2018
- rustup · b02359cc
  David Renshaw authored 7 years ago
  
  b02359cc
Jan 28, 2018
- update compiletest to 0.3.6 to fix breakage · 69c621fa
  David Renshaw authored 7 years ago
  
  69c621fa
Jan 24, 2018
- fix some formatting · a59ff640
  David Renshaw authored 7 years ago
  
  a59ff640
Jan 22, 2018
- remove unused import · beed7cd5
  David Renshaw authored 7 years ago
  
  beed7cd5
- remove vestigial miri option · bc274214
  David Renshaw authored 7 years ago
  
  bc274214
- rustup · 7ce3fadf
  David Renshaw authored 7 years ago
  
  7ce3fadf
Jan 20, 2018
- simplify argument unpacking logic · f2962eab
  David Renshaw authored 7 years ago
  
  f2962eab
Jan 18, 2018
- update to a real release of env_logger · 8eddf6ff
  David Renshaw authored 7 years ago
  
  8eddf6ff
Jan 11, 2018
- Pointer -> MemoryPointer, to better match MIRI · 0bb8c109
  David Renshaw authored 7 years ago
  
  0bb8c109
Jan 10, 2018
- add generator niche test · 7bf4dff1
  David Renshaw authored 7 years ago
  
  7bf4dff1
- struct_variant -> non_enum_variant · f4f20b36
  David Renshaw authored 7 years ago
  
  f4f20b36
Jan 07, 2018
- rustup: IntTy::Is -> IntTy::Isize, UintTy::Us -> UintTy::Usize · 059c2578
  David Renshaw authored 7 years ago
  
  059c2578
Jan 06, 2018
- add a three-argument version in the iter_any test, for good measure · 83a63561
  David Renshaw authored 7 years ago
  
  83a63561
- fix argument unpacking issue and add a test that exercises the problem · a071e1c6
  David Renshaw authored 7 years ago
  
  a071e1c6
- cargo update · 8e2c8593
  David Renshaw authored 7 years ago
  
  8e2c8593
- update logger deps · 390a9a87
  David Renshaw authored 7 years ago
  
  390a9a87
Jan 03, 2018
- update compiletest dependency · b362eb07
  David Renshaw authored 7 years ago
  
  b362eb07
Dec 27, 2017
- cargo update · b5a7e302
  David Renshaw authored 7 years ago
  
  b5a7e302
Dec 25, 2017
- cover new Abort terminator kind · 75293d61
  David Renshaw authored 7 years ago
  
  75293d61
Dec 21, 2017
- rustup · 7113e990
  David Renshaw authored 7 years ago
  
  7113e990
Dec 18, 2017
- remove PtrAndAlign · 3ea1a147
  David Renshaw authored 7 years ago
  
  3ea1a147
- "fix" breakage from https://github.com/rust-lang/rust/pull/46436 · 517c45a1
  David Renshaw authored 7 years ago
  
  517c45a1
Dec 15, 2017
- use now-exposed rustc version of resolve_closure · 8ee83a8b
  David Renshaw authored 7 years ago
  
  8ee83a8b
Dec 08, 2017
- rustup: fn_sig() -> closure_sig() · ce6b2121
  David Renshaw authored 7 years ago
  
  ce6b2121
Dec 04, 2017
- tweak wording in readme · 4fcbb21a
  David Renshaw authored 7 years ago
  
  4fcbb21a
Dec 03, 2017
- pull in some update Abi::RustCall code from miri · 2b026cc7
  David Renshaw authored 7 years ago
  
  2b026cc7
- minor simplification · 40361afe
  David Renshaw authored 7 years ago
  
  40361afe
- Pointer::with_primval_offset() · f2d895a6
  David Renshaw authored 7 years ago
  
  f2d895a6
- use run-pass instead of mir-opt in compiletest, greatly speeding up 'cargo test' · bc5e76e1
  David Renshaw authored 7 years ago
  
  bc5e76e1
- add PointerOffset::as_primval() method · 9ccc13ab
  David Renshaw authored 7 years ago
  
  9ccc13ab