Skip to content

Commit

Permalink
Add results
Browse files Browse the repository at this point in the history
  • Loading branch information
verifit committed Oct 24, 2023
1 parent da08082 commit 380d341
Show file tree
Hide file tree
Showing 3 changed files with 693 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .gitmodules
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,3 +13,6 @@
[submodule "tools/nfa-program-parser"]
path = tools/nfa-program-parser
url = git@github.com:VeriFIT/nfa-program-parser.git
[submodule "results"]
path = results
url = git@github.com:VeriFIT/mata-comparison-results.git
Loading

0 comments on commit 380d341

Please sign in to comment.