projects
/
jpf-core.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
jpf-core.git
2019-05-03
Cyrille Artho
Fix issue #186: package name (thanks to Marvinmw for...
commit
|
commitdiff
|
tree
|
snapshot
2019-03-31
Yahya
Updated Search.java documentation (#184)
commit
|
commitdiff
|
tree
|
snapshot
2019-03-30
Jentsch
Add Peer for java.util.concurrent.atomic.AtomicReferenc...
commit
|
commitdiff
|
tree
|
snapshot
2019-03-29
fresheed
Calendar peer bug demonstration (#181)
commit
|
commitdiff
|
tree
|
snapshot
2019-03-25
Yahya
Refined and expanded the javadoc for SearchListener...
commit
|
commitdiff
|
tree
|
snapshot
2019-03-25
Manish Kumar...
Implements a jpf example ConcurrentCount (#177)
commit
|
commitdiff
|
tree
|
snapshot
2019-01-30
Krizhan Mariampillai
Updated Buffer and Matcher Classes (#171)
commit
|
commitdiff
|
tree
|
snapshot
2019-01-29
Manish Kumar...
Rectifies the java.lang.NoSuchMethodError when usinf...
commit
|
commitdiff
|
tree
|
snapshot
2019-01-03
Cyrille Artho
Fix: else-if block was missing code, so the "user"...
commit
|
commitdiff
|
tree
|
snapshot
2018-12-20
Cyrille Artho
Added test on redirecting stdout to a file.
commit
|
commitdiff
|
tree
|
snapshot
2018-12-12
ngocpq
[fix-bug]: checking attrs is not null in method StackFr...
commit
|
commitdiff
|
tree
|
snapshot
2018-11-24
Cyrille Artho
FIX: java.lang.Object should be java/lang/Object.
commit
|
commitdiff
|
tree
|
snapshot
2018-11-23
Cyrille Artho
FIX: "java.lang.Char" should be "java.lang.Character...
commit
|
commitdiff
|
tree
|
snapshot
2018-11-23
Cyrille Artho
Fixed out-of-bounds cases for substring.
commit
|
commitdiff
|
tree
|
snapshot
2018-11-23
Cyrille Artho
Added StringIndexOutOfBoundsException for charAt, with...
commit
|
commitdiff
|
tree
|
snapshot
2018-11-23
Cyrille Artho
Fixed behavior of division by 0 on doubles (should...
commit
|
commitdiff
|
tree
|
snapshot
2018-11-23
Cyrille Artho
Fix for System.in.available().
commit
|
commitdiff
|
tree
|
snapshot
2018-11-17
Cyrille Artho
Support Runtime.halt.
commit
|
commitdiff
|
tree
|
snapshot
2018-11-14
Cyrille Artho
modified: build.gradle: Put JPF version into JAR...
commit
|
commitdiff
|
tree
|
snapshot
2018-11-13
Cyrille Artho
modified: bin/jpf-sv-comp: adapt script to path...
commit
|
commitdiff
|
tree
|
snapshot
2018-11-13
Cyrille Artho
modified: bin/jpf-core-sv-comp: Adapt jpf location...
commit
|
commitdiff
|
tree
|
snapshot
2018-10-19
Cyrille Artho
new file: jpf-core-sv-comp: jpf-core-only configuration.
commit
|
commitdiff
|
tree
|
snapshot
2018-10-19
Cyrille Artho
Merge branch 'sv-comp-run-script' of git://github.com...
commit
|
commitdiff
|
tree
|
snapshot
2018-09-07
jtoman
Improves annotation support (#161)
commit
|
commitdiff
|
tree
|
snapshot
2018-09-02
cyrille-artho
Merge pull request #157 from uwplse/set_throwable_cause
commit
|
commitdiff
|
tree
|
snapshot
2018-09-01
jtoman
Fixes default method resolution (#159)
commit
|
commitdiff
|
tree
|
snapshot
2018-09-01
cyrille-artho
Merge pull request #156 from uwplse/null_lambda_capture
commit
|
commitdiff
|
tree
|
snapshot
2018-09-01
cyrille-artho
Merge pull request #155 from uwplse/array_setget
commit
|
commitdiff
|
tree
|
snapshot
2018-08-31
John Toman
Fixes setCause on default exception
commit
|
commitdiff
|
tree
|
snapshot
2018-08-31
John Toman
Fixes null captured parameters
commit
|
commitdiff
|
tree
|
snapshot
2018-08-31
John Toman
Fix get/setShort for field and array reflection
commit
|
commitdiff
|
tree
|
snapshot
2018-08-27
Peter Schrammel
Run script for Benchexec
commit
|
commitdiff
|
tree
|
snapshot
2018-07-11
Jeanderson...
Removed Codecov badge
commit
|
commitdiff
|
tree
|
snapshot
2018-07-11
Jeanderson...
Merge pull request #98 from jeandersonbc/master
commit
|
commitdiff
|
tree
|
snapshot
2018-07-10
Jeanderson...
Updated travis settings
commit
|
commitdiff
|
tree
|
snapshot
2018-07-10
Jeanderson...
Ignoring reports/ dir
commit
|
commitdiff
|
tree
|
snapshot
2018-07-10
Jeanderson...
Organized build script
commit
|
commitdiff
|
tree
|
snapshot
2018-07-10
Jeanderson...
Bump Gradle version
commit
|
commitdiff
|
tree
|
snapshot
2018-07-10
Jeanderson...
Removed jacoco and builscan from regular build
commit
|
commitdiff
|
tree
|
snapshot
2018-07-05
Jeanderson...
Fixes #95 - Using 'git desribe --tags' rather than...
commit
|
commitdiff
|
tree
|
snapshot
2018-07-05
Jeanderson...
Issue #95 - Updated ReporterResourcesTest
commit
|
commitdiff
|
tree
|
snapshot
2018-07-02
Jeanderson...
Added Eclipse support for gradle
commit
|
commitdiff
|
tree
|
snapshot
2018-06-21
Jeanderson...
Revert "Removed docs dir (should be in a different...
commit
|
commitdiff
|
tree
|
snapshot
2018-06-20
Jeanderson...
Removed docs dir (should be in a different place/branch)
commit
|
commitdiff
|
tree
|
snapshot
2018-06-20
Jeanderson...
Extra - Fixed Codecov URL badge
commit
|
commitdiff
|
tree
|
snapshot
2018-06-20
Jeanderson...
Update README.md
commit
|
commitdiff
|
tree
|
snapshot
2018-06-20
Jeanderson...
Extra - Added Codecov support
commit
|
commitdiff
|
tree
|
snapshot
2018-06-20
Jeanderson...
Extra - Added Jacoco for test coverage analysis
commit
|
commitdiff
|
tree
|
snapshot
2018-06-20
Jeanderson...
Merge branch 'master' into gradle
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Added missing version id
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Added acceptance of scans.gradle.com terms of service
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Enabled build scan
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Reorganized task descriptions and removed IDE-related...
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Updated build.gradle script file
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Fixed task dependencies
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Fixed missing properties files on build cycle
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Removed IDE-related files
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Removed META-INF directory
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Ignoring build.properties file
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Removed build.properties and updated build.gradle
commit
|
commitdiff
|
tree
|
snapshot
2018-06-18
Jeanderson...
Removed Ant script (#87)
commit
|
commitdiff
|
tree
|
snapshot
2018-06-15
Jeanderson...
Added missing packaging tasks on Gradle build (#84)
commit
|
commitdiff
|
tree
|
snapshot
2018-06-07
cyrille-artho
Merge pull request #79 from jeandersonbc/issue78
commit
|
commitdiff
|
tree
|
snapshot
2018-06-05
Jeanderson...
Created buildinfo task (#78)
commit
|
commitdiff
|
tree
|
snapshot
2018-06-05
Jeanderson...
Added tests to verify if resources exist in classpath...
commit
|
commitdiff
|
tree
|
snapshot
2018-06-01
cyrille-artho
Merge pull request #74 from jeandersonbc/issue56
commit
|
commitdiff
|
tree
|
snapshot
2018-05-31
Jeanderson...
Added ignored tests (Fixes #56)
commit
|
commitdiff
|
tree
|
snapshot
2018-05-31
Jeanderson...
Adds support to Jar tasks on Gradle build (#70)
commit
|
commitdiff
|
tree
|
snapshot
2018-05-29
cyrille-artho
Merge pull request #65 from jeandersonbc/issue64
commit
|
commitdiff
|
tree
|
snapshot
2018-05-28
Jeanderson...
Copying build.properties to output dir (fixes #64)
commit
|
commitdiff
|
tree
|
snapshot
2018-05-23
Jeanderson...
Implemented log summary and updated log configurations...
commit
|
commitdiff
|
tree
|
snapshot
2018-05-22
Jeanderson...
Added Java Plugin to the Gradle build (#52)
commit
|
commitdiff
|
tree
|
snapshot
2018-05-17
Dan Smith
Fix incorrect IncompatibleClassChangeError in ClassInfo...
commit
|
commitdiff
|
tree
|
snapshot
2018-05-16
Jeanderson...
Added minimal Gradle support to jpf-core (#45)
commit
|
commitdiff
|
tree
|
snapshot
2018-04-26
cyrille-artho
Merge pull request #4 from gayanW/3
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge pull request #16 from javapathfinder/dev
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge pull request #15 from gayanW/patch-1
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Gayan Weerakutti
Embed Travis status image to README.md
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge pull request #14 from javapathfinder/dev
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge branch 'dev' of https://github.com/javapathfinder...
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Returning SharedSecrets to its original state since...
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge pull request #13 from gayanW/dev
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge branch 'dev' into dev
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge branch 'dev' of https://github.com/javapathfinder...
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Willem Visser
Merge branch 'master' of https://github.com/javapathfin...
commit
|
commitdiff
|
tree
|
snapshot
2018-04-17
Gayan Weerakutti
Make Travis build against latest available oracle-jdk
commit
|
commitdiff
|
tree
|
snapshot
2018-04-17
Gayan Weerakutti
Create .travis.yml
commit
|
commitdiff
|
tree
|
snapshot
2018-04-17
Willem Visser
Delete travis support from dev
commit
|
commitdiff
|
tree
|
snapshot
2018-04-17
Willem Visser
Merge pull request #6 from gayanW/travis
commit
|
commitdiff
|
tree
|
snapshot
2018-04-17
Willem Visser
First try for Travis
commit
|
commitdiff
|
tree
|
snapshot
2018-04-17
Willem Visser
Removing referebces to JavaObjectInputStreamAccess...
commit
|
commitdiff
|
tree
|
snapshot
2018-03-08
Quoc-Sang Phan
Merge pull request #5 from jeandersonbc/readme-update
commit
|
commitdiff
|
tree
|
snapshot
2018-03-08
Jeanderson...
Updated README.md file
commit
|
commitdiff
|
tree
|
snapshot
2018-03-08
Gayan Weerakutti
Create .travis.yml
commit
|
commitdiff
|
tree
|
snapshot
2018-03-07
Nastaran Shafiei
Included a missing import to GenPeer.
commit
|
commitdiff
|
tree
|
snapshot
2018-03-07
Nastaran Shafiei
Uploaded wiki images.
commit
|
commitdiff
|
tree
|
snapshot
2018-03-07
Nastaran Shafiei
Moved the documents to jpf-core/wiki
commit
|
commitdiff
|
tree
|
snapshot
2018-03-04
Gayan Weerakutti
Improve .gitignore file
commit
|
commitdiff
|
tree
|
snapshot
2018-01-24
Vaibhav Sharma
Merge branch 'master' of https://github.com/javapathfin...
commit
|
commitdiff
|
tree
|
snapshot
2018-01-24
Vaibhav Sharma
Updating README to point to the wiki
commit
|
commitdiff
|
tree
|
snapshot
next