Comments (6)
jeandersonbc
commented on July 25, 2024
@cyrille-artho (cc @wvisser), I removed all {IDE, Ant}-related files from the main repository.
I also organized the Gradle script. It would be awesome to take a quick look at my changes here: gradle...jeandersonbc:gradle
Regarding documentation update, I found this HOWTO that might be useful organize and update our wiki page: https://gist.github.com/larrybotha/10650410
While I wait for feedback, I'm checking if this wiki update steps (see the previous link) will work.
from jpf-core.
cyrille-artho
commented on July 25, 2024
Thanks. Please go ahead with the wiki update.
Jeanderson Barros Candido wrote:
… @cyrille-artho <https://github.com/cyrille-artho> (cc @wvisser
<https://github.com/wvisser>), I removed all {IDE, Ant}-related files from
the main repository.
I also organized the Gradle script. It would be awesome to take a quick
look at my changes here: gradle...jeandersonbc:gradle
<gradle...jeandersonbc:gradle>
Regarding documentation update, I found this HOWTO that might be useful
organize and update our wiki page: https://gist.github.com/larrybotha/10650410
While I wait for feedback, I'm checking if this wiki update steps (see the
previous link) will work.
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#87 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AG9eRxYeqp-IcPdc0HKbVbs2INvHUlEsks5t-C2BgaJpZM4UpsNo>.
--
Regards,
Cyrille Artho - http://artho.com/
Life, loathe it or ignore it, you can't like it.
-- Marvin, "Hitchhiker's Guide to the Galaxy"
from jpf-core.
jeandersonbc
commented on July 25, 2024
I updated my Gradle branch with Jacoco (see report here: https://codecov.io/gh/jeandersonbc/jpf-core) and merged my changes on my master.
I'm pending to finish to update the wiki page, though (work in progress).
from jpf-core.
cyrille-artho
commented on July 25, 2024
Thanks, coverage data is very helpful.
Please create a task + PR for this feature as well.
from jpf-core.
jeandersonbc
commented on July 25, 2024
so far, I'm missing only to update the optional analysis on gradle build and then we are done with the preparation to merge Gradle support into master.
from jpf-core.
jeandersonbc
commented on July 25, 2024
Gradle support successfully merged (#98)
from jpf-core.
Related Issues (20)
- Java Path Finder Latest Version not available HOT 1
- Addressing Deprecated API Usage: public static SecurityManager getSecurityManager() {....} has been deprecated since Java 17 HOT 47
- Test case failure at Java-8 branch HOT 6
- `String.equals(Object)` makes JPF on Java 11 crash HOT 9
- Java 17 support: CI configuration, identification of key issues HOT 29
- java.lang.NoSuchMethodError: java.lang.String.getBytes([BIIBI) HOT 13
- cannot find native jdk.internal.misc.CDS.isDumpingClassList0 HOT 43
- StringIndexOutOfBoundsException HOT 5
- `java.net.URI.toURI` broken
- Java 17: BufferMismatch now depends on native code: JPF crashes (missing native peer) if byte buffers differ
- `BufferTest.testCharBufferConstructor` uses random bytes HOT 96
- Test "gov.nasa.jpf.test.java.io.ObjectStreamTest and gov.nasa.jpf.test.java.io.testSimpleReadbackOk" Fails on Java 17 HOT 18
- Test "gov.nasa.jpf.test.java.concurrent.SemaphoreTest" fails on OpenJDK-17 HOT 16
- Assistance Needed with Deadlock Detection in JPF HOT 5
- "gov.nasa.jpf.test.java.concurrent.CountDownLatchTest" and "gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest" fails on Java-17 HOT 16
- "gov.nasa.jpf.test.java.concurrent.ConcurrentSkipListMapTest" fails on Java-17 HOT 6
- Add support for package metadata in `JarClassFileContainer`
- Investigate `java.lang.invoke.MethodHandles$Lookup.findVarHandle` HOT 19
- NullPointerException in `java.util.jar.JarFile.getEntry0` method HOT 2
- Compiler warnings under Java 17 HOT 24
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from jpf-core.