Commits · 4f82f46270307f6daa730f2cae421f1a1e11fe86 · Thibaut Pérami / stdpp

Jun 08, 2022
- ref tests: be less sensitive to trailing spaces · 4f82f462
  Ralf Jung authored 2 years ago
  
  4f82f462
Apr 20, 2021
- Add pretty printing tests for multiset literals. · 8daabbfc
  Robbert Krebbers authored 3 years ago
  
  8daabbfc
Mar 19, 2021
- Finite map notations · b5c5762c
  Lennard Gäher authored 4 years ago and Robbert Krebbers committed 4 years ago
  
  b5c5762c
Apr 09, 2020
- Add tests for equiv notation · f5ed12e1
  Paolo G. Giarrusso authored 4 years ago
  
  Extracted from iris/iris!409.
  f5ed12e1
Nov 01, 2018
- Support singletons in `solve_map_disjoint`. · 2776d930
  Robbert Krebbers authored 6 years ago
  
  2776d930
Jun 25, 2018
- begin a test suite · 70c1dfc6
  Ralf Jung authored 6 years ago
  
  70c1dfc6