nickg / nvc / 2442633837

Builds Branch Commit Type Ran Committer Via Coverage
2442633837 master Fix analysis crash with invalid protected function call push Nick Gasson github pending completion   set done
2442587414 test Fix analysis crash with invalid protected function call push Nick Gasson github pending completion   set done
2440795451 test Fix LLVM verification error returning access from function push Nick Gasson github pending completion   set done
2440161333 master Add option to relax shared variable rules. Fixes #463 push Nick Gasson github pending completion   set done
2439984990 test Use mspace instead of manual memory management in eval push Nick Gasson github pending completion   set done
2439857402 test Fix memory corruption evaluating allocator push Nick Gasson github pending completion   set done
2439039988 test Avoid folding during elaboration when expression has side-effects push Nick Gasson github pending completion   set done
2436804237 master Protected type in package should not prevent constant folding push Nick Gasson github pending completion   set done
2436222273 master Build -2008 versions of VITAL libraries push Nick Gasson github pending completion   set done
2435995266 master Fix crash compiling VITAL libraries with --std=08. Issue #462 push Nick Gasson github pending completion   set done
2430901732 master Improve support for array element constraints. Issue #456 push Nick Gasson github pending completion   set done
2428239844 master Basic support for array element constraints. Issue #456 push Nick Gasson github pending completion   set done
2424300432 master Store checksum with library units push Nick Gasson github pending completion   set done
2424227873 test Store checksum with library units push Nick Gasson github pending completion   set done
2417565979 master Read from stdin if analysis file name is '-' push Nick Gasson github pending completion   set done