Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 13 hours ago.
Apr 18, 2023 — Apr 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
fixed bug
scohen1347
More... almost 19 years ago
*** empty log message ***
sromney
More... almost 19 years ago
*** empty log message ***
sromney
More... almost 19 years ago
changed implementation of isomorphism to use the interface
scohen1347
More... almost 19 years ago
General interface for isomorphism, implemented interface in IntStack
scohen1347
More... almost 19 years ago
Added isomorphic check to repOK()
scohen1347
More... almost 19 years ago
instrumentation works!
ericrobe
More... almost 19 years ago
Push method is working. Only thing left is to integrate the instrumentation and add equals
sromney
More... almost 19 years ago
Korat search is working with the pop method. The push method is annotated and I am working on support for testing of it
sromney
More... almost 19 years ago
JML Assertions are working! PredicateAutoGenerator is working, FinitizationMethodGenerator working, but not perfected yet
sromney
More... almost 19 years ago
adding jar libraries
ericrobe
More... about 19 years ago
added method instrumentation. This version has a runtime bug when adding methods before fields don't exist yet.
ericrobe
More... about 19 years ago
Code with JML assertion checker executes, however no JML errors are thrown when there should be. At lease it compiles.
sromney
More... about 19 years ago
*** empty log message ***
sromney
More... about 19 years ago
testing commit via Eclipse CVS client
sromney
More... about 19 years ago
Adding JML functionality - code does not execute
sromney
More... about 19 years ago
added some more method, constructor, and field instrumentation but this code doesn't run successfully. It will compile, however.
ericrobe
More... about 19 years ago
initial add; contains basic field instrumentation but no method or constructor instrumentation
ericrobe
More... about 19 years ago
no message
sromney
More... about 19 years ago
no message
sromney
More... about 19 years ago
Initial revision
sromney
More... about 19 years ago
- Finitization complete and tested - All components of Korat search algorithm developed - Debugging the search, should be ready tomorrow night
sromney
More... about 19 years ago
no message
sromney
More... about 19 years ago
Finitization class working, testable with FinitizationDriver. Progress on IntStackSearch - still need to implement backtrack
sromney
More... about 19 years ago
some progress... still not runnable though
sromney
More... about 19 years ago
no message
sromney
More... about 19 years ago
testing commit
sromney
More... about 19 years ago
testing commit
sromney
More... about 19 years ago
Initial revision
sromney
More... about 19 years ago
Initial revision
sromney
More... about 19 years ago