Comments (6)
@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.
from jpf-core.
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.
Thanks, coverage data is very helpful.
Please create a task + PR for this feature as well.
from jpf-core.
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.
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.