Tags give the ability to mark specific points in history as being important
-
1.8.0
protected43503296 · ·This merge request introduces the new version 1.8.0 of BenchCloud. It includes the following changes: - Automatic image pull for the runs with containers - Replaces Kaniko with Podman for building CI containers - Refactors and fixes a bug in the scheduler - Aviods parallel pulling of images with Podman - Saves the runCollectionId to the results provided by BenchExec
-
1.7.0
protected219d746f · ·Minor Release: - Updated FM-Weck version - Bugfix: add rw Mount for the results directory
-
1.6.0
protectedc80744e1 · ·This minor release introduces few bug fixes and two new features: - when a banner is set, it is also printed by webclient and benchmarking client in the command line - BenchCloud now supports the same patterns for result-files as BenchExec
-
1.5.1
protected6fbccabd · ·New Release with fixed bug in interactive client, and reconnection to webclient
-
-
-
-
1.3.0
protected0291f18c · ·Version 1.3 adds support for tool execution in customizable containers via Fm-weck
-
1.2.1
protected62486b7f · ·The new release improves the functionalities to gather system information from cgroups v2
-
-
1.1.0
protectedc20389e2 · ·New Release with the following changes: rename package "VerifierCloud" to "BenchCloud" and improve error messages
-
1.0.0
protected86ffabc7 · ·New Release with the following changes: (1) update examples for CPAchecker tutorial, (3) extract Cgroups information using BenchExec's API, (3) rename "VerifierCloud" to "BenchCloud" in README and webpage.
-
0.8000.17
protectede183af7e · ·New Release with tutorial examples and overview of reason for occupied workers
-
-
0.8000.15
protectedb6d396a8 · ·Update to 0.8000.15; Adds possibility to use git revisions for benchmark.py
-
-
-
-
0.8000.11
protecteda7b2d948 · ·Milestone #12, Issue #601: Keep alive not used for connections between verifiercloud components
-