All pull requests

Pull requests

• Use ${JAVA} instead of bare java in tests/Makefile.common

  #912·mernst opened Oct 11, 2026Member·

  ·
  4

• Make daikon.bashrc ask javac or java for JAVA_HOME

  #911·mernst opened Oct 11, 2026Member·

  ·
  1

• Remove dead code from the rijndael test Makefile

  #910·mernst opened Oct 11, 2026Member·

  ·
  1

• Check Makefiles for malformed variable references

  #909·mernst opened Oct 11, 2026Member·

  ·
  3

• Upload Kvasir test outputs from failed CI jobs

  #908·mernst opened Oct 11, 2026Member·

  ·
  1

• Run SplitterFactoryTest from the junit target

  #907·mernst opened Oct 11, 2026Member·

  ·
  1

• Make SplitterFactoryTest's main run its tests; fix test drivers' main methods

  #906·mernst opened Oct 11, 2026Member·

  ·
  1

• Use the current spellings of --user-defined-invariant and --var-omit-pattern

  #905·mernst opened Oct 11, 2026Member·

  ·
  3

• Fix DAIKONDIR in tests/daikon-tests/Makefile; improve staging and daikon.bashrc

  #904·mernst opened Oct 11, 2026Member·

  ·
  1

• Report a missing JDK only when a command needs it

  #902·mernst opened Oct 11, 2026Member·

  ·
  1

• Update flex goal files for Fjalar's tracing of register parameters

  #900·mernst opened Oct 11, 2026Member·

  ·
  3

• Define DAIKONDIR in the test driver Makefiles

  #899·mernst opened Oct 10, 2026Member·

  ·
  1

• Define DAIKONDIR with := in test Makefiles

  #898·mernst opened Oct 10, 2026Member·

  ·
  1

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

  #897·mernst opened Oct 10, 2026Member·

  ·
  6

• Reset more Daikon and MultiDiff state so that TraceSelect can run them repeatedly

  #895·mernst opened Oct 10, 2026Member·

  ·
  1

• Document Kvasir option --dyncomp-unhandled-ops

  #894·mernst opened Oct 10, 2026Member·

  ·
  7

• Fix undefined variable references in test Makefiles

  #893·mernst opened Oct 10, 2026Member·

  ·
  3

• Use shell command substitution correctly when choosing the test job count

  #892·mernst opened Oct 10, 2026Member·

  ·
  4

• Show output of failed Kvasir and DynComp runs, and keep running tests after a failure

  #890·mernst opened Oct 10, 2026Member·

  ·
  1

• runtimechecker: reject bad options; accept -h and --help

  #888·mernst opened Oct 7, 2026Member·

  ·
  3

• CreateSpinfoC: report errors with a non-zero exit status

  #887·mernst opened Oct 7, 2026Member·

  ·
  1

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

  #886·mernst opened Oct 7, 2026Member·

  ·
  7

• All tools accept -h and --help

  #885·mernst opened Oct 7, 2026Member·

  ·
  1

• Reject bad command-line options with a non-zero exit status

  #884·mernst opened Oct 7, 2026Member·

  ·
  1

• Remove scripts that process only version 1 files; port others to version 2

  #883·mernst opened Oct 6, 2026Member·

  ·
  8