Skip to content
Snippets Groups Projects
Select Git revision
  • carlos
  • master default protected
2 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.08Dec765430Nov2928232025Oct1927Jul262524133Mar24Feb23163Nov26Jul31May11Mar27Oct75130Sep2916108727Jul231612923Jun1110ErlangCodeFactory: fix production of try-of structures.carloscarlosPartially revert: All algorithms: improved lastEdgeType storing logiceKnife: fix bug for argument parsingjinterface: move from system dependency to custom repositoryAll algorithms: improved lastEdgeType storing logic.eKnife: use newer algorithms and slight change to CLI arguments.Slicing algorithms unification and overhaul.OnePassConstrainedAlg: fix two bugs (loop detection and traversed edges)EdgeList: optimize find loop operation.Constraints: remove NodeConstraintsConstrained Tabular algorithms: only use a PriorityQueue when relevant.Work#isSuffix: fix ignored previousEdgeType on NodeWork.WorkList: documentation and cleanup.Benchmarks: assign tag to JSS and tabular.Tabular algorithms: enable traversal of summariesRemove caching in slicing algorithms and SummaryTable.ErlConnection: merge with Launcher and add documentation.Work: simplify equals and make id final.Benchmarks: comparison between JSS R1 and tabular algorithmsEdgeList: fix bug on EMPTY_LIST.contains(...) callsTabularAlgorithm: update with everything learned on ConstrainedTabularAlgorithm.benchmarks: simplify timestamprun.sh: set mvn log level to warning.run.sh: show size improvement by stack and file.ConstrainedTabularAlgorithm: lookup table to speedup summary generationrun.sh: store results in sqlite db and detailed queriesconstrained subsumed tabular algorithm fixbenchmarks: swap labels (were incorrect)run.sh: fix erroneous quotationEdge: efficiency changes.run.sh: analyze_results can be specific and won't fail for partial benchmarksBenchmarks: use SC's id instead of a counterConstrainedTabularAlgorithm.Work#lastEdgeType was not being taken into account for setsSpeedup the testing of printing slices.Move astCounter to correct location (based on run.sh)benchmark set without lambdasTest new version of subsumption.Move jinterface from e-Knife/src to Maven.Bug-fixing on tabular slicing algorithms and improvements for benchmarks.Work-list based and Reps tabular slicing for recursive programs.