{"source":"https://contributable.vercel.app","licence":"CC BY 4.0","methodology":"https://contributable.vercel.app/methodology","v":2,"owner":"javapathfinder","name":"jpf-core","updatedAt":"2026-10-11T05:35:36.451Z","coveredSince":"2025-10-04T13:15:09.146Z","facts":{"owner":"javapathfinder","name":"jpf-core","description":"JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.","stars":621,"forks":413,"archived":false,"isFork":false,"license":null,"defaultBranch":"master","pushedAt":"2026-09-17T12:20:22Z","createdAt":"2017-05-31T00:28:26Z","topics":[],"languages":{"Java":5552027,"Shell":625,"Batchfile":611,"Dockerfile":260},"frameworks":["JUnit"],"commits90d":5,"releases365d":0,"lastReleaseAt":null,"gettingStarted":{"contributing":false,"codeOfConduct":false,"issueTemplates":false,"devcontainer":false,"cla":"none","channels":[],"policy":null}},"metrics":{"computedAt":"2026-10-11T05:35:36.451Z","outsidePulls":{"cohort":{"n":14,"merged":11,"closedUnmerged":2,"open":1,"mergeRate":0.8461538461538461,"openShare":0.07142857142857142,"evidence":{"merged":[640,639,638,636,635,634,633,631,627,625,621],"closedUnmerged":[623,622],"open":[630]}},"firstTimers":{"n":2,"merged":0,"closedUnmerged":1,"open":1,"mergeRate":null,"openShare":null,"evidence":{"merged":[],"closedUnmerged":[622],"open":[630]}},"year":{"n":57,"merged":22,"closedUnmerged":18,"open":17,"mergeRate":0.55,"openShare":0.2982456140350877,"evidence":{"merged":[640,639,638,636,635,634,633,631,627,625,621,620,611,598,592,586,582,578,571,568],"closedUnmerged":[623,622,617,614,613,612,608,607,606,604,601,600,583,581,579,576,574,572],"open":[630,618,616,615,610,609,603,602,596,594,590,588,587,584,580,577,569]}}},"pullFirstResponse":{"n":14,"answered":13,"waiting":1,"medianHours":28.698055555555555,"p75Hours":55.96138888888889,"within48h":0.5,"within7d":0.9285714285714286,"curve":[{"hours":0.20416666666666666,"waiting":0.9285714285714286},{"hours":0.3175,"waiting":0.8571428571428572},{"hours":1.823611111111111,"waiting":0.7857142857142857},{"hours":3.8766666666666665,"waiting":0.7142857142857143},{"hours":18.176666666666666,"waiting":0.6428571428571429},{"hours":26.5275,"waiting":0.5714285714285714},{"hours":28.698055555555555,"waiting":0.5},{"hours":53.94694444444445,"waiting":0.4285714285714286},{"hours":54.01888888888889,"waiting":0.3571428571428572},{"hours":55.4475,"waiting":0.28571428571428575},{"hours":55.96138888888889,"waiting":0.2142857142857143},{"hours":89.18305555555555,"waiting":0.14285714285714288},{"hours":95.36722222222222,"waiting":0.07142857142857144}],"evidence":{"answered":[640,639,638,636,635,634,633,631,630,627,625,622,621],"waiting":[623]}},"timeToMerge":{"n":14,"merged":11,"medianHours":125.48944444444444,"evidence":[640,639,638,636,635,634,633,631,627,625,621]},"issueFirstResponse":{"n":6,"answered":3,"waiting":3,"medianHours":505.84277777777777,"p75Hours":null,"within48h":0.33333333333333326,"within7d":0.33333333333333326,"curve":[{"hours":9.002777777777778,"waiting":0.8333333333333334},{"hours":28.953333333333333,"waiting":0.6666666666666667},{"hours":505.84277777777777,"waiting":0.5}],"evidence":{"answered":[637,632,624],"waiting":[629,628,626]}},"starter":{"counts":{"available":0,"claimed":0,"in-progress":0,"stale":0},"helpWantedAvailable":0,"issues":[]},"responseWindow":{"hours":null,"people":1,"replies":27},"activeMaintainers":1},"series":[{"week":"2025-10-12","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2025-10-19","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2025-10-26","opened":1,"merged":1,"answered7d":1,"activity":3},{"week":"2025-11-02","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2025-11-09","opened":1,"merged":1,"answered7d":1,"activity":3},{"week":"2025-11-16","opened":3,"merged":2,"answered7d":2,"activity":4},{"week":"2025-11-23","opened":4,"merged":0,"answered7d":4,"activity":10},{"week":"2025-11-30","opened":4,"merged":1,"answered7d":3,"activity":17},{"week":"2025-12-07","opened":2,"merged":1,"answered7d":2,"activity":3},{"week":"2025-12-14","opened":1,"merged":0,"answered7d":1,"activity":5},{"week":"2025-12-21","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2025-12-28","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-01-04","opened":2,"merged":1,"answered7d":1,"activity":2},{"week":"2026-01-11","opened":1,"merged":0,"answered7d":0,"activity":1},{"week":"2026-01-18","opened":4,"merged":1,"answered7d":0,"activity":4},{"week":"2026-01-25","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-02-01","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-02-08","opened":1,"merged":1,"answered7d":0,"activity":1},{"week":"2026-02-15","opened":1,"merged":0,"answered7d":0,"activity":3},{"week":"2026-02-22","opened":2,"merged":0,"answered7d":1,"activity":2},{"week":"2026-03-01","opened":6,"merged":0,"answered7d":2,"activity":6},{"week":"2026-03-08","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-03-15","opened":2,"merged":1,"answered7d":0,"activity":2},{"week":"2026-03-22","opened":2,"merged":0,"answered7d":0,"activity":5},{"week":"2026-03-29","opened":2,"merged":0,"answered7d":0,"activity":2},{"week":"2026-04-05","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-04-12","opened":1,"merged":0,"answered7d":0,"activity":1},{"week":"2026-04-19","opened":2,"merged":0,"answered7d":0,"activity":2},{"week":"2026-04-26","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-05-03","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-05-10","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-05-17","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-05-24","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-05-31","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-06-07","opened":1,"merged":1,"answered7d":1,"activity":1},{"week":"2026-06-14","opened":0,"merged":0,"answered7d":0,"activity":1},{"week":"2026-06-21","opened":2,"merged":1,"answered7d":2,"activity":8},{"week":"2026-06-28","opened":2,"merged":1,"answered7d":1,"activity":4},{"week":"2026-07-05","opened":0,"merged":0,"answered7d":0,"activity":1},{"week":"2026-07-12","opened":0,"merged":0,"answered7d":0,"activity":2},{"week":"2026-07-19","opened":1,"merged":1,"answered7d":1,"activity":2},{"week":"2026-07-26","opened":0,"merged":0,"answered7d":0,"activity":2},{"week":"2026-08-02","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-08-09","opened":2,"merged":1,"answered7d":2,"activity":7},{"week":"2026-08-16","opened":1,"merged":1,"answered7d":1,"activity":3},{"week":"2026-08-23","opened":3,"merged":3,"answered7d":3,"activity":10},{"week":"2026-08-30","opened":3,"merged":3,"answered7d":3,"activity":4},{"week":"2026-09-06","opened":1,"merged":1,"answered7d":1,"activity":7},{"week":"2026-09-13","opened":0,"merged":0,"answered7d":0,"activity":1},{"week":"2026-09-20","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-09-27","opened":0,"merged":0,"answered7d":0,"activity":0},{"week":"2026-10-04","opened":5,"merged":0,"answered7d":0,"activity":5}],"trend":{"flag":"slowed-down","recentMedianHours":null,"previousMedianHours":53.94694444444445,"recentN":5,"previousN":8,"openedThisWeek":5,"openedLastWeek":0},"programs":[{"program":"gsoc","slug":"the-jpf-team-hg","name":"The JPF team","years":[2024,2025,2026]}]}