J

JBSE

Settings | Report Duplicate

2

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 22 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 28, 2024 — Nov 28, 2025 Showing page 13 of 35 Search / Filter on:
Bug fix	Pietro Braione	More...				about 6 years ago
Small change	Pietro Braione	More...				about 6 years ago
Bug fix	Pietro Braione	More...				about 6 years ago
Improve uninterpreted functions support	Pietro Braione	More...				about 6 years ago
Refactor, fix	Pietro Braione	More...				over 6 years ago
Fix regression	Pietro Braione	More...				over 6 years ago
Add more natives	Pietro Braione	More...				over 6 years ago
Small changes	Pietro Braione	More...				over 6 years ago
Harden against null properties	Pietro Braione	More...				over 6 years ago
Fix test, fix for Gradle test execution	Pietro Braione	More...				over 6 years ago
Fix bug	Pietro Braione	More...				over 6 years ago
Implement new native method	Pietro Braione	More...				over 6 years ago
Small changes	Pietro Braione	More...				over 6 years ago
Add one more native	Pietro Braione	More...				over 6 years ago
Small change	Pietro Braione	More...				over 6 years ago
Change representation of ArrayImpl	Pietro Braione	More...				over 6 years ago
Fix management of class initialization in guidance	Pietro Braione	More...				over 6 years ago
Add one more pure static initializer	Pietro Braione	More...				over 6 years ago
Small changes	Pietro Braione	More...				over 6 years ago
Fix decision procedure chain of responsibility behavior + small changes	Pietro Braione	More...				over 6 years ago
Merge branch 'master' of https://github.com/pietrobraione/jbse.git into HEAD	Pietro Braione	More...				over 6 years ago
Small changes	Pietro Braione	More...				over 6 years ago
Fix bug	Pietro Braione	More...				over 6 years ago
Fix bug	Pietro Braione	More...				over 6 years ago
Reduce number of pattern recompilations in rules	Pietro Braione	More...				over 6 years ago
Implement copy-on-write for static method area	Pietro Braione	More...				over 6 years ago
Optimize against speed regression	Pietro Braione	More...				over 6 years ago
Support static members origins in LICS rules	Pietro Braione	More...				over 6 years ago
Declare that we support all Java versions up to 8	Pietro Braione	More...				over 6 years ago
Fix bug + small change	Pietro Braione	More...				over 6 years ago

←
1
2
…
9
10
11
12
13
14
15
16
17
…
34
35
→