Commits · ab0ae6cb147c3ea1ba8dff446a6aecf0ccf163d7 · Maxime Dénès / iris-coq

Oct 13, 2016
- get rid of the strange pvs_intro'; use pvs_intro_mask instead · ab0ae6cb
  Ralf Jung authored 8 years ago
  
  ab0ae6cb
Oct 12, 2016

Ralf Jung authored 8 years ago

rename program_logic.{ownership -> wsat}. It really is about world satisfaction and invariants more than about ownership.

4485ef7d

Oct 05, 2016
- No longer put proof mode class instances in their own file. · afae72fd
  Robbert Krebbers authored 8 years ago
  
  afae72fd
Aug 27, 2016
- Add weakest-pre version atomic_triple · b92e8df1
  Zhen Zhang authored 8 years ago
  
  b92e8df1
Aug 24, 2016
- Simplify incr_2_safe. · 62299a95
  Jacques-Henri Jourdan authored 8 years ago
  
  62299a95
- Provide a user-side example of atomic_triple · e5eacdc3
  Zhen Zhang authored 8 years ago
  
  e5eacdc3
- Fix FIXME in atomic.v · 25f6e916
  Zhen Zhang authored 8 years ago
  
  25f6e916
- atomic · f6078a30
  Zhen Zhang authored 8 years ago
  
  f6078a30