Skip to content
This repository has been archived by the owner on May 7, 2020. It is now read-only.

Commit

Permalink
Link to the three repos from the first paragraph
Browse files Browse the repository at this point in the history
  • Loading branch information
@samestep
samestep committed Apr 20, 2020
1 parent 7af1f3f commit 1304a8a
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,9 @@

This repository documents the 2019 prototype and experiments for the gradual
program analysis project, which were split into three different repositories
(for the prototype, experiments, and results, respectively) corresponding to the
following three subsections in this README.
(for the [prototype][infer-gv-impl], [experiments][nullsafetyjava], and
[results][infer-gv-data], respectively) corresponding to the following three
subsections in this README.

## [infer-gv-impl][]

Expand Down

0 comments on commit 1304a8a

Please sign in to comment.