Dmitry Gusev

crnk-ui metadata ignores resourcePath and only uses resourceType

2

Because of that when type & path are different (which they usually are, at least meta resources) all requests from UI fail with 404. https://github.com/crnk-project/crnk-framework/blob/fe20300a83b2c0212925b50b8668e26a049b80eb/crnk-ui/src/app/browse/browse.component.ts#L220

TAP5-2613: Upgrade tapestry build to Java 11

2

Initial implementation of the Java 11 build support. All tests passed locally on: ``` java version "11.0.4" 2019-07-16 LTS Java(TM) SE Runtime Environment 18.9 (build 11.0.4+10-LTS) Java HotSpot(TM) 64-Bit Server...

tls_config.server_name documentation is misleading

5

### What did you do? I was expecting the `server_name` to pass hostname as an SNI extension with scrape requests, at least this is what documentation suggests https://prometheus.io/docs/prometheus/latest/configuration/configuration/#tls_config: ``` #...

Fixed alerts CSS-mapping for Tapestry 5.3.6

1

Hi, the patch for Tapestry 5.3.6 alerts (support for SUCCESS alert type). It will work for versions < 5.3.6 also but there won't be alert-success.

Ideas

3

Validation: - [x] markers when some @Imports are missing - [ ] markers when some properties are not localized (present in one file, but not in the others) Tapestry Context:...

Non-empty HSS for UNSAT instance has been built

9

We have found several examples where non-empty HSS for UNSAT instances was built. This shouldn't happen according to Theorem 1 (assuming its correct). Here are the instances: - (sat-2002-beta\submitted\zhang-lintao\xor-chain\x1_16.shuffled.cnf) from...