J

JBSE

Settings | Report Duplicate

2

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 28, 2024 — Nov 28, 2025 Showing page 3 of 35 Search / Filter on:
Reindent	Pietro Braione	More...				over 4 years ago
Merge pull request #57 from gdenaro73/master	Pietro Braione	More...				over 4 years ago
Override local settings and reset for Docker	Pietro Braione	More...				over 4 years ago
Handling input Map objects that derive from uninterpreted functions or other input Maps	Giovanni Denaro	More...				over 4 years ago
Prepare next fixes to JDI guidance	Pietro Braione	More...				over 4 years ago
Fix guidance	Pietro Braione	More...				over 4 years ago
Fix bug	Pietro Braione	More...				over 4 years ago
Change depth computation	Pietro Braione	More...				over 4 years ago
Allow using Signature to set a method signature	alessandropellegrini as Alessandro Pellegrini	More...				over 4 years ago
Test Launcher checks if a method is static	alessandropellegrini as Alessandro Pellegrini	More...				over 4 years ago
Small change	Pietro Braione	More...				over 4 years ago
Fix README.md	Pietro Braione	More...				over 4 years ago
Fix for Docker	Pietro Braione	More...				over 4 years ago
Bump Gradle to 7.1.1	Pietro Braione	More...				over 4 years ago
Bump Gradle to 7.1.1	Pietro Braione	More...				over 4 years ago
Fix decision procedure test settings for Docker	Pietro Braione	More...				over 4 years ago
Add copy of jars in build/libs to build.gradle	Pietro Braione	More...				over 4 years ago
Small change	Pietro Braione	More...				over 4 years ago
Distinguish guidance failure for UIF with no context	Pietro Braione	More...				over 4 years ago
Merge branch 'master' of https://github.com/pietrobraione/jbse.git	Pietro Braione	More...				over 4 years ago
Small refactor	Pietro Braione	More...				over 4 years ago
Small changes	Pietro Braione	More...				over 4 years ago
Merge pull request #50 from gdenaro73/master	Pietro Braione	More...				over 4 years ago
Merge branch 'master' of https://github.com/pietrobraione/jbse	Giovanni Denaro	More...				over 4 years ago
Refactored to throw GuidanceException for calls with context nested in map-models. JDI cannot handle these calls because it see only the calls that truly happen in the actual bytecode	Giovanni Denaro	More...				over 4 years ago
Small changes	Pietro Braione	More...				over 4 years ago
Merge branch 'master' of https://github.com/pietrobraione/jbse	Giovanni Denaro	More...				over 4 years ago
Fix bug and refactor	Pietro Braione	More...				over 4 years ago
Small change	Pietro Braione	More...				over 4 years ago
Fix bug	Pietro Braione	More...				over 4 years ago

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