Code

Add AGORA invariants#497

Code

Open

JuanCarlosAlonsoValenzuela wants to merge 144 commits intocodespecs:mastercodespecs/daikon:masterfrom JuanCarlosAlonsoValenzuela:masterJuanCarlosAlonsoValenzuela/daikon:masterCopy head branch name to clipboard

+88,042-77,361

Commits

Commits on Jul 4, 2023

• Add Beet invariants and modifications in computeConfidence functions

  Show description for 1da1698
  JuanCarlosAlonsoValenzuela

  committed
  1da1698

• Remove double quotes from Texinfo

  JuanCarlosAlonsoValenzuela

  committed
  d44d50d

• Remove comparison using reference equality instead of value equality

  JuanCarlosAlonsoValenzuela

  committed
  b13b587

• Change EOL chars again

  JuanCarlosAlonsoValenzuela

  committed
  05306ea

• Run make reformat

  JuanCarlosAlonsoValenzuela

  committed
  ff8c123

Commits on Jul 10, 2023

• Fix nullness typechecking warnings

  mernst

  committed
  39f5376

Commits on Jul 12, 2023

• Remove boilerplate comments

  mernst

  committed
  8381479

• Merge ../daikon-fork-mernst-branch-no-we-are-serializable

  mernst

  committed
  2f71044

• Remove boilerplate comments

  mernst

  committed
  4361507

• Don't require Javadoc

  mernst

  committed
  753b103

• Merge ../daikon-fork-mernst-branch-no-we-are-serializable

  mernst

  committed
  3057b65

Commits on Jul 13, 2023

• Remove import wildcards in Daikon.java

  JuanCarlosAlonsoValenzuela

  committed
  a166354

• Convert string patterns into private static variables

  JuanCarlosAlonsoValenzuela

  committed
  94c8460

• Remove changes in computeConfidence

  JuanCarlosAlonsoValenzuela

  committed
  335cdad

Commits on Jul 14, 2023

• Fix test typecheck

  JuanCarlosAlonsoValenzuela

  committed
  37d1a6b

• Remove unrequired import

  JuanCarlosAlonsoValenzuela

  committed
  437fb28

• Compute confidence referencing Invariant class

  JuanCarlosAlonsoValenzuela

  committed
  47d646b

• Fix Signedness Checker warnings

  mernst

  committed
  e1cff75

• Merge ../daikon-branch-master into no-we-are-serializable

  mernst

  committed
  4403d92

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-no-we-are-serializable

  mernst

  committed
  e84472b

• Reinstate cast

  mernst

  committed
  3a17680

• Update Checker Framework

  mernst

  committed
  3d3270d

• Typecheck with both bundled CF and latest CF

  mernst

  committed
  21a408c

• Typecheck with both bundled CF and latest CF

  mernst

  committed
  33f2af5

• Use script instead of direct command

  mernst

  committed
  c9a9655

• Reinstate cast

  mernst

  committed
  5034620

• Remove JAVACHECK_EXTRA_ARGS

  mernst

  committed
  a1e78ea

• Update checker.jar

  mernst

  committed
  7fac2ea

Commits on Jul 15, 2023

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-no-we-are-serializable

  mernst

  committed
  c35a35f

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-remove-this-ne-null into typecheck-bundled-and-latest

  mernst

  committed
  6365fdb

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-typecheck-bundled-and-latest into no-we-are-serializable

  mernst

  committed
  af3b661

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-no-we-are-serializable

  mernst

  committed
  53e7491

Commits on Jul 16, 2023

• Merge /home/mernst/research/invariants/daikon-branch-master into typecheck-bundled-and-latest

  mernst

  committed
  055b763

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-typecheck-bundled-and-latest into no-we-are-serializable

  mernst

  committed
  e38ee22

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-no-we-are-serializable

  mernst

  committed
  95ecbe5

• Formatting

  mernst

  committed
  b4fa11b

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  ba24338

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  20c8864

• Undo a change

  mernst

  committed
  ddc7443

Commits on Jul 17, 2023

• Merge branch 'master' into master

  mernst

  authored
  68aa5eb

• Merge ../daikon-fork-JuanCarlosAlonsoValenzuela into agora-javadoc

  mernst

  committed
  a70c0bc

• Add Javadoc for some Agora invariants

  mernst

  committed
  2900c7d

• Code review suggestions

  mernst

  committed
  0394acb

Commits on Jul 22, 2023

• Merge pull request #2 from mernst/agora-javadoc

  Show description for a7d28c3
  JuanCarlosAlonsoValenzuela

  authored
  a7d28c3

• Merge branch 'pr/1'

  JuanCarlosAlonsoValenzuela

  committed
  edd3609

• Add missing imports

  JuanCarlosAlonsoValenzuela

  committed
  0afc34b

Commits on Jul 23, 2023

• Remove unused variables

  JuanCarlosAlonsoValenzuela

  committed
  1ca93f6

• Add missing documentation and convert regexes to public variables

  JuanCarlosAlonsoValenzuela

  committed
  1069e37

• Merge branch 'master' into master

  JuanCarlosAlonsoValenzuela

  authored
  f5b6f56

• Fix Javadoc in IsEmail.java

  mernst

  committed
  18be64c

• Add missing documentation

  JuanCarlosAlonsoValenzuela

  committed
  387f1f4

Commits on Jul 24, 2023

• Improve diagnostics from test-misc.sh

  mernst

  committed
  41cf7f1

• Add missing @return to Javadoc

  JuanCarlosAlonsoValenzuela

  committed
  ce4a6bc

• make reformat

  JuanCarlosAlonsoValenzuela

  committed
  adedd6b

• Merge ../daikon-fork-mernst-branch-ci-explanation

  mernst

  committed
  69ce4ea

• Merge branch 'master' of github.com:JuanCarlosAlonsoValenzuela/daikon

  mernst

  committed
  c9f9c37

• Merge branch 'master' into master

  mernst

  authored
  746e1d5

Commits on Aug 19, 2023

• Changelog

  mernst

  committed
  316964b

• Code review changes

  mernst

  committed
  1fd2996

• Agora tests

  mernst

  committed
  b2dc6c2

• Merge ../daikon-fork-mernst-branch-empty-sequence

  mernst

  committed
  96dce5d

• Enable Agora invariants

  mernst

  committed
  5afd592

• More Agora tests

  mernst

  committed
  c382469

Commits on Aug 21, 2023

• Undo a change

  mernst

  committed
  b40c9ea

Commits on Sep 1, 2023

• Fix crashes caused by arrays of strings containing null elements

  JuanCarlosAlonsoValenzuela

  committed
  7805e66

• make reformat

  JuanCarlosAlonsoValenzuela

  committed
  d764c14

Commits on Sep 6, 2023

• Add new suppressor and fix FP possibly-null reference

  JuanCarlosAlonsoValenzuela

  committed
  a389cc8

• Replace suppressor with isObviousDynamically

  JuanCarlosAlonsoValenzuela

  committed
  adee0a1

• Add get_ni_suppressions and isObviousDynamically to SequenceFixedLengthString

  JuanCarlosAlonsoValenzuela

  committed
  b3f138d

Commits on Sep 19, 2023

• Merge ../daikon-branch-master

  mernst

  committed
  c681fa9

Commits on Sep 27, 2023

• Style

  mernst

  committed
  6665dd8

• Merge ../daikon-branch-master

  mernst

  committed
  10df849

Commits on Sep 29, 2023

• Merge ../daikon-branch-master

  mernst

  committed
  2bfd849

• Fix .jpp errors

  mernst

  committed
  f8c3fd3

• Remove trailing whitespace

  mernst

  committed
  a901d57

Commits on Sep 30, 2023

• Reinstate trailing blank lines

  mernst

  committed
  16567b6

• Ignore more files

  mernst

  committed
  a1a6114

• Remove blank lines

  mernst

  committed
  2fb8ec4

• Add blank lines back

  mernst

  committed
  526ca78

• Merge ../daikon-fork-mernst-branch-remove-trailing-whitespace

  mernst

  committed
  ebcd346

• Update test goals

  mernst

  committed
  04dbc6a

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  e55a13f

• Add blank lines

  mernst

  committed
  00091b3

• Add blank lines back

  mernst

  committed
  1bc2a6e

• Show failure

  mernst

  committed
  ac643b0

• Merge /home/mernst/research/invariants/daikon-fork-mernst-branch-remove-trailing-whitespace

  mernst

  committed
  1b0710a

• Add length invariant output

  mernst

  committed
  1ebf874

Commits on Oct 1, 2023

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  6878e69

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  d883e6f

• Update goals

  mernst

  committed
  5d48f25

Commits on Oct 2, 2023

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  a663b39

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  393e5b8

Commits on Oct 4, 2023

• Update Agora test goals

  mernst

  committed
  0195077

Commits on Oct 5, 2023

• Checkpoint

  mernst

  committed
  2d9a658

• Fix typo

  mernst

  committed
  57e77d5

• Add comment

  mernst

  committed
  13ad30d

• Check that merge() is defined

  mernst

  committed
  6321f65

• Merge ../daikon-fork-mernst-branch-check-merge-overridden into agora-passing-tests

  mernst

  committed
  4a1c8e2

• Better test

  mernst

  committed
  87c129b

• Merge ../daikon-fork-mernst-branch-check-merge-overridden into agora-passing-tests

  mernst

  committed
  b7a5e0a

• Fix typo

  mernst

  committed
  cef2160

Commits on Oct 6, 2023

• Fix counting of number of samples

  mernst

  committed
  6cbffae

• Merge ../daikon-fork-mernst-branch-commonsequence-elts into agora-passing-tests

  mernst

  committed
  95aeb0e

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  68273e1

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  b2861cf

Commits on Oct 7, 2023

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  7b62cd9

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  ede8a57

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  acd3d02

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  f99c8ad

• Undo undesirable whitespace changes

  mernst

  committed
  b5c9f50

• Improve diagnostics

  mernst

  committed
  d6c0410

• Improve diagnostics

  mernst

  committed
  065c573

• Rename variable

  mernst

  committed
  f7b55c2

• Merge ../daikon-fork-mernst-branch-non-agora-changes

  mernst

  committed
  4627fdd

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  5bc8260

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  b1f4017

Commits on Oct 11, 2023

• Add clone and merge methods to AGORA invariants

  JuanCarlosAlonsoValenzuela

  committed
  1c9f2e6

• Remove redundant parentheses

  JuanCarlosAlonsoValenzuela

  committed
  9db1417

• Merge /home/mernst/research/invariants/daikon-branch-master

  mernst

  committed
  f6b37e0

• Merge /home/mernst/research/invariants/daikon-fork-JuanCarlosAlonsoValenzuela into agora-passing-tests

  mernst

  committed
  63b47ca

• Use variable

  mernst

  committed
  6090617

• Update tests due to formatting of invariant

  mernst

  committed
  8c0dc2a

• Suppress nullness warning

  mernst

  committed
  04aaa10

• Update goals

  mernst

  committed
  59cbbc0

Commits on Oct 12, 2023

• Update goals

  mernst

  committed
  1bc8703

• .j8 files are not used

  mernst

  committed
  d053314

• Update goal

  mernst

  committed
  ecc4602

• Add missing documentation

  JuanCarlosAlonsoValenzuela

  committed
  549cff4

Commits on Oct 13, 2023

• Merge pull request #3 from mernst/agora-passing-tests

  Show description for 28a2f4a
  JuanCarlosAlonsoValenzuela

  authored
  28a2f4a

Commits on Jul 4, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  ebb62c5

Commits on Jul 7, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  0a6378d

Commits on Jul 8, 2024

• The empty string is not numeric

  mernst

  committed
  39c488d

Commits on Jul 19, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  252d2e1

Commits on Jul 22, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  db4f4e0

Commits on Jul 23, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  88a7bf5

Commits on Aug 3, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  681643a

Commits on Aug 6, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  288792e

Commits on Aug 20, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  b64b681

Commits on Aug 23, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  08cccc9

Commits on Sep 2, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  d20ddc8

Commits on Sep 23, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  62852a2

Commits on Nov 14, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  92ad307

Commits on Nov 26, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  c553282

Commits on Dec 2, 2024

• Merge ../daikon-branch-master

  mernst

  committed
  02a40a1