This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Some algorithm benchmarks written in Java.#823

Merged

dbeyer merged 20 commits intososy-lab:masterfrom zafer-esen:master

Nov 11, 2019

+8,475

Commits on Oct 8, 2019

Commits on Oct 9, 2019

Commits on Oct 10, 2019

removed .yml file which did not have a corresponding benchmark. also updated the BellmanFord-MemUnsat* algorithms.
zafer-esen
committed
Merge branch 'master' of https://github.com/sosy-lab/sv-benchmarks
zafer-esen
committed
deleted redundant tsp benchmarks
zafer-esen
committed

Commits on Oct 19, 2019

Merge branch 'master' of https://github.com/sosy-lab/sv-benchmarks
zafer-esen
committed

Commits on Oct 27, 2019

implemented most of the changes asked in pull request sosy-lab#823
zafer-esen
committed

Commits on Oct 29, 2019

added reachable assertions via try-catch blocks to benchmarks which test memory safety
zafer-esen
committed