search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Update the issue-reporting URL for saw-core-what4 #2127

Closed sauclovian-g closed 1 month ago

sauclovian-g commented 1 month ago

It seems to have not been updated when saw-core-what4 was merged into saw-script.

Closes #2048.

sauclovian-g commented 1 month ago

(The failure is something unrelated in entree-specs)

mccleeary-galois commented 1 month ago

Failure looks like making https://github.com/GaloisInc/entree-specs is failing, that repo doesn't have any CI to ensure that the make works we should probably resolve that or disable the heapster builds for now.

sauclovian-g commented 1 month ago

As best I can tell nothing's changed in entree-specs. I'll have a look on Monday at what the actual failure is in Coq; that may tell us what we forgot to pin.

sauclovian-g commented 1 month ago

Yeah, I'm going to go ahead and merge this; no point leaving it hanging around while we figure out entree-specs.