Commits · master · William Mansky / Iris

Mar 18, 2023
- add 'wp_apply (...) as' · 6900258e
  Ralf Jung authored 2 years ago
  
  6900258e
- move style guide into repository · eaed5f16
  Ralf Jung authored 1 year ago
  
  eaed5f16
Mar 09, 2023
- Improve iCombine to allow a 'gives' clause for validity properties · 02a46fc6
  Ike Mulder authored 2 years ago and Robbert Krebbers committed 2 years ago
  
  02a46fc6
Nov 16, 2022
- Consider intro pattern `IRewrite` (->/<-) to be intuitionistic · 7b3ccc15
  Robbert Krebbers authored 2 years ago and Ralf Jung committed 2 years ago
  
  7b3ccc15
Oct 28, 2022
- docs/proof_guide.md: fix broken link · acaaa588
  Armaël Guéneau authored 2 years ago
  
  acaaa588
Aug 26, 2022
- move some lengthy unicode configurations to separate files · 5d023ba4
  Ralf Jung authored 2 years ago
  
  5d023ba4
- renamed configuration file · 2cdead87
  Old Account Benjamin Peters authored 2 years ago
  
  2cdead87
Aug 25, 2022
- moved ultisnips configuration to its own file · 0f8cd146
  Old Account Benjamin Peters authored 2 years ago
  
  0f8cd146
- Fixed ilnk to iris/bi/ascii.v · ae2251fc
  Old Account Benjamin Peters authored 2 years ago
  
  ae2251fc
Aug 22, 2022
- Added UltiSnips as an alternative way of inserting unicode characters in Vim · 57314d18
  Old Account Benjamin Peters authored 2 years ago
  
  57314d18
Aug 04, 2022
- update documentation and make it match reality · 01abd043
  Ralf Jung authored 2 years ago
  
  01abd043
Jul 30, 2022
- Add "Fira Code Retina" instructions for Linux · 07de39c9
  Niklas Mück authored 2 years ago
  
  see https://github.com/tonsky/FiraCode/wiki/VS-Code-Instructions
  07de39c9
Jul 13, 2022
- clarify · 1c105c7d
  Robbert Krebbers authored 2 years ago and Ralf Jung committed 2 years ago
  
  1c105c7d
Jul 07, 2022
- document wp_smart_apply · 1db4c77d
  Ralf Jung authored 2 years ago
  
  1db4c77d
May 11, 2022
- Updated suggested emacs indendation configuration · 6df13ca8
  Jonas Kastberg authored 2 years ago and Ralf Jung committed 2 years ago
  
  6df13ca8
Mar 21, 2022
- Only use Existing Instances. · 1411b0a9
  Paolo G. Giarrusso authored 2 years ago
  
  1411b0a9
Mar 20, 2022
- Doc changes from Ralf · b43f13c9
  Ralf Jung authored 2 years ago and Paolo G. Giarrusso committed 2 years ago
  
  Verified
  
  b43f13c9
- Sketch some docs. · b73e5cb5
  Paolo G. Giarrusso authored 2 years ago
  
  Verified
  
  b73e5cb5
- Hide preG instances · cabdcfc3
  Paolo G. Giarrusso authored 2 years ago
  
  Verified
  
  cabdcfc3
- Also hide ghost_mapG instances · dbe95c90
  Paolo G. Giarrusso authored 2 years ago
  
  Verified
  
  dbe95c90
- Style fixes from review · aaa9eb9c
  Paolo G. Giarrusso authored 3 years ago
  
  Verified
  
  aaa9eb9c
- Use new style for `inG` instances in docs as well · a030dceb
  Paolo G. Giarrusso authored 3 years ago
  
  Verified
  
  a030dceb
Dec 15, 2021
- minor typo in ra.md · 97045192
  Vincent Siles authored 3 years ago
  
  97045192
Nov 10, 2021
- Added support for `by` and `forall` · d1131ebd
  Jonas Kastberg authored 3 years ago
  
  d1131ebd
- Suggested fix for indentation problem · 79a108a8
  Jonas Kastberg authored 3 years ago
  
  79a108a8
Oct 15, 2021
- vim editor docs · 778e70ed
  Lennard Gäher authored 3 years ago
  
  778e70ed
Jun 02, 2021
- update RA docs · 1560da9e
  Ralf Jung authored 3 years ago
  
  1560da9e
- fix typo · 632f92c5
  Ralf Jung authored 3 years ago
  
  632f92c5
- rename global singletons to 'GS' suffix · 1118f70f
  Ralf Jung authored 3 years ago
  
  1118f70f
May 25, 2021
- Document `iInduction ... using` tactic. · 20145c5f
  Robbert Krebbers authored 3 years ago and Ralf Jung committed 3 years ago
  
  20145c5f
Apr 22, 2021
- Apply 3 suggestion(s) to 1 file(s) · 2f262935
  Ralf Jung authored 3 years ago
  
  2f262935
- add some guidance on how to handle mask mismatches · 05f77071
  Ralf Jung authored 3 years ago
  
  05f77071
Mar 24, 2021
- improve comments · b861419a
  Ralf Jung authored 3 years ago
  
  b861419a
- Move old note in proof mode docs. · bb9201b5
  Robbert Krebbers authored 3 years ago
  
  This note is obsolete due to iris/iris!640
  bb9201b5
- extend proof_mode.md · 260e0593
  Ralf Jung authored 3 years ago
  
  260e0593
Mar 03, 2021
- Fix typos · abdf4fa5
  Yusuke Matsushita authored 4 years ago and Ralf Jung committed 4 years ago
  
  abdf4fa5
Jan 27, 2021
- Add [iSelect], and various tactics based on it · 6e94dcaa
  Rodolphe Lepigre authored 4 years ago and Ralf Jung committed 4 years ago
  
  6e94dcaa
Jan 20, 2021
- While we are at it, also update cFunctor → oFunctor in docs. · 402819c4
  Robbert Krebbers authored 4 years ago
  
  402819c4
- Also update docs. · a762d183
  Robbert Krebbers authored 4 years ago
  
  a762d183
Jan 07, 2021
- adjust docs for new PreG pattern · 339e9d14
  Ralf Jung authored 4 years ago
  
  339e9d14