Commits · master · Léo Stefanesco / stdpp · GitLab

Snippets Groups Projects

Apr 19, 2024
- Merge branch 'require-vector' into 'master' · e40779e3
  Ralf Jung authored 1 year ago
  e40779e3
- Apply 1 suggestion(s) to 1 file(s) · 1bdbb4dd
  Ralf Jung authored 1 year ago and Andres Erbsen committed 1 year ago
  
  1bdbb4dd
Apr 17, 2024
- Explicitly Require Coq Vector in vector.v (for coq/coq#18936) · 47fa2683
  Andres Erbsen authored 1 year ago
  
  47fa2683
Apr 16, 2024
- sync test output check with Iris · c317cd31
  Ralf Jung authored 1 year ago
  
  c317cd31
Apr 12, 2024
- Merge branch 'master' into 'master' · bc24e51c
  Robbert Krebbers authored 1 year ago
  bc24e51c
- README. · b985d378
  Robbert Krebbers authored 1 year ago
  
  b985d378
- Generalize all `comm_acc` lemmas. · e7f4b4b4
  Robbert Krebbers authored 1 year ago
  
  e7f4b4b4
- Generalization of map_fold_comm_acc · 8ab8747f
  Yannick Zakowski authored 1 year ago
  
  8ab8747f
- Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp · af901d0b
  Ralf Jung authored 1 year ago
  
  af901d0b
- set release date · 60a677d9
  Ralf Jung authored 1 year ago
  
  60a677d9
- Merge branch 'ralf/readme-blocked' into 'master' · 46928b9d
  Robbert Krebbers authored 1 year ago
  46928b9d
- Merge branch 'ralf/release' into 'master' · eb2afa52
  Ralf Jung authored 1 year ago
  eb2afa52
- prepare changelog for release · ff1a8cf1
  Ralf Jung authored 1 year ago
  
  ff1a8cf1
Apr 11, 2024
- Merge branch 'ralf/bitvector' into 'master' · 614f8ccc
  Ralf Jung authored 1 year ago
  614f8ccc
- add maintain comment · 188c1b34
  Michael Sammler authored 1 year ago
  
  188c1b34
- update file structure · ab90b0bc
  Michael Sammler authored 1 year ago
  
  ab90b0bc
- add change log entry for bitvector package and remove stdpp_unstable/.keep · 6da05b7a
  Michael Sammler authored 1 year ago
  
  6da05b7a
- bitvector.bitvector_tactics -> bitvector.tactics · 6c1e9be8
  Michael Sammler authored 1 year ago
  
  6c1e9be8
- pass over new stdpp-bitvector package · b815c10b
  Michael Sammler authored 1 year ago
  
  b815c10b
- create new package for stdpp-bitvector library · f200f93d
  Ralf Jung authored 1 year ago and Michael Sammler committed 1 year ago
  
  f200f93d
Apr 03, 2024
- Merge branch 'ralf/restart' into 'master' · a91260bd
  Ralf Jung authored 1 year ago
  a91260bd
- always add Proof. after Restart. · 2d9a7ce0
  Ralf Jung authored 1 year ago
  
  2d9a7ce0
- Merge branch 'ralf/inv-select' into 'master' · 813727ae
  Ralf Jung authored 1 year ago
  813727ae
- add 'inv(ersion) select' · ab64d367
  Ralf Jung authored 1 year ago
  
  ab64d367
- readme: mention more operations we block · f3e74eec
  Ralf Jung authored 1 year ago
  
  f3e74eec
Mar 12, 2024
- Merge branch 'msammler/cleanup_bitblast_mod' into 'master' · a186464f
  Ralf Jung authored 1 year ago
  a186464f
- Cleanup bitblast_mod after dropping support for Coq 8.13 · 294b7b57
  Michael Sammler authored 1 year ago
  
  294b7b57
Mar 11, 2024
- Merge branch 'msammler/euclidean_division_cleanup_slowdown' into 'master' · a8c0c0f8
  Ralf Jung authored 1 year ago
  a8c0c0f8
- Fix slowdown in bv_saturate from https://github.com/coq/coq/pull/17984 · 1af7cb9d
  Michael Sammler authored 1 year ago
  
  1af7cb9d
Mar 05, 2024
- Merge branch 'propsetbinder' into 'master' · 69984fab
  Robbert Krebbers authored 1 year ago
  69984fab
- Improve CHANGELOG. · fc4a5089
  Robbert Krebbers authored 1 year ago
  
  fc4a5089
- Allow patterns and type annotations in propset notation · 3aa5cd2d
  Thibaut Pérami authored 1 year ago
  
  3aa5cd2d
- Merge branch 'robbert/join_app' into 'master' · 62680a79
  Robbert Krebbers authored 1 year ago
  62680a79
Feb 29, 2024
- CHANGELOG. · dcbd66a5
  Robbert Krebbers authored 1 year ago
  
  dcbd66a5
- Add lemma `join_app`. · ef0799ab
  Robbert Krebbers authored 1 year ago
  
  ef0799ab
Feb 09, 2024
- Merge branch 'coq_18590' into 'master' · cafd7113
  Ralf Jung authored 1 year ago
  cafd7113
Feb 07, 2024
- Adapt to https://github.com/coq/coq/pull/18590 · d8427eec
  Pierre Roux authored 1 year ago
  
  d8427eec
- Merge branch 'ralf/old-coq' into 'master' · 5dcd0197
  Ralf Jung authored 1 year ago
  5dcd0197
Feb 05, 2024
- drop support for Coq 8.16 and 8.17 · a178b667
  Ralf Jung authored 1 year ago
  
  a178b667
Feb 02, 2024
- Merge branch 'ralf/coq-8.19' into 'master' · a2456618
  Ralf Jung authored 1 year ago
  a2456618