uwplse/coq-plugin-lib - GitHub Explorer | GitHub Explorer | Trending

Stars

13

Forks

5

Watchers

13

Open Issues

15

Repository Health Score

❤️

25/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Update README.md

Talia Ringer•4 years ago

346f674View on GitHub

Update README.md

Talia Ringer•4 years ago

5e52b4dView on GitHub

Merge pull request #40 from uwplse/8.9.1

Talia Ringer•4 years ago

cbfde62View on GitHub

Merge pull request #39 from uwplse/simpl

Talia Ringer•5 years ago

b249fc1View on GitHub

get_hints state

RanDair Porter•5 years ago

32f1d7dView on GitHub

abstracted getting hints

RanDair Porter•5 years ago

166c646View on GitHub

Merge branch 'master' into 8.9.1

Talia Ringer•5 years ago

c2ec587View on GitHub

Merge pull request #38 from uwplse/simpl

Talia Ringer•5 years ago

9ef0581View on GitHub

back to greedy simpl behavior

RanDair Porter•5 years ago

4aeac24View on GitHub

try/catch in simpl

RanDair Porter•5 years ago

df91f00View on GitHub

error handling for simpl

Talia Ringer•5 years ago

860d15fView on GitHub

Merge pull request #36 from uwplse/new-ir

Talia Ringer•5 years ago

edda76cView on GitHub

Fixed missing evar_map handling.

RanDair Porter•5 years ago

8e2ecfdView on GitHub

Rewrite-implicit error handling.

RanDair Porter•5 years ago

f4162a9View on GitHub

Moved utility and environment functions.

RanDair Porter•5 years ago

5277fb4View on GitHub

View all commits

GitHub Explorer

coq-plugin-lib

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues