Popular repositories Loading
-
ORM-Smells-Catalog
ORM-Smells-Catalog PublicRepository for the ORM-related Code Smells catalog
-
-
-
theory-pl-refinement
theory-pl-refinement PublicPVS specification files for the theory of Software Product Line Refinement
TeX 4
Repositories
Showing 10 of 29 repositories
- conflict-static-analysis Public
spgroup/conflict-static-analysis’s past year of commit activity - svfa-scala Public Forked from galilasmb/svfa-scala
An implementation of sparse-value flow analysis on top of soot (using Scala)
spgroup/svfa-scala’s past year of commit activity - static-semantic-merge Public Forked from cdbm/static-semantic-merge
merge semantic tool based on static analysis
spgroup/static-semantic-merge’s past year of commit activity - mergedataset Public
spgroup/mergedataset’s past year of commit activity - diffj Public Forked from rbonifacio/diffj
A command line application to compare Java files without regard to formatting.
spgroup/diffj’s past year of commit activity - spgroup.github.io Public template Forked from alshedivat/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
spgroup/spgroup.github.io’s past year of commit activity