Name		Name	Last commit message	Last commit date
Latest commit History 536 Commits
BenchmarkingPortal.Bll		BenchmarkingPortal.Bll
BenchmarkingPortal.Dal		BenchmarkingPortal.Dal
BenchmarkingPortal.Migrations.Base		BenchmarkingPortal.Migrations.Base
BenchmarkingPortal.Migrations.Test		BenchmarkingPortal.Migrations.Test
BenchmarkingPortal.Test		BenchmarkingPortal.Test
BenchmarkingPortal.Web		BenchmarkingPortal.Web
.deepsource.toml		.deepsource.toml
.dockerignore		.dockerignore
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.gitmodules		.gitmodules
BenchmarkingPortal.sln		BenchmarkingPortal.sln
DataModellDiagram.png		DataModellDiagram.png
LICENSE.txt		LICENSE.txt
README.md		README.md
docker-compose.dcproj		docker-compose.dcproj
docker-compose.override.yml		docker-compose.override.yml
docker-compose.yml		docker-compose.yml
docker-compose_vc.yml		docker-compose_vc.yml
id_rsa_master		id_rsa_master
id_rsa_master.pub		id_rsa_master.pub
main.Dockerfile		main.Dockerfile
portal_with_vcloud.Dockerfile		portal_with_vcloud.Dockerfile
qodana.yaml		qodana.yaml
verifier_cloud_docker.md		verifier_cloud_docker.md
worker.Dockerfile		worker.Dockerfile

Repository files navigation

BenchmarkingPortal

About

This is a web portal for the ftsrg research group, that is capable for benchmarking various tools with the benchexec tool on virtual machines in the cloud in a distributed way.

Readme

MIT license

Activity

0 stars

1 watching

0 forks

Report repository