All pull requests

Pull requests

• tests/Makefile: use the shared Makefile.results

  #940·mernst opened Oct 20, 2026Member·

  ·
  1

• Splitter: pass the elements of an array argument to a method

  #939·mernst opened Oct 20, 2026Member·

  ·
  6

• Splitter: do not replace a null that is compared with a String, such as this.sign == null

  #937·mernst opened Oct 19, 2026Member·

  ·
  1

  

• Splitter: do not mangle names that do not start with a variable name, such as java.lang.Math.abs

  #936·mernst opened Oct 19, 2026Member·

  ·
  3

• Reject min-value and max-value bounds that are not valid for the variable's rep-type

  #935·mernst opened Oct 19, 2026Member·

  ·
  1

• Make "make -n compile" terminate

  #934·mernst opened Oct 19, 2026Member·

  ·
  5

• 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·

  ·
  9

• Chicory: remove leftover version 1 auxiliary information from type names

  #930·mernst opened Oct 19, 2026Member·

  ·
  1

• Delete the unused GeoSegment3 goal file

  #929·mernst opened Oct 19, 2026Member·

  ·
  1

• Convert the developer manual's example .decls file to the version 2 format

  #928·mernst opened Oct 19, 2026Member·

  ·
  5

• 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·

  ·
  3

• Splitter file names: truncate long program point names; use only ASCII characters

  #925·mernst opened Oct 18, 2026Member·

  ·
  1

• Splitter: strip a [] suffix from array variable names

  #924·mernst opened Oct 18, 2026Member·

  ·
  1

• DeclReader: more robust parsing for Chicory's --comparability-file

  #922·mernst opened Oct 18, 2026Member·

  ·
  1

• Keep running Kvasir and DynComp tests after a failure

  #921·mernst opened Oct 18, 2026Member·

  ·
  1

• Test Makefiles: find Makefile.jdk relative to the Makefile; pass the junit classpath via TEST_JAVAC_ARGS

  #920·mernst opened Oct 18, 2026Member·

  ·
  1

• 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

• Recompile SplitterFactoryTest when Daikon changes

  #907·mernst opened Oct 11, 2026Member·

  ·
  5

• 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

• TraceSelect: reject bad arguments, accept -h and --help

  #886·mernst opened Oct 7, 2026Member·

  ·
  23