Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 13, 2025

• fix TransitionFocusOracle.py state tracking

  emuskardin

  committed
  53ff651

  Copy full SHA for 53ff651

Commits on Oct 8, 2025

• update version and create a new release

  emuskardin

  committed
  58c6b1c

  Copy full SHA for 58c6b1c

• Merge pull request #97 from DES-Lab/k_way_oracle_bounds

  Show description for 828579b
  emuskardin

  authored
  828579b

  Copy full SHA for 828579b

• ensure that execute_sequence changes state for Moore and DFAs if the seqance is empty

  emuskardin

  committed
  9e8d601

  Copy full SHA for 9e8d601

Commits on Oct 7, 2025

• add optional bounds to k-way oracles

  emuskardin

  committed
  7105100

  Copy full SHA for 7105100

• Merge remote-tracking branch 'origin/master'

  emuskardin

  committed
  7945a1c

  Copy full SHA for 7945a1c

• make k-way oracles follow the naming convention

  emuskardin

  committed
  71a3c0e

  Copy full SHA for 71a3c0e

• fix bug in KV where you reset in cex processing

  emuskardin

  committed
  f982593

  Copy full SHA for f982593

Commits on Sep 29, 2025

• add make_input_comlete to GsmNode

  zwergziege

  committed
  cb7c8ff

  Copy full SHA for cb7c8ff

Commits on Sep 26, 2025

• minor change to GSM ProgressReport instrumentation

  zwergziege

  committed
  455db26

  Copy full SHA for 455db26

Commits on Sep 25, 2025

• Merge pull request #94 from taburg/rpni-moore-initial-output-fix

  Show description for 8c298c9
  emuskardin

  authored
  8c298c9

  Copy full SHA for 8c298c9

• Remove leftover debug print

  taburg

  committed
  707b1b6

  Copy full SHA for 707b1b6

• Merge pull request #93 from taburg/rpni-mealy-fix

  Show description for 0a95a23
  emuskardin

  authored
  0a95a23

  Copy full SHA for 0a95a23

• simplify papni comaprison to rpni code structure

  emuskardin

  committed
  1b16477

  Copy full SHA for 1b16477

• move PAPNI to separate file

  emuskardin

  committed
  b6b2c94

  Copy full SHA for b6b2c94

Commits on Sep 23, 2025

• Avoid discarding initial state when learning Moore machines with RPNI

  taburg

  committed
  73a29f9

  Copy full SHA for 73a29f9

• Add test for passive learning with incomplete data

  taburg

  committed
  dcb54ef

  Copy full SHA for dcb54ef

• Remove duplicate function for compatible states check

  taburg

  committed
  6b1aec1

  Copy full SHA for 6b1aec1

• Fix classic RPNI with Mealy machines

  taburg

  committed
  0f3c79b

  Copy full SHA for 0f3c79b

Commits on Sep 15, 2025

• update logos

  emuskardin

  committed
  9ccf709

  Copy full SHA for 9ccf709

• update logos

  emuskardin

  committed
  10d710c

  Copy full SHA for 10d710c

Commits on Sep 9, 2025

• Write failing test case for RPNI

  taburg

  committed
  02c022f

  Copy full SHA for 02c022f

• update logo

  emuskardin

  committed
  eb7a2b3

  Copy full SHA for eb7a2b3

Commits on Aug 25, 2025

• test PAPNI correctness on SEVPA characterizing set

  emuskardin

  committed
  3716c29

  Copy full SHA for 3716c29

Commits on Jul 28, 2025

• fix PAPNI test data name

  emuskardin

  committed
  3458649

  Copy full SHA for 3458649

Commits on Jul 7, 2025

• Merge pull request #91 from DES-Lab/alergia-typo

  Show description for c822bc1
  emuskardin

  authored
  c822bc1

  Copy full SHA for c822bc1

• fix sequances

  apferscher

  committed
  fc768c4

  Copy full SHA for fc768c4

Commits on Jun 3, 2025

• increase number of test cases in the deafult parametarization of StatePrefic and RandomW method oracles

  emuskardin

  committed
  177862f

  Copy full SHA for 177862f

Commits on May 23, 2025

• - account for an empty sequance in execute_sequence for DFAs and Moore machines

  Show description for ee42ef4
  emuskardin

  committed
  ee42ef4

  Copy full SHA for ee42ef4

• Merge remote-tracking branch 'origin/master'

  emuskardin

  committed
  ea16830

  Copy full SHA for ea16830

• account for an empty sequance in execute_sequence for DFAs and Moore machines

  emuskardin

  committed
  177cc3d

  Copy full SHA for 177cc3d

Commits on Apr 11, 2025

• use perf counter and better msg for ProgressReport

  zwergziege

  committed
  269cc9c

  Copy full SHA for 269cc9c

• Stripped useless argument from instrumentation class

  zwergziege

  committed
  c6d8c62

  Copy full SHA for c6d8c62

Commits on Mar 28, 2025

• Merge pull request #90 from chengw97/master

  Show description for 592ac51
  emuskardin

  authored
  592ac51

  Copy full SHA for 592ac51

• [Fix] Check max number of tests after reset

  chengw97

  committed
  9974b4e

  Copy full SHA for 9974b4e

Pagination

Previous

Next