Skip to content
Snippets Groups Projects
Select Git revision
  • G3dev
  • master default
  • 3.0
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019May19Nov14Jan17Jul16141312630Jun2924232122Feb21179231Jan302726252415Jul31Jan28181715121165327Sep4Apr318Mar9Feb30Jan27262513724Aug231028Jul18Mar128420Feb19529Jan2827242215131211107432131Dec302825Oct22212097Jun5426May141211230Apr2Mar27Feb26126130Jan29282726252Dec25Nov2423222116upping version to 3.01mastermastercommenting out few testsmigrating to a maven projectadding few examples3.03.0uhm something with JTypeUtilsG3devG3devfinishing sequence-gen; cleaning up superflous classes.rewrite the sequence genmaking valueMG state-based. Dropping superflous methodstweaking the standard valueMGrealigning steps MGrealigning SUITEReplaceing precond holder with HOARE. Adding IsEqualOracle. Reworking how violations are determined and tracked.fixing the logic of the calculation of type substitution in ObjectMGFixing one bug in the type solver (solving tyvar), And testing solver and converter from java-type to T3-Jtype.changing/fixing the logic of solveClassTyvars. Streamlining ValueMG so that components generators can be modified.Realigning valueMGAligning value meta-gensRealigning STEP MGsstarting a pass on the meta-generatorsRefactoring Imap and Tscopestarting with G3 developmentminor changesRemove .DS_Store from everywhereupdating G2 for SBST contestsome tweaks to analyticsadding few more custom generatorsadding few extra logging in G2analytics for G2 should be mostly done now.adding more statistics tracking to G2; tweaking G2 jandling of ADT-method to make it refined based on selected prefixes rather than all prefixes.G2 analytics; tweaking G2 so that it only saves test suite if it contains new traces.start adding data analytics to G2Merge branch 'new-treatement-for-interface-and-abs' into 'master'Optimizing prefixes refinement, to only do that when there is a method-ADT goal that is put back in the worklist.Adding a convenient way to hook a custom primval generator to G2Improving the stand-in generator.Improving the way CUT with only private constructors is treated.reimplementing progressive prefixes generation.investigating G2 prefix generatormaking G2 generator to reuse more from pool as params for target-methodRemoving multicore for G2. Improving prefix gen for G2.