Skip to content

Commit

Permalink
Fix doi
Browse files Browse the repository at this point in the history
  • Loading branch information
verifit committed Oct 26, 2023
1 parent 95fd88b commit 433799c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# A Replication package for reproducing the results of paper "Mata: A Fast and Simple Finite Automata Library"

The link to the Zenodo archive: [10.5281/zenodo.10040696](https://doi.org/10.5281/zenodo.10040696)
The link to the Zenodo archive: [10.5281/zenodo.10040695](https://doi.org/10.5281/zenodo.10040695)

This repository contains data, tools, benchmark and scripts for
replicating (and processing) tool paper describing `libmata` library.
Expand Down Expand Up @@ -38,7 +38,7 @@ For the sake of simplicity we prepared several master scripts `run_all.sh`

We make our replication package (and some of its parts) as available as possible:

* [10.5281/zenodo.10040696](https://doi.org/10.5281/zenodo.10040696): downloadable replication package.
* [10.5281/zenodo.10040695](https://doi.org/10.5281/zenodo.10040695): downloadable replication package.
* [VM](https://zenodo.org/records/7113223): virtual machine, where one can run the experiments.
* [The Package Repository](https://github.com/VeriFIT/mata-comparison): the repository with this package.
* [Benchmarks](https://github.com/VeriFIT/nfa-bench): source benchmarks that were used in the comparison.
Expand Down

0 comments on commit 433799c

Please sign in to comment.