List view

Automate valgrind testing of the runtime

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: enhancement

Status: Open.

#53 In PlasmaLang/plasma;

· PaulBone opened on May 7, 2018

Parallelise test suite

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: optimisationAn optimisationAn optimisation

Status: Open.

#150 In PlasmaLang/plasma;

· PaulBone opened on Apr 16, 2019

Check for memory bugs in CI with valgrind/memsan

component: runtimeConcerning the runtime systemConcerning the runtime system

component: testsTests and CITests and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: C++

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#224 In PlasmaLang/plasma;

· PaulBone opened on Feb 29, 2020

Automate website with docs deployment

component: scriptsScripts including build system and CIScripts including build system and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

skill: web design/development

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#225 In PlasmaLang/plasma;

· PaulBone opened on Feb 29, 2020

Provide annotations and maybe artifacts from CI

component: testsTests and CITests and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#226 In PlasmaLang/plasma;

· PaulBone opened on Feb 29, 2020

CI isn't rasing Mercury warnings for -Werror properly.

component: scriptsScripts including build system and CIScripts including build system and CI

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#266 In PlasmaLang/plasma;

· PaulBone opened on Jul 2, 2020

Add a script or something to run the CI tests locally

component: scriptsScripts including build system and CIScripts including build system and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#315 In PlasmaLang/plasma;

· PaulBone opened on Jan 3, 2021

Document some test-suite instructions for contributors

component: docsDocumentationDocumentation

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: asciidoc

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: enhancement

Status: Open.

#401 In PlasmaLang/plasma;

· PaulBone opened on Oct 29, 2021

Add a Plasma library for writing tests

component: library

component: testsTests and CITests and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: plasmaWrite plasma for plasma!Write plasma for plasma!

status: blockedBlocked on other issues/work. The first comment/description must say what they're blocked on.Blocked on other issues/work. The first comment/description must say what they're blocked on.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#428 In PlasmaLang/plasma;

· PaulBone opened on Jan 15, 2022

CI should lint using some of the stricter options in src/Mercury.options

component: scriptsScripts including build system and CIScripts including build system and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: mercury

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#430 In PlasmaLang/plasma;

· PaulBone opened on Jan 25, 2022

Mercury packages for Debian

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

projectA project management ralated taskA project management ralated task

skill: mercury

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: enhancement

Status: Open.

#7 In PlasmaLang/plasma;

· PaulBone opened on Oct 8, 2017

Setup releases / static builds.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: enhancement

Status: Open.

#9 In PlasmaLang/plasma;

· PaulBone opened on Oct 8, 2017

CI should probably test with an ROTD build of Mercury

component: scriptsScripts including build system and CIScripts including build system and CI

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#267 In PlasmaLang/plasma;

· PaulBone opened on Jul 2, 2020

Make a docker image for using Plasma

component: scriptsScripts including build system and CIScripts including build system and CI

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: git

skill: scripting

status: blockedBlocked on other issues/work. The first comment/description must say what they're blocked on.Blocked on other issues/work. The first comment/description must say what they're blocked on.

type: enhancement

Status: Open.

#427 In PlasmaLang/plasma;

· PaulBone opened on Jan 14, 2022

Automated builds in CI

component: scriptsScripts including build system and CIScripts including build system and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: enhancement

Status: Open.

#431 In PlasmaLang/plasma;

· PaulBone opened on Jan 26, 2022

Caching test results doesn't work when tests return non-zero but produce the same output

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: bug

Status: Open.

#76 In PlasmaLang/plasma;

· PaulBone opened on Jul 14, 2018

Test suite should not use cached result if the PZ_RUNTIME envs change

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: bug

Status: Open.

#130 In PlasmaLang/plasma;

· PaulBone opened on Mar 24, 2019

Test Plasma regularly on void & alpine Linux.

component: scriptsScripts including build system and CIScripts including build system and CI

component: testsTests and CITests and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: blockedBlocked on other issues/work. The first comment/description must say what they're blocked on.Blocked on other issues/work. The first comment/description must say what they're blocked on.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#442 In PlasmaLang/plasma;

· PaulBone opened on Sep 20, 2022

Update examples/sequences

component: docsDocumentationDocumentation

component: testsTests and CITests and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: plasmaWrite plasma for plasma!Write plasma for plasma!

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#447 In PlasmaLang/plasma;

· PaulBone opened on Jan 7, 2023

Use a new CI system

component: scriptsScripts including build system and CIScripts including build system and CI

component: testsTests and CITests and CI

meta: metaA meta bug, a bug about bugs, has no code of its own and closed when all its children are.A meta bug, a bug about bugs, has no code of its own and closed when all its children are.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#448 In PlasmaLang/plasma;

· PaulBone opened on Jan 9, 2023

Move the remaining tests to new test suite

component: testsTests and CITests and CI

meta: no-domain-knowledgeA good bug for who is new to language implementation but has other programming experience.A good bug for who is new to language implementation but has other programming experience.

meta: triagedHas the issue been triaged yet?Has the issue been triaged yet?

skill: scripting

status: acceptedA bug we intend to fix it.A bug we intend to fix it.

type: maintenanceSome refactoring, cleanup or other fix that reduces technical debt, but does not affect users.Some refactoring, cleanup or other fix that reduces technical debt, but does not affect users.

Status: Open.

#449 In PlasmaLang/plasma;

· PaulBone opened on Jan 9, 2023