brianhuffman comments

Repositories
Issues
Comments

Results 3 comments of


                                            brianhuffman

Poor performance of Basic compared to Cuckoo

Around the same time I opened this ticket, we switched our application to use an `IORef` around an ordinary `Data.Map`. (The keys in our application are `Word64`s, so something like...

Add special syntax for lists on the Halicore side

e342a0037ae221121457 adds a definition for the list datatype, and also defines type-level syntax "[]" => "List" and "[a]" => "List a". halicore_data List a = Nil | Cons "a" "List...

Caching Docker layers seems to cause issues

I just ran into this exact same problem while trying to run `docker-compose build` in a local clone of the `blst-verification` repo. A fix along the lines of GaloisInc/saw-script#1107 might...