All pull requests

Pull requests

• Update gtest goals for small struct return tags

  #960·mernst opened Oct 29, 2026Member·

  ·
  1

• LemmaStack.removeLemma: pop only the lemmas above the removed one

  #954·mernst opened Oct 27, 2026Member·

  ·
  1

• SessionManager: use an ExecutorService instead of a hand-written worker thread

  #953·mernst opened Oct 27, 2026Member·

  ·
  8

  

• LemmaStack: recover from a Simplify timeout only where Simplify's stack should equal lemmas

  #952·mernst opened Oct 27, 2026Member·

  ·
  1

  

• ExtractConsequent: write splitting conditions that a splitter can use

  #948·mernst opened Oct 26, 2026Member·

  ·
  1

• Reject anything after the program point name in a ppt record

  #947·mernst opened Oct 26, 2026Member·

  ·
  1

• MergeInvariants: with a decls file, create combined exits and build the hierarchy the way Daikon does

  #946·mernst opened Oct 26, 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·

  ·
  9

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

  #918·mernst opened Oct 18, 2026Member·

  ·
  3

• 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

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

  ·
  11

• 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

  18

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

  ·
  4

• Add AGORA invariants

  #497·juaaloval opened Jul 4, 2023·

  ·
  40

  

• Exception exit support

  #91·markro49 opened Jul 17, 2017Contributor·

  ·
  27

• Feature exception handling

  #56·rarworld opened May 30, 2016·

  ·
  21