projects
/
jpf-core.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
jpf-core.git
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-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
2018-01-23
Quoc-Sang Phan
fix bug: check division by zero
commit
|
commitdiff
|
tree
|
snapshot
2018-01-21
Vaibhav Sharma
An initial commit to support navigation menu in GitHub...
commit
|
commitdiff
|
tree
|
snapshot
2018-01-16
Vaibhav Sharma
Renaming /doc to /docs for use with GitHub Pages
commit
|
commitdiff
|
tree
|
snapshot
2017-05-31
Nastaran Shafiei
Renamed readme
commit
|
commitdiff
|
tree
|
snapshot
2017-05-31
Nastaran Shafiei
Initial import
commit
|
commitdiff
|
tree
|
snapshot
2017-05-31
nastaran-shafiei
Initial commit
commit
|
commitdiff
|
tree
|
snapshot