Hiromi Ogawa

Currently, `misskey-util` implements pagination with an endpoint that takes a pagination parameter and returns an array (i.e. `Vec`). `charts/` endpoint differs from the others in that the response is not...

Jsonnet parser cannot handle relative imports

4

Jsonnet has an `import` construct to load other jsonnet files. The following configuration successfully evaluates as follows: ```jsonnet # config/main.jsonnet local data = import './data.libsonnet'; { data: data } ```...

#66 introduced Promenade::Raindrops::Middleware which exports Pitchfork worker metrics gathered by raindrops gem. This PR enables the middleware to export worker metrics when Unicorn is used instead of Pitchfork.

Enable to use Karpenter v1 controller policy

2

This PR attaches a controller policy for Karpenter v1 in the karpenter module. The policy content is taken from https://github.com/aws/karpenter-provider-aws/blob/v1.0.6/website/content/en/preview/getting-started/getting-started-with-karpenter/cloudformation.yaml. I've added module variables `v1` and `v1beta` to help migration...

Spacer unsoundness regarding CHCs involving inductively defined datatypes

1

Spacer returns `unsat` for the following input, which suggests a soundness bug. I expect Spacer to timeout on this input, as the expected model of `p1` is an inductively defined...

The following input causes Hoice to error with "invalid datatype declaration, unknown sort 'D1'". I expect Hoice to return `sat` without raising an error for this input. ``` (set-logic HORN)...

Update activesupport requirement to allow 8.0

2

This PR updates Active Support requirement of promenade to allow Rails 8.0. In my understanding, the main use of Active Support in promenade is the subscribers, and I don’t see...