Shon Feder
Shon Feder
Emerged from work on #2074. Due to the way we are currently sequencing the execution of passes, there are only two ways to communicate data between `Pass`es: - The `PassExecutor`...
This is necessary to support proper functioning of Shai, as it is otherwise likely to cause concurrency bugs. This issue will be used to create an inventory of offending objects:...
As a followup to #1177, we'll need to update both the user documentation and the developer documentation. - [x] Update ADR 013 on the configuration system. - [x] #2076 -...
Factored out of #1177 The work on #1177 integrates all CLI options into the configuration management system. However, in the interest of working incrementally, the tuning map is currently left...
## Reproduction: ```sh $ git clone [email protected]:oclif/example-multi-ts.git $ cd example-multi-ts/ $ npm i -g $ example-multi-ts --help (node:207576) [MODULE_NOT_FOUND] Error Plugin: @oclif/example-multi-ts: Cannot find module 'globby' Require stack: - /home/sf/Sync/informal-systems/tmp/example-multi-ts/node_modules/@oclif/config/lib/plugin.js...
IIUC, all of these should have `type: "object"`: https://github.com/openai/openai-openapi/blob/master/openapi.yaml#L3434-L3564 For lack of the type field, my tooling is identifying theses schemas as unstructured.
Just noticed that the link is missing one "notty" in the path :)
I have been trying to install HEAD (or other more recent releases not yet available on opam) in an opam switch. Due to way the build and installation is currently...
Hello! I just found this very helpful property has its `SMTPat` commented out: https://github.com/fstarlang/FStar/blob/master/ulib/FStar.List.Tot.Properties.fst#L191-L199 ```fstar val append_mem: #t:eqtype -> l1:list t -> l2:list t -> a:t -> Lemma (requires True)...
I ended up having to manually load the file from the install location in my `~/.opam` directory. There is probably a better way to get the package available, but I...