All pull requests

Pull requests

• tests/Makefile: use the shared Makefile.results

  #940·mernst opened Oct 20, 2026Member·

  ·
  1

  

• Remove splitters with duplicate conditions among those valid at a program point

  #933·mernst opened Oct 19, 2026Member·

  ·
  1

• Make ppt_perc and SplitDtrace handle version 2 files

  #931·mernst opened Oct 19, 2026Member·

  ·
  21

• Reinstate the -a, -p, and -ap diff tests and the StackAr diff test

  #927·mernst opened Oct 19, 2026Member·

  ·
  1

• spinfo PPT_NAME: complete names match exactly

  #926·mernst opened Oct 18, 2026Member·

  ·
  7

• DtraceNonceFixer: optional OUTFILE argument, replaced atomically

  #919·mernst opened Oct 18, 2026Member·

  ·
  1

• DtraceNonceFixer: give an EXIT sample the nonce of its ENTER sample

  #918·mernst opened Oct 18, 2026Member·

  ·
  1

• Report a missing JDK only when a command needs it

  #902·mernst opened Oct 11, 2026Member·

  ·
  7

• Share JAVA_HOME and Java version detection among Makefiles; use JAVA_HOME's tools

  #897·mernst opened Oct 10, 2026Member·

  ·
  20

• Document Kvasir option --dyncomp-unhandled-ops

  #894·mernst opened Oct 10, 2026Member·

  ·
  13

  

• Drop support for the version 1 file format

  #880·mernst opened Oct 6, 2026Member·

  ·
  16

• Convert test inputs from the version 1 file format to version 2

  #879·mernst opened Oct 6, 2026Member·

  ·
  7

• Quant.getElement_*: return the default value for an out-of-bounds index

  #878·mernst opened Oct 6, 2026Member·

  ·
  3

• Split at leaf program points other than numbered exits

  #877·mernst opened Oct 6, 2026Member·

  ·
  13

• Support daikon.Quant calls in splitting conditions

  #869·mernst opened Oct 6, 2026Member·

  ·
  3

• ExtractConsequent: write splitting conditions that Daikon can use

  #868·mernst opened Oct 6, 2026Member·

  ·
  16

• Fix runcluster.pl

  #856·mernst opened Oct 5, 2026Member·

  ·
  2

  3

• Add MergeComparability tool to merge multiple DynComp runs

  #854·mernst opened Oct 5, 2026Member·

  ·
  1

  16

• Make variables that are comparable in any child ppt comparable at the parent ppt

  #852·mernst opened Oct 5, 2026Member·

  ·
  1

  6

• AGORA invariants, without introducing a new variable to check for "always empty"

  #555·mernst opened Jul 8, 2024Member·

  ·
  2

• Add AGORA invariants

  #497·juaaloval opened Jul 4, 2023·

  ·
  19

  

• Exception exit support

  #91·markro49 opened Jul 17, 2017Contributor·

  ·
  27

• Feature exception handling

  #56·rarworld opened May 30, 2016·

  ·
  21