nickg / nvc / 2084986081

Builds Branch Commit Type Ran Committer Via Coverage
2084986081 master Missing assertion failure message during initialisation push Nick Gasson github pending completion   set done
2082838522 master Fix overload resolution corner case push Nick Gasson github pending completion   set done
2082375991 master Missing bounds checks for unconstrained record fields push Nick Gasson github pending completion   set done
2081972564 master Basic support for record element constraints push Nick Gasson github pending completion   set done
2081725957 master Improve checking for record element constraints push Nick Gasson github pending completion   set done
2079924165 master Improve error message with signal assignment to non-signal push Nick Gasson github pending completion   set done
2079905091 master Improve checking for subprogram arguments push Nick Gasson github pending completion   set done
2073520845 master Fix test with address sanitiser enabled push Nick Gasson github pending completion   set done
2072950229 master Additional checking for record element constraints push Nick Gasson github pending completion   set done
2072690998 master Implement new flexible diagnostic system push Nick Gasson github pending completion   set done
2072627218 test Implement new flexible diagnostic system push Nick Gasson github pending completion   set done
2067483980 test Fix windows again push Nick Gasson github pending completion   set done
2067444635 test Fix windows push Nick Gasson github pending completion   set done
2067402737 test Fix bugs and restore classic theme push Nick Gasson github pending completion   set done
2041324008 master Refactor variable and signal declaration checking push Nick Gasson github pending completion   set done