Commits

Author Commit Message Labels Comments Date
Kin-Keung Ma
Store the singleton Cil.file value in global.
Branches
DSE
Kin-Keung Ma
Profiling putting jobs into queues in OtterDriver.
Branches
DSE
Kin-Keung Ma
Added a flag which is set when remove_line_target_loc is called. User of this flag is responsible for turning it off.
Branches
DSE
Kin-Keung Ma
MERGE branch DSE 13691:13716 into trunk
Kin-Keung Ma
Fixed a bug since r11867 where the interprocedural option was ignored, making backotter-closest-to-targets-intraprocedural the same as backotter-closest-to-targets.
Branches
DSE
Kin-Keung Ma
Fixed a bug due to r11868 which made backotter-closest-to-targets-intraprocedural not intraprocedural.
Branches
DSE
Kin-Keung Ma
Added backotter-round-robin-InterSDSE-RandomPath, which is basically KLEE with closest-to-uncovered replaced with InterSDSE(round-robin). And renamed a few tags.
Branches
DSE
Yit Phang Khoo
Experiment results for the PLDI 2010 paper, from back in June 22, 2010 (merged from trunk).
Yit Phang Khoo
Experiment results for the PLDI 2010 paper, from back in June 22, 2010 (merged from trunk).
Tags
PLDI2010
Kin-Keung Ma
Renaming some strategies not being used
Branches
DSE
Yit Phang Khoo
Add a bunch of missing periods.
Kin-Keung Ma
Added reference to CS-TR-4979
Kin-Keung Ma
Added a test generation script for multi-targets experiment. It uses gcov outputs which are also checked in.
Branches
DSE
Yit Phang Khoo
Main README file for the entire Otter repository, superseding INSTALL.
Yit Phang Khoo
A few minor edits to fix Markdown formatting, capitalization and typos.
Kin-Keung Ma
MERGE branch DSE 13675:13690 into trunk
Kin-Keung Ma
Refactoring and adding comments.
Branches
DSE
Yit Phang Khoo
Fix the README file to be Markdown-compliant, and give it the proper extension.
Yit Phang Khoo
Add LICENSE file for CilQual.
Yit Phang Khoo
Add LICENSE file for Otter.
Kin-Keung Ma
Added aliases of strategies used in the DSE paper (Intra/InterSDSE, and their BackOtter variants)
Branches
DSE
Kin-Keung Ma
MERGE branch DSE 13591:13674 intro trunk
Kin-Keung Ma
A few script updates
Branches
DSE
Kin-Keung Ma
Fixed a bug that treats things like ':(#removed)' as lines.
Branches
DSE
Kin-Keung Ma
Added a script that generates a dict of lines covered by strategies. Used by gentests to generate tests for individual line targets.
Branches
DSE
Kin-Keung Ma
Added a strategy which explores a job with probability proportional to 1/distance-to-targets.
Branches
DSE
Kin-Keung Ma
A bunch of scripts for processing multi-targets experiment results.
Branches
DSE
Kin-Keung Ma
Fixed a bug since r12624 which mistakenly remove legit line targets when bad line targets exist.
Branches
DSE
Kin-Keung Ma
Added --line-targets-from-gcov which imports uncovered lines specified in a *.c.gcov as line targets.
Branches
DSE
Kin-Keung Ma
Added round-robin-closest-to-target.
Branches
DSE
  1. Prev
  2. Next