loki der quaeler

Better parameterized instantiation support

2

- Supporting parameterized instantiation used in specification definition in which temporal actions are involved. [Bug][Tools]

Proof of concept Model Editor web view

7

- In the most simple of model checking cases, this works now; PoC finshed to a point to ping mku. - Minor clean-up and a few comments before making a...

test_mapping test failed

1

Hi - While running `tests/run_tests.bash -e sunbeam` as a part of initial installation instructions, i see: ``` ... Running test_guess_with_two_samples... ✔ Running test_mapping... Failed command error output: Found extension sbx_test...

Change Prometheus "instance" value

3

**Is your feature request related to a problem? Please describe.** For a Fargate task, the CW Agent for Prometheus emits `instance` to be the VPC IP address (plus port) of...