Various bug fixes (!10) · Merge requests · Lennard Gäher / Refinedrust Dev · GitLab

Snippets Groups Projects

Merged Lennard Gäher requested to merge ci/manual into main 1 year ago

Jan 11, 2024
- fix bug with unit · f2107ce5
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  f2107ce5
Jan 09, 2024
- provide tactic for apply_update · 96298cd0
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  96298cd0
- move augment_context · 9dd74f4b
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  9dd74f4b
- improve manual proof support · 68b8c002
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  68b8c002
- improve rule · c03410c4
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  c03410c4
- use semantic loc_eq · 7020ec88
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  7020ec88
- fix · a28f7b1b
  Lennard Gäher authored 1 year ago
  
  Unverified
  
  a28f7b1b