Search results

Apply TU Delft waiver

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 201

#201 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Nov 8, 2023

Automate coverage collection

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 200

#200 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Nov 2, 2023

Remove author tags

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 199

#199 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Nov 2, 2023

Update licensing workflow

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 198

#198 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Nov 2, 2023

Adjust repo to rename of the framework

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 197

#197 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Nov 2, 2023

Update test based on update in the storage library

Status: Closed (abandoned).

syntest-framework/syntest-javascriptnumber 196

#196 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Nov 14, 2023

Add citation config

Status: Open (in progress).

syntest-framework/syntest-javascriptnumber 192

#192 In syntest-framework/syntest-javascript;

· mitchellolsthoorn opened on Oct 25, 2023

Add zenodo config

Status: Open (in progress).

syntest-framework/syntest-javascriptnumber 191

#191 In syntest-framework/syntest-javascript;

· mitchellolsthoorn opened on Oct 25, 2023

Constant pool

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 160

#160 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Aug 2, 2023

Move search progress bar listener to core

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 156

#156 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Jul 31, 2023

Update codebase to the new objective API

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 151

#151 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Jun 22, 2023

Fix NPM clean script

Status: Merged (completed).

syntest-framework/syntest-javascriptnumber 140

#140 In syntest-framework/syntest-javascript;

· by mitchellolsthoorn was closed on Jun 13, 2023