Commits · master · Michael Sammler / lambda-rust

May 26, 2019
- comment on disabled warnings · 08b78a76
  Ralf Jung authored 6 years ago
  
  08b78a76
May 12, 2019
- silence annoyingly verbose deprecation warning · f479c17d
  Ralf Jung authored 6 years ago
  
  f479c17d
Aug 08, 2018
- also prove faking a shared uniq ref · e6a4bef4
  Ralf Jung authored 6 years ago
  
  e6a4bef4
Sep 27, 2017
- strengthen qp_eq_loc; add a test · 89129662
  Ralf Jung authored 7 years ago
  
  89129662
Aug 24, 2017
- show that we can covnert 'a to 'static if the function never returns · 56b22fc3
  Ralf Jung authored 7 years ago
  
  56b22fc3
Jul 11, 2017
- add a stub for rayon::join · c7437a1f
  Ralf Jung authored 7 years ago
  
  c7437a1f
Jul 03, 2017
- Derive unnesting and reborrowing from a common principle. · 8602c269
  Jacques-Henri Jourdan authored 7 years ago
  8602c269
Jun 20, 2017
- Lifetime logic: rename shared borrows to atomic (persistent) borrows · 83c446d0
  Jacques-Henri Jourdan authored 7 years ago
  
  83c446d0
May 16, 2017
- An example with non-lexical lifetimes. · e9716c6a
  Jacques-Henri Jourdan authored 8 years ago
  
  e9716c6a
May 04, 2017
- swap · 6f6bd266
  Jacques-Henri Jourdan authored 8 years ago
  
  6f6bd266
May 02, 2017
- prove take_mut · e431e185
  Ralf Jung authored 8 years ago
  
  e431e185
Apr 26, 2017
- Starting the work on arc. · 98942d65
  Jacques-Henri Jourdan authored 8 years ago
  
  98942d65
Apr 24, 2017
- Library for Arc. · 8061b04a
  Jacques-Henri Jourdan authored 8 years ago
  
  8061b04a
Apr 19, 2017
- MutexGuard is a type · 15493533
  Ralf Jung authored 8 years ago
  
  15493533
- prove Mutex is a type · 4c2dcfa9
  Ralf Jung authored 8 years ago
  
  4c2dcfa9
Apr 18, 2017
- Begining the work on weak references in Rc: redesign the protocol, define the... · 8b542722
  Jacques-Henri Jourdan authored 8 years ago
  8b542722
Apr 13, 2017
- remove a file I added accidentally · 413406e3
  Ralf Jung authored 8 years ago
  
  413406e3
- switch lock spec to be accessor-based · 9e8900af
  Ralf Jung authored 8 years ago
  
  9e8900af
Mar 30, 2017
- implement a spin lock · 51564167
  Ralf Jung authored 8 years ago
  
  51564167
- Move some things from lang/ to lang/lib/ · 943d7adc
  Ralf Jung authored 8 years ago
  
  943d7adc
Mar 07, 2017
- add typing.base; declare solve_typing and its DBs there · caecc75e
  Ralf Jung authored 8 years ago
  
  caecc75e
- factor out the "delayed sharing" pattern used by own, uniq, refcell, rwlock · 0bd460e7
  Ralf Jung authored 8 years ago
  
  0bd460e7
Mar 06, 2017
- rc is a type · 5c3800b4
  Ralf Jung authored 8 years ago
  
  5c3800b4
- Move non-core typings into theories/typing/lib · 3bb06eb8
  Ralf Jung authored 8 years ago
  
  3bb06eb8
Mar 05, 2017
- Faking a shared box. · 548c068c
  Jacques-Henri Jourdan authored 8 years ago
  
  548c068c
Feb 25, 2017
- Proove that RWlock is safe. · e7e16b65
  Jacques-Henri Jourdan authored 8 years ago
  e7e16b65
Feb 23, 2017
- Remove a file from _Coqproject. · 304a5901
  Jacques-Henri Jourdan authored 8 years ago
  
  304a5901
- Define the type option. Merge some examples in this file. · e412af58
  Jacques-Henri Jourdan authored 8 years ago
  
  e412af58
Feb 22, 2017
- try to improve parallelism by putting the examples last · 999ce2e3
  Ralf Jung authored 8 years ago
  
  999ce2e3
Feb 11, 2017
- update lang to use heap_lang style: merge lifting.v and derived.v · 53a237b5
  Ralf Jung authored 8 years ago
  
  53a237b5
Feb 09, 2017
- prove a spawn-join primitive · 7532af1b
  Ralf Jung authored 8 years ago
  7532af1b
- prove thread::spawn · 1d5970bd
  Ralf Jung authored 8 years ago
  
  1d5970bd
- update buildsystem · 7594024f
  Ralf Jung authored 8 years ago
  
  7594024f
Jan 30, 2017
- Dereferencing and dropping a RefMut. · 089b2cd3
  Jacques-Henri Jourdan authored 8 years ago
  
  089b2cd3
Jan 26, 2017
- Cloning a ref. · 69d17323
  Jacques-Henri Jourdan authored 8 years ago
  69d17323
Jan 25, 2017
- Move refcell into a folder. · a77064a1
  Jacques-Henri Jourdan authored 8 years ago
  
  a77064a1
- Split refcell.v into pieces. · ce0b65e4
  Jacques-Henri Jourdan authored 8 years ago
  
  ce0b65e4
Jan 24, 2017
- Try to stay up to date wrt heaplang's proofmode.v. · 2b9a48be
  Jacques-Henri Jourdan authored 8 years ago
  
  2b9a48be
Jan 23, 2017
- RefCell is a type. · b8916e4a
  Jacques-Henri Jourdan authored 8 years ago
  
  b8916e4a
Jan 13, 2017
- rename tests -> examples · bfe08683
  Ralf Jung authored 8 years ago
  
  bfe08683