Commits · a59e398c16b55d379c1f665c38facf026fe34a9a · Lennard Gäher / Refinedrust Dev

Nov 30, 2023
- bump rust version and switch to nightly versions · a59e398c
  Lennard Gäher authored 1 year ago
  
  a59e398c
Nov 29, 2023
- fix regression · e7f0c776
  Lennard Gäher authored 1 year ago
  
  e7f0c776
- Merge branch 'main' of https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev · 89f0449f
  Lennard Gäher authored 1 year ago
  
  89f0449f
- cargo integration · 4a719507
  Lennard Gäher authored 1 year ago
  
  4a719507
- make typed_stmt have a proper continuation · 8faba9bc
  Lennard Gäher authored 1 year ago
  
  8faba9bc
Nov 24, 2023
- refactor some frontend components into crates · 6de011b3
  Lennard Gäher authored 1 year ago
  
  6de011b3
- always compile as lib · 701a0f42
  Lennard Gäher authored 1 year ago
  
  701a0f42
- move binary into its own crate · 8f456e50
  Lennard Gäher authored 1 year ago
  
  8f456e50
Nov 23, 2023
- fix script a bit more · 0f0863d1
  Lennard Gäher authored 1 year ago
  
  0f0863d1
- script -y · a0c79806
  Lennard Gäher authored 1 year ago
  
  a0c79806
- maybe properly fix installation? · bcbb1a76
  Lennard Gäher authored 1 year ago
  
  bcbb1a76
- update cargo.lock · 0dc9a850
  Lennard Gäher authored 1 year ago
  
  0dc9a850
- update scripts · 10beecda
  Lennard Gäher authored 1 year ago
  
  10beecda
Nov 22, 2023
- Merge branch 'main' of https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev · 9cf59d95
  Lennard Gäher authored 1 year ago
  
  9cf59d95
- add dependencies · c7211351
  Lennard Gäher authored 1 year ago
  
  c7211351
- fix script · 0d250182
  Lennard Gäher authored 1 year ago
  
  0d250182
- script fixes · b44e3bc2
  Lennard Gäher authored 1 year ago
  
  b44e3bc2
- Merge branch 'main' of https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev · e7629e51
  Lennard Gäher authored 1 year ago
  
  e7629e51
- add some setup scripts for consumers of refinedrust · 8260c255
  Lennard Gäher authored 1 year ago
  
  8260c255
Nov 20, 2023
- Update README.md · a505c811
  Lennard Gäher authored 1 year ago
  
  a505c811
Nov 15, 2023
- Merge branch 'main' of gitlab.mpi-sws.org:lgaeher/refinedrust-dev · 92c77581
  Lennard Gäher authored 1 year ago
  
  92c77581
- update limitations · 76c94908
  Lennard Gäher authored 1 year ago
  
  76c94908
- Update .gitlab-ci.yml · f57c833b
  Lennard Gäher authored 1 year ago
  
  f57c833b
- various untracked changes · 0d92723c
  Lennard Gäher authored 1 year ago
  
  0d92723c
- fix · f9ec31f8
  Lennard Gäher authored 1 year ago
  
  f9ec31f8
Nov 14, 2023
- fix frontend regression · 2197a25a
  Lennard Gäher authored 1 year ago
  
  2197a25a
- make stuff opaque · adb603c5
  Lennard Gäher authored 1 year ago
  
  adb603c5
Nov 13, 2023
- generate construct_enum instances · 20d5012d
  Lennard Gäher authored 1 year ago
  
  20d5012d
- upstream stuff into frontend · f8275d20
  Lennard Gäher authored 1 year ago
  
  f8275d20
Nov 12, 2023
- fix regression with late-bound regions · 8af30a58
  Lennard Gäher authored 1 year ago
  
  8af30a58
Nov 09, 2023
- fix grow · 14a6ca1d
  Lennard Gäher authored 1 year ago
  
  14a6ca1d
- fix Z2Nat bug · 8dcad25a
  Lennard Gäher authored 1 year ago
  
  8dcad25a
- make MaxInt/MinInt opaque · 7275ed44
  Lennard Gäher authored 1 year ago
  
  7275ed44
Nov 08, 2023
- Merge branch 'main' of gitlab.mpi-sws.org:lgaeher/refinedrust-dev · caea711f
  Lennard Gäher authored 1 year ago
  
  caea711f
- progress on enums · 8c1027b6
  Lennard Gäher authored 1 year ago
  
  8c1027b6
Nov 06, 2023
- Merge branch 'main' into 'main' · 4d03b7b7
  Lennard Gäher authored 1 year ago
  
  fix(translation): Remove buffered concurrency with run_check See merge request !1
  4d03b7b7
- close stratification · 8ae4bf25
  Lennard Gäher authored 1 year ago
  
  8ae4bf25
- make borrow rules work for PlaceGhost · 09610ef0
  Lennard Gäher authored 1 year ago
  
  09610ef0
Nov 03, 2023
- close struct lemma · 9e7d719e
  Lennard Gäher authored 1 year ago
  
  9e7d719e
- move some things around · 4b182cb8
  Lennard Gäher authored 1 year ago
  
  4b182cb8