Shon Feder
Shon Feder
With #1160, it should be quite simple to add new configurations through the configuration system. We should expose all configurations that are currently configurable via CLI via the configuration files...
We are currently using a `Map[String, Any]` to store most of the application configuration. E.g., see https://github.com/informalsystems/apalache/blob/98306abe0b7d2ffb913b50e9fd5dacd772712f10/mod-infra/src/main/scala/at/forsyte/apalache/infra/passes/WriteablePassOptions.scala#L23-L24 When values are fetched from the map, we need to do a runtime...
Currently the `ConfigurationPassImpl` does some gnarly things by mutating the state of the options map based on what it reads out of the tla `cfg` files. Instead, we should add...
Currently we run all the integration tests as one long sequence. But they are all completely independent, so we should be able to run them in parallel. This can help...
So far, CLI parsing has been pretty tightly coupled with configuration, in that the executed routines read data directly off of the created `Command` object. To achieve the abstraction we...
By implementing Guice's provider trait we can get late binding of pass options inserted into the DI cascade.
We'll need some way of enabling/disabling features and tuning parameters etc. The unified configuration system which is advancing via #1177 and #2024 and related provides a means of integrating configuration...
Our `zio-grpc` now has support for ZIO2 (tho it is currently via a `-testn` suffixed release). This opens the way for us to update, which we should do sooner than...
Followup to #414
This will include implementing the following methods from RFC10: ```scala /** The example of an execution from the an initial state up to the current symbolic state * * Additional...