Kevin Quick
Kevin Quick
Trying to add a source and then run configure fails: $ ls foo something $ cd foo $ cabal-dev add-source ../something $ cabal-dev configure Resolving dependencies... Configure foo-1.0... setup: At...
Use `Ctrl-O` to get the list of posted links (the "browser open screen"), then hit `Return` on a link to request the browser to open it. If there is an...
In the web client, if a message is deleted, there is a visual display of the sender and time of message, along with the notation `(message deleted)`. This happens only...
Frequently I'll "reply" to a previous comment but forget to select the previous and use 'r' to generate an _actual_ reply. This is even more awkward when it breaks an...
Matterhorn currently supports the ability to "yank" the verbatim portion of a message to the clipboard, although this requires `xsel` or `xclip` to be installed, which are ironically part of...
This topic may need some discussion and therefore need to be migrated to the wiki, but MatterMost has a session length limit (see below), after which Matterhorn will receive and...
Current behavior: * Enter triple backticks to begin a code section * Hit return, forgetting to enter multi-line edit mode * Message is posted on return, but it's blank. Oops....
Currently the dom function returns *all* nodes whether they are reachable or not. This change restricts the dominator search to only those nodes reachable from the provided root.
We are in the process of upgrading our github CI workflow from Ubuntu 18 and 20.04 to 22.04, but are getting failures on the nix portion. Our configuration: https://github.com/GaloisInc/crucible/blob/5676b291af0134ffe2e1fcfb7d01d27992563660/.github/workflows/crux-llvm-build.yml#L68-L73 When...
An archive file (e.g. static library) requires special handling. Currently build-bom can be used to extract from an archive file (via objcopy) but the result is only the bitcode for...