J

JBSE

Settings | Report Duplicate

2

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 11, 2024 — Dec 11, 2025 Showing page 2 of 35 Search / Filter on:
Add again SettingsReaderTest	Pietro Braione	More...				about 3 years ago
Merge pull request #53 from alessandropellegrini/JDILauncher	Pietro Braione	More...				about 3 years ago
Update DecisionProcedureGuidanceJDILauncher.java	Pietro Braione	More...				about 3 years ago
Simplify README.md	Pietro Braione	More...				about 3 years ago
Set Javassist to upstream 3.29.1-GA	Pietro Braione	More...				about 3 years ago
Add native	Pietro Braione	More...				almost 4 years ago
Fix uninterpreted functions management in guidance decision procedure	Pietro Braione	More...				almost 4 years ago
Small change	Pietro Braione	More...				about 4 years ago
Revert change	Pietro Braione	More...				about 4 years ago
Small fix	Pietro Braione	More...				about 4 years ago
Add partial support to ReferenceSymbolicApply calculation of most precise type	Pietro Braione	More...				about 4 years ago
Fix bug	Pietro Braione	More...				about 4 years ago
Two big changes	Pietro Braione	More...				about 4 years ago
Improve state formatting (return values)	Pietro Braione	More...				over 4 years ago
Fix bug, improve comments	Pietro Braione	More...				over 4 years ago
Small changes	Pietro Braione	More...				over 4 years ago
Merge pull request #54 from alessandropellegrini/methodSignature	Pietro Braione	More...				over 4 years ago
Small changes	Pietro Braione	More...				over 4 years ago
Refactor	Pietro Braione	More...				over 4 years ago
Fix bug	Pietro Braione	More...				over 4 years ago
Small changes	Pietro Braione	More...				over 4 years ago
Fix several bugs	Pietro Braione	More...				over 4 years ago
Fixes and improvements to DecisionProcedureGuidanceJDI	Pietro Braione	More...				over 4 years ago
Merge pull request #59 from gdenaro73/master	Pietro Braione	More...				over 4 years ago
Fix: computation of initial map moved in eval_INVOKEX. This enables eval_INVOKEX to advance multiple times as needed for computing the localSymbolicApplyCache	Giovanni Denaro	More...				over 4 years ago
Merge pull request #58 from gdenaro73/master	Pietro Braione	More...				over 4 years ago
Temporary rollback	Giovanni Denaro	More...				over 4 years ago
Fix bugs, refactor	Pietro Braione	More...				over 4 years ago
First reimplementation step of DecisionProcedureGuidanceJBSE	Pietro Braione	More...				over 4 years ago
Use call contexts as keys in DecisionProcedureGuidanceJDI.symbolicApplyCache	Pietro Braione	More...				over 4 years ago

←
1
2
3
4
5
6
7
8
9
…
34
35
→