Commits · buchi-complementation · i7 / owl · GitLab

In May we will update GitLab to the next major version 18.0. Deprecations will mainly affect the Api, CI/CD job tokens and GitLab Runners. Please check if your project(s) may be affected, and take the appropriate measures. Find detailed information on this here: https://docs.gitlab.com/update/deprecations/?removal_milestone=18.0

This is an archived project. Repository and other project resources are read-only.

Jan 29, 2019
- publish solution · 3ed3c2a2
  Salomon Sickert authored Jan 17, 2019
  
  3ed3c2a2
- publish exercise · e82c4f87
  Salomon Sickert authored Jan 16, 2019
  
  e82c4f87
Jan 24, 2019
- Merge branch 'extended-quality-score' into 'master' · b23abd56
  Salomon Sickert authored Jan 24, 2019
  b23abd56
- Add a scoring and caching mechanism for Strix. · 79aaa18c
  Salomon Sickert authored Sep 04, 2018
  
  79aaa18c
Dec 10, 2018
- Merge branch 'ltl2dpa-complete-fix' into 'master' · ee64ce4c
  Salomon Sickert authored Dec 10, 2018
  ee64ce4c
- Ensure a minimal number of acceptance sets, such that completing an automaton always succeeds. · c93f72df
  Salomon Sickert authored Dec 10, 2018
  
  c93f72df
Dec 04, 2018
- Merge branch 'api-fixes' into 'master' · d18dd14c
  Salomon Sickert authored Dec 04, 2018
  d18dd14c
- Simplify View#complete. · 057c3605
  Salomon Sickert authored Dec 04, 2018
  
  057c3605
Nov 29, 2018
- Merge branch 'simplification-rules-2' into 'master' · c6be1355
  Salomon Sickert authored Nov 29, 2018
  c6be1355
- More LTL rewrite rules. · 1de920ed
  Salomon Sickert authored Nov 29, 2018
  
  1de920ed
Nov 22, 2018
- Merge branch 'simplification-rules' into 'master' · ffa4c21c
  Salomon Sickert authored Nov 22, 2018
  ffa4c21c
- Add additional simplification rule. · f33789df
  Salomon Sickert authored Nov 22, 2018
  
  f33789df
Nov 16, 2018
- Merge branch 'nba2dpa-simplifications' into 'master' · fad2e9ea
  Salomon Sickert authored Nov 16, 2018
  fad2e9ea
- Remove stray nba2dpa package dependencies. · f58ee47f
  Salomon Sickert authored Nov 16, 2018
  
  f58ee47f
Nov 14, 2018
- Merge branch 'remove-implicit-simplification' into 'master' · c33adf94
  Salomon Sickert authored Nov 14, 2018
  c33adf94
- Remove implicit LTL simplification from LTL2DPA constructions. · c709d8a7
  Salomon Sickert authored Nov 14, 2018
  
  c709d8a7
- Merge branch 'fix-test' into 'master' · ad3e6a01
  Salomon Sickert authored Nov 14, 2018
  ad3e6a01
- Update formula database. · 6558e1f1
  Salomon Sickert authored Nov 14, 2018
  
  6558e1f1
- Merge branch 'degeneralize-ltl2dpa' into 'master' · b72c1d55
  Salomon Sickert authored Nov 14, 2018
  b72c1d55
- Relocate to matching package. · 892fb176
  Salomon Sickert authored Nov 14, 2018
  
  892fb176
- Split and simplify translation implementations. · 292ec42f
  Salomon Sickert authored Nov 09, 2018
  
  292ec42f
Nov 02, 2018
- Merge branch 'additional-canonical-constructions' into 'master' · 6a42f4bc
  Salomon Sickert authored Nov 02, 2018
  6a42f4bc
- Add a round-robin construction for conjunctions of GF(cosafety) formulas. · 907870bc
  Salomon Sickert authored Nov 02, 2018
  
  907870bc
Oct 30, 2018
- Merge branch 'separate-ldba2dpa-implementations' into 'master' · d98f08f9
  Salomon Sickert authored Oct 30, 2018
  d98f08f9
- Separate the nba2dpa translation from other ranking-based translations. · 5952294f
  Salomon Sickert authored Oct 30, 2018
  
  5952294f
- Merge branch 'stable-orders-for-translations' into 'master' · c87d918d
  Salomon Sickert authored Oct 30, 2018
  c87d918d
- Fix iteration-order on collections for some constructions to ensure deterministic results. · e3a627a6
  Salomon Sickert authored Oct 28, 2018
  
  e3a627a6
Oct 29, 2018
- Merge branch 're-enable-minimized-dist' into 'master' · dd94b162
  Salomon Sickert authored Oct 29, 2018
  dd94b162
- Re-enable artifact minimisation. · 85cd61f7
  Salomon Sickert authored Oct 29, 2018
  
  85cd61f7
- Merge branch 'comparable-formula' into 'master' · 7ee84dd7
  Salomon Sickert authored Oct 29, 2018
  7ee84dd7
Oct 28, 2018
- Define a (natural) total order on formulas. · b87c815f
  Salomon Sickert authored Oct 28, 2018
  
  b87c815f
Oct 24, 2018
- Merge branch 'canonical-nondeterministic-automata-construction-improvements' into 'master' · 0cf4c7ff
  Salomon Sickert authored Oct 24, 2018
  0cf4c7ff
- Simplify state type. · 32784495
  Salomon Sickert authored Oct 24, 2018
  
  32784495
Oct 22, 2018
- Merge branch 'dedupe' into 'master' · d8d487aa
  Salomon Sickert authored Oct 22, 2018
  d8d487aa
- Deduplicate literals (akin to Integer#IntegerCache) · 170e679b
  Tobias Meggendorfer authored May 21, 2018
  
  170e679b
- Merge branch 'jdk-11' into 'master' · feb8615c
  Salomon Sickert authored Oct 22, 2018
  feb8615c
- Migrate to JDK 11 and update build infrastructure: · d46a998d
  Salomon Sickert authored Sep 26, 2018
  d46a998d
Oct 18, 2018
- Fix NPE on JDK-11. · 1a344345
  Salomon Sickert authored Oct 18, 2018
  
  1a344345
- Merge branch 'compilation-fixes' into 'master' · 97e06e28
  Salomon Sickert authored Oct 18, 2018
  97e06e28
- Compilation fixes for JDK-11. · 429c0412
  Salomon Sickert authored Oct 18, 2018
  
  429c0412

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum