Kevin Quick
Kevin Quick
When a createActor is performed and there is no ActorSystem that can meet the requirements of that Actor, the failure tends to be obscure: the thespian.log internal log will contain...
The Registrar pattern is a good solution for a multi-system environment and has been repeatedly used for multiple development efforts (including https://github.com/godaddy/Thespian/issues/50). This pattern should be documented for Thespian, and...
Creating a structure definition and then emitting it via pretty-printing causes `llvm-as` to fail on the result with errors like: > DWARF address space only applies to pointer or reference...
In the pretty-printing module (`PP.hs`) there are many locations that print a value by adding double quotes around the pretty-printed text (e.g. `doubleQuotes $ text $ FIELDNAME ELEM`). It is...
As seen in the test output from https://github.com/GaloisInc/llvm-pretty-bc-parser/pull/233, llvm-pretty will ingest ``` ... define dso_local i32 @test1(i32) #0 { ... ``` but will then emit: ``` ... define default i32...
There is currently support lacking for all of the different Float types (e.g. at https://github.com/elliottt/llvm-pretty/blob/master/src/Text/LLVM/AST.hs#L346). Work should be done to add more complete FloatType support.
When sending a time value to the server, an integer number of milliseconds is sent. This is generated as an `Int` by the `timeToServer` function. The possible range of this...
What are the intentions for supporting versions of rustc (i.e. what version range is intended)? I'm asking because the CI here uses `nixpkgs-unstable`, but I have another project which includes...
The irving_precision test is failing (see https://github.com/GaloisInc/yapall/actions/runs/6029699696/job/16359835202?pr=47#step:5:960). This is a specific instance of the general failures noted in #46.
``` yapall> error: Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM15.0.7' Reader: 'LLVM 14.0.6') yapall> error: test failed, to rerun pass `--test pointer` ``` (See https://github.com/GaloisInc/yapall/actions/runs/6029699696/job/16359835202?pr=47#step:5:950 or https://github.com/GaloisInc/yapall/actions/runs/6030069826/job/16361088971?pr=50)...