{"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://github.com/avatars/u/23702826?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713022871.0","currentOid":""},"activityList":{"items":[{"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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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://github.com/avatars/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…"}},{"before":"af717614053bd4c8ff0f08664c58a9a01953dcc2","after":"d9fb4ed81cb362890f820ef8d41f6f6205054484","ref":"refs/heads/java-17","pushedAt":"2024-04-25T13:57:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://github.com/avatars/u/7298631?s=80&v=4"},"commit":{"message":"Try different Java 17 setup for CI.","shortMessageHtmlLink":"Try different Java 17 setup for CI."}},{"before":"fbb83498ee98da770ad3ec76a2d62f207030b536","after":"af717614053bd4c8ff0f08664c58a9a01953dcc2","ref":"refs/heads/java-17","pushedAt":"2024-04-15T12:55:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://github.com/avatars/u/7298631?s=80&v=4"},"commit":{"message":"Update Java version in CI build to Java 17.","shortMessageHtmlLink":"Update Java version in CI build to Java 17."}},{"before":"579284ff82cac0b2bc1fe5441af47aa32fcd7bf7","after":"fbb83498ee98da770ad3ec76a2d62f207030b536","ref":"refs/heads/java-17","pushedAt":"2024-04-15T12:35:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://github.com/avatars/u/7298631?s=80&v=4"},"commit":{"message":"Initial build for Java17 (#441)\n\n* Change src/classes/modules/java.base/jdk/internal/misc/* to src/classes/modules/java.base/access/*\r\n\r\n* Update change of misc to access in build.gradle file\r\n\r\n* Updated Language(Java) Level to 17\r\n\r\n* Adapted String class accoring to String class of Java 17\r\n\r\n* Move Unsafe.java (src/classes/modules/java.base/jdk/internal/access/Unsafe.java -> src/classes/modules/java.base/jdk/internal/misc/Unsafe.java)\r\n\r\n* Add (--add-exports and --add-opens statement for java.internal.misc) statement\r\n\r\n* Add (--add-exports statement for java.internal.misc=ALL-UNNAMED) statement\r\n\r\n* Update import statement for importing jdk.internal.misc.Unsafe\r\n\r\n* Fix ProxyGenerator.generateProxyClass(-----) with new update in Java 17\r\n\r\n* Remove inheritence as it is not needed","shortMessageHtmlLink":"Initial build for Java17 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2242133038\" data-permission-text=\"Title is private\" data-url=\"https://github.com/javapathfinder/jpf-core/issues/441\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/javapathfinder/jpf-core/pull/441/hovercard\" href=\"https://github.com/javapathfinder/jpf-core/pull/441\">#441</a>)"}},{"before":null,"after":"579284ff82cac0b2bc1fe5441af47aa32fcd7bf7","ref":"refs/heads/java-17","pushedAt":"2024-04-13T15:41:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://github.com/avatars/u/7298631?s=80&v=4"},"commit":{"message":"Clarify Java dependency.","shortMessageHtmlLink":"Clarify Java dependency."}},{"before":"b343dae1cb5b82ddcc5738e24e7c71f986c6d1ed","after":"579284ff82cac0b2bc1fe5441af47aa32fcd7bf7","ref":"refs/heads/master","pushedAt":"2024-03-12T18:57:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://github.com/avatars/u/7298631?s=80&v=4"},"commit":{"message":"Clarify Java dependency.","shortMessageHtmlLink":"Clarify Java dependency."}},{"before":"4b451ceacbd21db4b60045b371ca1db4c22a4474","after":"2345caaa002e15c6147d001d1ccd71e4b538f8e9","ref":"refs/heads/java-8","pushedAt":"2024-03-12T18:56:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cyrille-artho","name":null,"path":"/cyrille-artho","primaryAvatarUrl":"https://github.com/avatars/u/7298631?s=80&v=4"},"commit":{"message":"Clarify the Java version.","shortMessageHtmlLink":"Clarify the Java version."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkUABIgA","startCursor":null,"endCursor":null}},"title":"Activity · javapathfinder/jpf-core"}