Commits · buchi-complementation · i7 / owl

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
```
Extend the C++ interface with an enhanced edge scoring mechanism and an automaton cache.

See merge request i7/owl!258
```
  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
```
[ltl2dpa]  Fix completing automata.

See merge request i7/owl!277
```
  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
```
Simplify View Utility Class.

See merge request i7/owl!276
```
  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
```
More LTL rewrite rules.

See merge request i7/owl!275
```
  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
```
Simplification Rules.

See merge request i7/owl!274
```
  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
```
Remove Stray nba2dpa Package Dependencies.

See merge request i7/owl!273
```
  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
```
Remove implicit LTL simplification from LTL2DPA constructions.

See merge request i7/owl!272
```
  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
```
Extend Automaton Property Testing.

See merge request i7/owl!271
```
  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
```
LTL2DPA Complexity Reduction

See merge request i7/owl!270
```
  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
```
Add a round-robin construction for conjunctions of GF(cosafety) formulas.

See merge request i7/owl!269
```
  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
```
Separate the nba2dpa Translation from other Ranking-Based Translations.

See merge request i7/owl!268
```
  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
```
Fix iteration-order on collections for some constructions to ensure deterministic results.

See merge request i7/owl!267
```
  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
```
Re-enable artifact minimisation.

See merge request i7/owl!266
```
  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
```
Define a (natural) total order on formulas.

See merge request i7/owl!265
```
  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
```
Simplify canonical NBA state type.

See merge request i7/owl!264
```
  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
```
Deduplicate literals (akin to Integer#IntegerCache)

See merge request i7/owl!212
```
  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
```
Upgrade to JDK-11

See merge request i7/owl!263
```
  feb8615c
- Migrate to JDK 11 and update build infrastructure: · d46a998d
  Salomon Sickert authored Sep 26, 2018
```
* Remove Proguard (since they are unable to support newer JDKs)
* Use shadowJar for minimization and shading (disabled due to an UOE)
* Verify dependecies using gradle-witness
```
  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
```
Compilation fixes for JDK-11.

See merge request i7/owl!262
```
  97e06e28
- Compilation fixes for JDK-11. · 429c0412
  Salomon Sickert authored Oct 18, 2018
  
  429c0412