{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":92887912,"defaultBranch":"master","name":"jpf-core","ownerLogin":"javapathfinder","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-05-31T00:28:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/23702826?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725615977.0","currentOid":""},"activityList":{"items":[{"before":"7d2f7a9bab3be647b4e71ae7220c2f2c46c121fc","after":"0de04fa90871624b55eb501a5bb984234c70d3ef","ref":"refs/heads/master","pushedAt":"2024-09-06T11:28:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Value check fix (#496)\n\n* Add failing test for local var listener.\r\n\r\n* Fix: Copy/paste error in listener.","shortMessageHtmlLink":"Value check fix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2510027943\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/496\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/496/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/496\">#496</a>)"}},{"before":null,"after":"dd10a40db573031c02227eaac22d42752932a2d4","ref":"refs/heads/value-check-fix","pushedAt":"2024-09-06T09:46:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Fix: Copy/paste error in listener.","shortMessageHtmlLink":"Fix: Copy/paste error in listener."}},{"before":"3bda7197a905bf3a3f3929ef0812c7050e2d500f","after":"7d2f7a9bab3be647b4e71ae7220c2f2c46c121fc","ref":"refs/heads/master","pushedAt":"2024-08-31T15:26:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Fixed the error when Empty main runs with VerTracker (#494)","shortMessageHtmlLink":"Fixed the error when Empty main runs with VerTracker (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2495015761\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/494\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/494/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/494\">#494</a>)"}},{"before":"8549cdb81869fafdee311c0781f67695b2fff7c2","after":"3bda7197a905bf3a3f3929ef0812c7050e2d500f","ref":"refs/heads/master","pushedAt":"2024-08-14T16:52:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Remove and ignore files generated by tests.","shortMessageHtmlLink":"Remove and ignore files generated by tests."}},{"before":"17cfba712280f4df44a08076ae34f321d028f627","after":"8549cdb81869fafdee311c0781f67695b2fff7c2","ref":"refs/heads/master","pushedAt":"2024-08-14T16:38:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"changed mangled method signature (#492)\n\nJava 11 has changed the package name, so the name of the native peer method needed an according change.","shortMessageHtmlLink":"changed mangled method signature (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2466126484\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/492\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/492/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/492\">#492</a>)"}},{"before":"6233e3bebc169065565c0f81ad4aa8076cc14efb","after":"17cfba712280f4df44a08076ae34f321d028f627","ref":"refs/heads/master","pushedAt":"2024-08-13T12:22:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":" Fix and Test String.equals(Object) Implementation in JPF (#491)\n\n* adding a test for equals method\r\n\r\n* Add test for equals method in JPF","shortMessageHtmlLink":" Fix and Test String.equals(Object) Implementation in JPF (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2463112103\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/491\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/491/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/491\">#491</a>)"}},{"before":"8b0618dac45b1c180163366a8fc3538e29f6a9c7","after":"50557c95ac703c2b71ba0532605ea5977fed3929","ref":"refs/heads/java-17","pushedAt":"2024-08-04T10:58:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"add SuppressWarnings(removal) against Thread.resume(),Thread.suspend() to avoid the Compiler Warning as there is no clear substitute (#489)","shortMessageHtmlLink":"add SuppressWarnings(removal) against Thread.resume(),Thread.suspend(…"}},{"before":"385eb796f8da4db435a7c30a359d3326cafa17cb","after":"8b0618dac45b1c180163366a8fc3538e29f6a9c7","ref":"refs/heads/java-17","pushedAt":"2024-08-03T11:33:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"replace deprecated Constructor based initialization of primitive type's Wrapper Class with WrapperClass.valueOf(value) (#488)","shortMessageHtmlLink":"replace deprecated Constructor based initialization of primitive type…"}},{"before":"8fc51930b0a6659fa6f32e7893932a83c24b5a9f","after":"385eb796f8da4db435a7c30a359d3326cafa17cb","ref":"refs/heads/java-17","pushedAt":"2024-08-01T07:38:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"remove some deprecated methods (#487)","shortMessageHtmlLink":"remove some deprecated methods (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2439894274\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/487\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/487/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/487\">#487</a>)"}},{"before":"73cddd9fe84684e2feb273f085513485fe6fb208","after":"8fc51930b0a6659fa6f32e7893932a83c24b5a9f","ref":"refs/heads/java-17","pushedAt":"2024-07-31T11:27:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Add Tests to test java-17 new fatures Sealed Class and Sealed Interface (#486)","shortMessageHtmlLink":"Add Tests to test java-17 new fatures Sealed Class and Sealed Interfa…"}},{"before":"8292886a9fe295299a385162305d836310891f73","after":"73cddd9fe84684e2feb273f085513485fe6fb208","ref":"refs/heads/java-17","pushedAt":"2024-07-24T09:07:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Compiler Warning FIX  (#481)\n\n* add @SuppressWarnings(removal) against SecurityManager bacause SecurityManager is called from OpenJDK classes.\r\n\r\n* removed the usage and codes of deprecated Unsafe's getObject(...), setObject(...), getObjectVolatile(...) etc with corresponding titiled getReference(...), setReference(...), getReferenceVolatile(...) etc. methods","shortMessageHtmlLink":"Compiler Warning FIX (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2426049857\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/481\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/481/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/481\">#481</a>)"}},{"before":"cda21a004727da6d67e1d35044a3edbd5ecae911","after":"8292886a9fe295299a385162305d836310891f73","ref":"refs/heads/java-17","pushedAt":"2024-07-22T07:08:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"BufferTest Codes and Changes (#479)\n\n* modify getBytes(byte[] dst, int srcPos, int dstBegin, byte coder, int length) to use coder value\r\n\r\n* add abstract method isReadOnly() in abstract class Buffer.java and implement this method in inherting class like ByteBuffer.java and CharBuffer.java\r\n\r\n* add abstract method arrayOffset() in abstract class Buffer.java and implement this method in inherting class like ByteBuffer.java and CharBuffer.java\r\n\r\n* change native method getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) to non native method (implementing the code new logics in the java) in java.lang.String.java and remove the corresponding peer method from JPF_java_lang_String.java\r\n\r\n* replace the method and usage of decodeWithScanner(byte[] bytes, Charset charset) by decodeWithBufferedReader(byte[] bytes, Charset charset)\r\n\r\n* add assertNotEquals(....) methods in TestJPF.java\r\n\r\n* simplify assert statement","shortMessageHtmlLink":"BufferTest Codes and Changes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2421523499\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/479\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/479/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/479\">#479</a>)"}},{"before":"9ffe02c75d5c9842353351cb234f50cd978dd047","after":"cda21a004727da6d67e1d35044a3edbd5ecae911","ref":"refs/heads/java-17","pushedAt":"2024-07-21T15:08:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Tests and MethodHandle for Instance and Static Field (#478)\n\n* add new Tests to test instance fields in src/tests/gov/nasa/jpf/test/java/concurrent/FindVarHandleTest.java\r\n\r\n* modify findVarHandle__Ljava_lang_Class_2Ljava_lang_String_2Ljava_lang_Class_2__Ljava_lang_invoke_VarHandle_2() method to handle instance field only\r\n\r\n* add new Tests to test static fields in src/tests/gov/nasa/jpf/test/java/concurrent/FindVarHandleTest.java\r\n\r\n* add new method findStaticVarHandle__Ljava_lang_Class_2Ljava_lang_String_2Ljava_lang_Class_2__Ljava_lang_invoke_VarHandle_2() to handle static field(only static field)\r\n\r\n* add setJavaSecurityAccess(JavaSecurityAccess jsa) method\r\n\r\n* add weakCompareAndSetReference(Object o, long offset, Object expected, Object x) method","shortMessageHtmlLink":"Tests and MethodHandle for Instance and Static Field (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2421344836\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/478\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/478/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/478\">#478</a>)"}},{"before":"8d0e2955c56c42da34e96b3fc93907c2af066596","after":"6233e3bebc169065565c0f81ad4aa8076cc14efb","ref":"refs/heads/master","pushedAt":"2024-07-17T17:47:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Terminate the thread when unhandled exception happens. (#476)","shortMessageHtmlLink":"Terminate the thread when unhandled exception happens. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2405890312\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/476\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/476/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/476\">#476</a>)"}},{"before":"81917a77b31c788e5e62871cae060ab563b799b6","after":"9ffe02c75d5c9842353351cb234f50cd978dd047","ref":"refs/heads/java-17","pushedAt":"2024-07-06T14:46:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"add weakCompareAndSetRelease(...) method in JPFFieldVarHandle.java (#474)\n\nImplementation does not generate the full set of possible outcomes (this would have to be implemented by scheduler extensions).","shortMessageHtmlLink":"add weakCompareAndSetRelease(...) method in JPFFieldVarHandle.java (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393480859\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/474\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/474/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/474\">#474</a>"}},{"before":"7d75269c2af8fd7d2729c3fa3b5e1df3048ba1b3","after":"81917a77b31c788e5e62871cae060ab563b799b6","ref":"refs/heads/java-17","pushedAt":"2024-07-02T09:21:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"System logger branch (#472)\n\n* add refersTo(Object o) method in Reference.java class\r\n\r\n* add isRecord() method in Class.java class","shortMessageHtmlLink":"System logger branch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2385591087\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/472\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/472/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/472\">#472</a>)"}},{"before":"7ad06f3e28deb60733a9a1e996f3358cb23d7ef2","after":"7d75269c2af8fd7d2729c3fa3b5e1df3048ba1b3","ref":"refs/heads/java-17","pushedAt":"2024-07-01T10:57:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"System logger branch (#469)\n\n* add enum Level values in System.java\r\n\r\n* add setJavaSecurityPropertiesAccess(), setJavaLangReflectAccess() and getJavaLangReflectAccess() methods in SharedSecrets.java\r\n\r\n* native.encoding property in src/peers/gov/nasa/jpf/vm/JPF_java_lang_System.java","shortMessageHtmlLink":"System logger branch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2382437929\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/469\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/469/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/469\">#469</a>)"}},{"before":"a7c138596b1c9faaec112ff822b5866fbef4c2fe","after":"7ad06f3e28deb60733a9a1e996f3358cb23d7ef2","ref":"refs/heads/java-17","pushedAt":"2024-06-30T12:46:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"add getAndBitwiseAndInt(), weakCompareAndSetInt(), and put???Opaque() methods in Unsafe.java class (#468)","shortMessageHtmlLink":"add getAndBitwiseAndInt(), weakCompareAndSetInt(), and put???Opaque()…"}},{"before":"f65e2912e15f22cc8e1f54cd27c8a8d2bb66d21e","after":"a7c138596b1c9faaec112ff822b5866fbef4c2fe","ref":"refs/heads/java-17","pushedAt":"2024-06-29T12:18:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"add Logger interface and getLogger() method (#467)","shortMessageHtmlLink":"add Logger interface and getLogger() method (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2379582875\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/467\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/467/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/467\">#467</a>)"}},{"before":"0916082fac91405e11ec7ce55f9068ce84d61aaa","after":"8d0e2955c56c42da34e96b3fc93907c2af066596","ref":"refs/heads/master","pushedAt":"2024-06-28T13:27:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"`Package.toString()` not working in JPF (#466)\n\n* created test for toString() of Package class\r\n\r\n* assertion changed to 'assetEquals'\r\n\r\n* changed approch of getting package\r\n\r\n* removed unnecessaryly implemented method\r\n\r\n* removed 'import java.util.*'","shortMessageHtmlLink":"<code>Package.toString()</code> not working in JPF (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2374533185\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/466\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/466/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/466\">#466</a>)"}},{"before":"9e0c5277807c44519d9503f948e92bed91da202a","after":"f65e2912e15f22cc8e1f54cd27c8a8d2bb66d21e","ref":"refs/heads/java-17","pushedAt":"2024-06-24T06:42:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Buffer test branch (#463)\n\n* add new tests in BufferTest.java\r\n\r\n* Enable tests on JPF, set UTF-8 for javac.\r\n\r\n* add position() method in CharBuffer.java class\r\n\r\n* add custom mismatch() to replace BufferMismatch.mismatch() in ByteBuffer.equals() method\r\n\r\n---------\r\n\r\nCo-authored-by: Cyrille Artho <artho@kth.se>","shortMessageHtmlLink":"Buffer test branch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2367544748\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/463\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/463/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/463\">#463</a>)"}},{"before":"579284ff82cac0b2bc1fe5441af47aa32fcd7bf7","after":"0916082fac91405e11ec7ce55f9068ce84d61aaa","ref":"refs/heads/master","pushedAt":"2024-06-07T15:21:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"java.net.URI.toURI broken (#460)\n\n* created unit test for 'toURI' in 'File' model class\r\n\r\n* removed 'non-null' check from 'toURI' in FileTest.java\r\n\r\n* changed way of URI generation in FileTest class\r\n\r\n* created 'JavaNetUriAccess' interface and added getter setter for the same in SharedSceret class","shortMessageHtmlLink":"java.net.URI.toURI broken (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2330403619\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/460\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/460/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/460\">#460</a>)"}},{"before":"3650f5a6399607f7de74fa7b78c450c3cc61f867","after":"9e0c5277807c44519d9503f948e92bed91da202a","ref":"refs/heads/java-17","pushedAt":"2024-05-30T12:31:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Add descriptorString() method in Class.java (#455)","shortMessageHtmlLink":"Add descriptorString() method in Class.java (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2325553687\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/455\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/455/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/455\">#455</a>)"}},{"before":"77befe248dfa6b42e5455f00ac80fd4ba7f6ee82","after":"3650f5a6399607f7de74fa7b78c450c3cc61f867","ref":"refs/heads/java-17","pushedAt":"2024-05-25T17:07:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Create toShortSignature() in Method.java (#454)","shortMessageHtmlLink":"Create toShortSignature() in Method.java (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2315411704\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/454\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/454/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/454\">#454</a>)"}},{"before":"e5d88e48d26873b91d632bc1a454e34ee9d0553d","after":"77befe248dfa6b42e5455f00ac80fd4ba7f6ee82","ref":"refs/heads/java-17","pushedAt":"2024-05-24T12:39:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Create repeat() in String.java (#453)","shortMessageHtmlLink":"Create repeat() in String.java (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2315178021\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/453\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/453/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/453\">#453</a>)"}},{"before":"629fbba1ca49064391347ba1e831825985d5d871","after":"e5d88e48d26873b91d632bc1a454e34ee9d0553d","ref":"refs/heads/java-17","pushedAt":"2024-05-24T11:06:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Create stub for CDS.java (#452)","shortMessageHtmlLink":"Create stub for CDS.java (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2314880349\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/452\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/452/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/452\">#452</a>)"}},{"before":"e3a56c1c30834ff86cc407990189d38ced1ee5bb","after":"629fbba1ca49064391347ba1e831825985d5d871","ref":"refs/heads/java-17","pushedAt":"2024-05-18T17:55:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"fix for String (getBytes()) (#451)","shortMessageHtmlLink":"fix for String (getBytes()) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303483803\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/451\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/451/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/451\">#451</a>)"}},{"before":"505f0a27f2dcafbca4ead4dbc67cb639ff89346b","after":"e3a56c1c30834ff86cc407990189d38ced1ee5bb","ref":"refs/heads/java-17","pushedAt":"2024-05-03T17:42:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"fix for String (getBytes()) (#449)","shortMessageHtmlLink":"fix for String (getBytes()) (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2277866732\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/449\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/449/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/449\">#449</a>)"}},{"before":"2945e4973dd42fc1e8d3e6acf93c016f0583c1a2","after":"505f0a27f2dcafbca4ead4dbc67cb639ff89346b","ref":"refs/heads/java-17","pushedAt":"2024-04-27T11:21:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"FIX for Unsafe class (#447)\n\n* add and implement native method compareAndSetReference and also adjust the compareAndSetObject method to call compareAndSetReference method\r\n\r\n* Add and implement put related reference methods","shortMessageHtmlLink":"FIX for Unsafe class (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2266893138\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/447\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/447/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/447\">#447</a>)"}},{"before":"d9fb4ed81cb362890f820ef8d41f6f6205054484","after":"2945e4973dd42fc1e8d3e6acf93c016f0583c1a2","ref":"refs/heads/java-17","pushedAt":"2024-04-26T11:19:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7298631?s=80&v=4"},"commit":{"message":"Merge branch 'java-17' of github.com:javapathfinder/jpf-core into java-17","shortMessageHtmlLink":"Merge branch 'java-17' of github.com:javapathfinder/jpf-core into jav…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNlQxMToyODo1Mi4wMDAwMDBazwAAAASu2bhp","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNlQxMToyODo1Mi4wMDAwMDBazwAAAASu2bhp","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yNlQxMToxOTo1NC4wMDAwMDBazwAAAAQ7FEqO"}},"title":"Activity · javapathfinder/jpf-core"}