Commits · master · Lukas Schulze / dl-results-popups

Sep 29, 2021
- fix my previous typo · 1899a219
  Lukas Schulze authored 3 years ago
  
  1899a219
- fix cursor · b2138c0f
  Lukas Schulze authored 3 years ago
  
  b2138c0f
- recompile all the html files · 438c37b7
  Lukas Schulze authored 3 years ago
  
  438c37b7
- make popup windows for source · 214c6621
  Lukas Schulze authored 3 years ago
  
  214c6621
- init gitignore · e38d1770
  Lukas Schulze authored 3 years ago
  
  e38d1770
Sep 19, 2021
- Results · 6672b905
  leif authored 3 years ago
  
  6672b905
Aug 25, 2021
- alc subsumption result · a4bd9a86
  leif authored 3 years ago
  
  a4bd9a86
Jul 23, 2021
- results about FO-rewritability · f6660f8c
  leif authored 3 years ago
  
  f6660f8c
Jul 17, 2021
- sources format · 4ef2a947
  sabellek authored 3 years ago
  
  4ef2a947
- results · c331e00c
  sabellek authored 3 years ago
  
  c331e00c
- some results · 89124337
  sabellek authored 3 years ago
  
  89124337
- bugfix · aa435c9c
  sabellek authored 3 years ago
  
  aa435c9c
Aug 20, 2020
- some results on conservative extensions · 3584b8ea
  sabellek authored 4 years ago
  
  3584b8ea
- Optimization: data is now checked for consistency once at import, instead of... · 6aaf28f9
  sabellek authored 4 years ago
  6aaf28f9
- refactoring: instead of two sets for the results (original results and... · f7ef05e0
  sabellek authored 4 years ago
  f7ef05e0
- timer · 6063bad0
  sabellek authored 4 years ago
  
  6063bad0
- style and refactoring · 97077a84
  sabellek authored 4 years ago
  
  97077a84
Aug 19, 2020
- some results on the guarded fragment · ed3e6627
  leif authored 4 years ago
  
  ed3e6627
- Merge branch 'faster' into 'master' · 62807a60
  Leif Ingwert Sabellek authored 4 years ago
  62807a60
Aug 18, 2020
- Use a set to avoid slow search in add_lower_bound and add_upper_bound · bd7fde08
  mfunk authored 4 years ago
  
  bd7fde08
- removed a wrong result · 9262d0e6
  leif authored 4 years ago
  
  9262d0e6
- added readme · fae28e7b
  leif authored 4 years ago
  
  fae28e7b
- initial commit · c7f323d1
  leif authored 4 years ago
  
  c7f323d1