Code

Merge SRI-CSL and kelloggm changes#18

Code

Merged

wmdietl merged 144 commits intomasteropprop/do-like-javac:masterfrom kelloggm-wpiopprop/do-like-javac:kelloggm-wpiCopy head branch name to clipboardSep 10, 2021

+588-61

Commits

Commits on May 11, 2017

• Fail with an error code if build fails.

  tim-mccarthy

  committed
  033e5a3

  Copy full SHA for 033e5a3

Commits on Nov 2, 2017

• Make sure mvn captures are done in Batch mode

  Show description for d604fb2
  tim-mccarthy

  committed
  d604fb2

  Copy full SHA for d604fb2

Commits on Nov 9, 2017

• Add option to guess source files if they're missing from build output

  tim-mccarthy

  committed
  9430c18

  Copy full SHA for 9430c18

Commits on Nov 22, 2017

• Print timeout seconds, for better debugging

  mernst

  committed
  40d2e3b

  Copy full SHA for 40d2e3b

• Merge pull request #19 from mernst/print-timeout

  Show description for 4decbe3
  tim-mccarthy

  authored
  4decbe3

  Copy full SHA for 4decbe3

Commits on Nov 24, 2017

• Add omitmethods flag for Randoop tool, using updated, camel-cased flags

  

  Waylon Huang

  committed
  fe0b32e

  Copy full SHA for fe0b32e

• Merge branch 'master' of https://github.com/SRI-CSL/do-like-javac

  

  Waylon Huang

  committed
  05adbcb

  Copy full SHA for 05adbcb

Commits on Nov 27, 2017

• Changed tabs to spaces, correcting flag names to most-up-to-date versions

  

  Waylon Huang

  committed
  05140bd

  Copy full SHA for 05140bd

Commits on Dec 7, 2017

• Add comment about how to produce Randoop debugging logs

  mernst

  committed
  2cb5f63

  Copy full SHA for 2cb5f63

Commits on Dec 9, 2017

• Corrected rc_classpath

  

  Waylon Huang

  committed
  d6fb135

  Copy full SHA for d6fb135

• Merging from omit_methods

  

  Waylon Huang

  committed
  26e23c3

  Copy full SHA for 26e23c3

• Correcting spacing

  

  Waylon Huang

  committed
  03cfa85

  Copy full SHA for 03cfa85

Commits on Dec 11, 2017

• Corrected syntax error

  

  Waylon Huang

  committed
  d42d536

  Copy full SHA for d42d536

Commits on Dec 12, 2017

• Added replacement file argument to javaagent

  

  Waylon Huang

  committed
  38a4ad7

  Copy full SHA for 38a4ad7

Commits on Dec 19, 2017

• Merge pull request #23 from huangwaylon/omit_methods

  Show description for a2b5210
  tim-mccarthy

  authored
  a2b5210

  Copy full SHA for a2b5210

Commits on Mar 10, 2018

• Updated flaky test flag for Randoop 4

  

  Waylon Huang

  committed
  e4e08df

  Copy full SHA for e4e08df

• Merge pull request #24 from huangwaylon/flaky-test-argument

  Show description for 265afc5
  tim-mccarthy

  authored
  265afc5

  Copy full SHA for 265afc5

Commits on May 8, 2018

• correct name of replacement file; remove vi temp file

  markro49

  committed
  e182c90

  Copy full SHA for e182c90

• Merge pull request SRI-CSL#25 from markro49/dyntrace

  Show description for 62fe7cd
  tim-mccarthy

  authored
  62fe7cd

  Copy full SHA for 62fe7cd

Commits on May 11, 2018

• Add z3 to checker framework classpath

  tim-mccarthy

  committed
  35df209

  Copy full SHA for 35df209

Commits on Jul 3, 2018

• no need for replacement-file argument

  markro49

  committed
  a334871

  Copy full SHA for a334871

Commits on Jul 5, 2018

• Merge pull request SRI-CSL#26 from markro49/randoop-update

  Show description for 46a64dc
  tim-mccarthy

  authored
  46a64dc

  Copy full SHA for 46a64dc

Commits on Aug 13, 2018

• randoop needs to be on compile classpath due to replacement of System.exit with SystemExitCalledError

  markro49

  committed
  264aae1

  Copy full SHA for 264aae1

Commits on Aug 14, 2018

• Merge pull request SRI-CSL#27 from markro49/randoop-update

  Show description for 2152114
  tim-mccarthy

  authored
  2152114

  Copy full SHA for 2152114

Commits on Aug 16, 2018

• Add -X option to make dyntrace produce XML

  tim-mccarthy

  committed
  124aa14

  Copy full SHA for 124aa14

Commits on Aug 23, 2018

• Generate JSON file of daikon invariants if generating XML

  tim-mccarthy

  committed
  d09b43a

  Copy full SHA for d09b43a

• Fix JSON invariant generation with inner classes

  tim-mccarthy

  committed
  75b4728

  Copy full SHA for 75b4728

Commits on Aug 24, 2018

• Add some fault tolerance to dyntrace

  tim-mccarthy

  committed
  93d3c16

  Copy full SHA for 93d3c16

• Fix missing argument

  tim-mccarthy

  committed
  a058b85

  Copy full SHA for a058b85

• Actually fix missing argument

  tim-mccarthy

  committed
  7b31e29

  Copy full SHA for 7b31e29

Commits on Aug 30, 2018

• Add missing import

  tim-mccarthy

  committed
  29ba715

  Copy full SHA for 29ba715

Commits on Sep 6, 2018

• Add ontology.jar to checker framework target classpath

  tim-mccarthy

  committed
  2bb345c

  Copy full SHA for 2bb345c

Commits on Jun 15, 2019

• fix checker framework

  kelloggm

  committed
  eef2b32

  Copy full SHA for eef2b32

Commits on Jun 20, 2019

• modifications to make this work on godwit

  kelloggm

  committed
  726fa8c

  Copy full SHA for 726fa8c

• clean up the run-dljc.sh script

  kelloggm

  committed
  e9d325b

  Copy full SHA for e9d325b

Commits on Jun 24, 2019

• Documentation improvements

  mernst

  committed
  ac5a359

  Copy full SHA for ac5a359

Commits on Jun 26, 2019

• use getopts instead of manual configuration

  kelloggm

  committed
  7935414

  Copy full SHA for 7935414

• merge conflict

  kelloggm

  committed
  e51b3df

  Copy full SHA for e51b3df

Commits on Jul 3, 2019

• fix silliness in getopts, and actually make arguments optional

  kelloggm

  committed
  a90dfa7

  Copy full SHA for a90dfa7

Commits on Jul 10, 2019

• Scripts I used in evaluation for ASE 2019 student research competition

  kelloggm

  authored
  2083796

  Copy full SHA for 2083796

Commits on Jul 16, 2019

• handle processor path stuff

  msridhar

  committed
  6d7a328

  Copy full SHA for 6d7a328

• don't run NullnessChecker by default

  msridhar

  committed
  8354b5d

  Copy full SHA for 8354b5d

• Merge pull request #2 from msridhar/handle-proc-path

  Show description for 2610111
  kelloggm

  authored
  2610111

  Copy full SHA for 2610111

Commits on Dec 20, 2019

• add stub-based WPI to dljc

  kelloggm

  committed
  5d90a7a

  Copy full SHA for 5d90a7a

Commits on Jan 22, 2020

• fixes for OCC AMI sniping experiments

  kelloggm

  committed
  5a7eef0

  Copy full SHA for 5a7eef0

Commits on Feb 17, 2020

• Add stub-based WPI mode to DLJC

  kelloggm

  authored
  aa70e12

  Copy full SHA for aa70e12

• Merge branch 'master' of github.com:kelloggm/do-like-javac into occ

  kelloggm

  committed
  a72444e

  Copy full SHA for a72444e

• Changes from OCC evaluation

  kelloggm

  authored
  6a3b7a1

  Copy full SHA for 6a3b7a1

• remove deprecation warning

  kelloggm

  committed
  c3fc0db

  Copy full SHA for c3fc0db

• remove deprecation warning

  kelloggm

  authored
  5625817

  Copy full SHA for 5625817

• bring check and wpi into sync, minor fixes throughout

  kelloggm

  committed
  23fc91f

  Copy full SHA for 23fc91f

• Bring check.py and wpi.py into sync, minor fixes throughout, share some common logic

  kelloggm

  authored
  70126fa

  Copy full SHA for 70126fa

Commits on Feb 22, 2020

• use run-dljc script from occ sniping experiments

  kelloggm

  committed
  7e51189

  Copy full SHA for 7e51189

• Merge pull request #7 from kelloggm/better-run-script

  Show description for 14fe74a
  kelloggm

  authored
  14fe74a

  Copy full SHA for 14fe74a

Commits on Feb 23, 2020

• fix typo in function name

  kelloggm

  committed
  fe93074

  Copy full SHA for fe93074

Commits on Feb 24, 2020

• fix typo in method name

  kelloggm

  committed
  5c4159b

  Copy full SHA for 5c4159b

Commits on Mar 4, 2020

• correctly handle other javac options

  kelloggm

  committed
  1833ebd

  Copy full SHA for 1833ebd

• Merge pull request #8 from kelloggm/handle-other-options-wpi

  Show description for 1b25736
  kelloggm

  authored
  1b25736

  Copy full SHA for 1b25736

• force -Xmaxerrs and -Xmaxwarns

  kelloggm

  committed
  0085fe2

  Copy full SHA for 0085fe2

• fix python silliness

  kelloggm

  committed
  895946d

  Copy full SHA for 895946d

• more python type errors

  kelloggm

  committed
  8938971

  Copy full SHA for 8938971

• handle boolean vars right

  kelloggm

  committed
  68a421c

  Copy full SHA for 68a421c

• make code cleaner and more clear

  kelloggm

  committed
  3c32916

  Copy full SHA for 3c32916

• move the colon to the end of all additions to classpath, to avoid double colon

  kelloggm

  committed
  5ffc7d1

  Copy full SHA for 5ffc7d1

• fix cleaning code

  kelloggm

  committed
  4224146

  Copy full SHA for 4224146

• add command line support

  kelloggm

  committed
  c321899

  Copy full SHA for c321899

• lex shell command using library instead of by hand, poorly

  kelloggm

  committed
  e0365b9

  Copy full SHA for e0365b9

Commits on Mar 6, 2020

• use native python comparison

  kelloggm

  committed
  89f17bb

  Copy full SHA for 89f17bb

• add escape hatch to exit loop early w/o comparison if verification succeeds

  kelloggm

  committed
  5068a1b

  Copy full SHA for 5068a1b

• fix typo

  kelloggm

  committed
  76cbf5d

  Copy full SHA for 76cbf5d

Commits on Mar 13, 2020

• if java version is 1.5-1.7, just try using java 8

  kelloggm

  committed
  4722aba

  Copy full SHA for 4722aba

Commits on Mar 18, 2020

• do not propagate -proc:none

  kelloggm

  committed
  8da3d85

  Copy full SHA for 8da3d85

Commits on Mar 25, 2020

• minor fixes

  kelloggm

  committed
  859bf69

  Copy full SHA for 859bf69

Commits on Mar 27, 2020

• don't clean - I'm not sure why I was doing this in the first place

  kelloggm

  committed
  0f3afcf

  Copy full SHA for 0f3afcf

Commits on Apr 15, 2020

• replace all source and target flags with --release

  kelloggm

  committed
  2a10121

  Copy full SHA for 2a10121

• first attempt at delombok code

  kelloggm

  committed
  ea77e5f

  Copy full SHA for ea77e5f

• fix an import

  kelloggm

  committed
  e7c0e6d

  Copy full SHA for e7c0e6d

Commits on Apr 16, 2020

• wrap lombok command in a list

  kelloggm

  committed
  52814a3

  Copy full SHA for 52814a3

• correct data structure of command

  kelloggm

  committed
  c7058bc

  Copy full SHA for c7058bc

• suppress warnings from delombok'd code about annotation order

  kelloggm

  committed
  fbee47b

  Copy full SHA for fbee47b

• handle both maven and gradle when deciding to delombok

  kelloggm

  committed
  c327519

  Copy full SHA for c327519

• don't remove lombok from the classpath, because it causes other problems

  kelloggm

  committed
  9cb0391

  Copy full SHA for 9cb0391

• lift a bunch of computation out of the WPI loop, and do it once at the beginning. This avoids 1. delomboking every time, 2. recomputing the classpath, 3. recomputing the list of processors, and 4. …

  Show description for 420da46
  kelloggm

  committed
  420da46

  Copy full SHA for 420da46

Commits on Apr 17, 2020

• add a divider between javac commands, and fix the lombok-detection code to actually work for gradle and be prettier

  kelloggm

  committed
  7d79cdc

  Copy full SHA for 7d79cdc

• fix dljc issue

  kelloggm

  committed
  29681ed

  Copy full SHA for 29681ed

Commits on Jun 23, 2020

• remove run-dljc.sh file

  kelloggm

  committed
  cf694fb

  Copy full SHA for cf694fb

Commits on Jun 30, 2020

• remove unused command line arg

  kelloggm

  committed
  b9e3512

  Copy full SHA for b9e3512

Commits on Oct 27, 2020

• better error handling

  kelloggm

  committed
  1c93b8a

  Copy full SHA for 1c93b8a

• document wpi tool

  kelloggm

  committed
  30e8af8

  Copy full SHA for 30e8af8

Commits on Oct 30, 2020

• discard errorprone-specific switches when running with CF WPI

  kelloggm

  committed
  3581bf2

  Copy full SHA for 3581bf2

• remove unnecessary clarification

  kelloggm

  committed
  c1dfd20

  Copy full SHA for c1dfd20

• more specifics about the --checker command to wpi.py

  kelloggm

  committed
  e3b0a5b

  Copy full SHA for e3b0a5b

Commits on Nov 3, 2020

• Ignore more Error Prone switches

  mernst

  committed
  0612749

  Copy full SHA for 0612749

• Generalize

  mernst

  committed
  c863792

  Copy full SHA for c863792

• Merge pull request #9 from mernst/ignore-error-prone

  Show description for 2929476
  kelloggm

  authored
  2929476

  Copy full SHA for 2929476

• An argument starting with a hypen is a command-line option even if it ends with ".java" (#10)

  mernst

  authored
  74149df

  Copy full SHA for 74149df

• Add whitespace between iterated runs of javac (#11)

  mernst

  authored
  e55887f

  Copy full SHA for e55887f

• startswith requires a tuple, not a list (#12)

  mernst

  authored
  39405c1

  Copy full SHA for 39405c1

Commits on Nov 13, 2020

• Give directory in one place, not split into two (#13)

  mernst

  authored
  639f32f

  Copy full SHA for 639f32f

Commits on Nov 19, 2020

• name directories more sensibly

  kelloggm

  committed
  e82de5b

  Copy full SHA for e82de5b

• debugging

  kelloggm

  committed
  5edfff3

  Copy full SHA for 5edfff3

• remove debugging, fix bug

  kelloggm

  committed
  4d5e32e

  Copy full SHA for 4d5e32e

Commits on Nov 20, 2020

• add logging of stub directory

  kelloggm

  committed
  23e0a25

  Copy full SHA for 23e0a25

Commits on Nov 25, 2020

• try regular printing

  kelloggm

  committed
  d4e97bb

  Copy full SHA for d4e97bb

Commits on Nov 30, 2020

• Add diagnostic output

  mernst

  committed
  65d2ed0

  Copy full SHA for 65d2ed0

Commits on Dec 16, 2020

• remove dependency on subprocess32, because that would require installing other stuff. We don't need the improved multi-threading reliability over the default 2.7 impl, because we're only launching …

  Show description for 5cf2810
  kelloggm

  committed
  5cf2810

  Copy full SHA for 5cf2810

• Merge branch 'master' of github.com:kelloggm/do-like-javac

  kelloggm

  committed
  99f9161

  Copy full SHA for 99f9161

Commits on Jan 8, 2021

• clean up handling of --release

  kelloggm

  committed
  8873d6f

  Copy full SHA for 8873d6f

• don't try to use jdk8.jar

  kelloggm

  committed
  2eeb7dd

  Copy full SHA for 2eeb7dd

Commits on Jan 19, 2021

• Use -Awarns to prevent early javac exit when a type-checking error exists. (#14)

  Show description for 8423616
  mernst

  authored
  8423616

  Copy full SHA for 8423616

Commits on Jan 20, 2021

• Give directory in one place, not split into two (#15)

  mernst

  authored
  597a770

  Copy full SHA for 597a770

Commits on Feb 13, 2021

• add support for extra args to wpi tool

  kelloggm

  committed
  d295032

  Copy full SHA for d295032

• Merge branch 'master' of github.com:kelloggm/do-like-javac

  kelloggm

  committed
  aa8d2de

  Copy full SHA for aa8d2de

Commits on Mar 8, 2021

• rename and document an option (#17)

  kelloggm

  authored
  7f471e2

  Copy full SHA for 7f471e2

Commits on Mar 9, 2021

• Documentation tweaks (#18)

  mernst

  authored
  563fe0a

  Copy full SHA for 563fe0a

Commits on Mar 17, 2021

• Add ci (#16)

  kelloggm

  authored
  541990e

  Copy full SHA for 541990e

• Clarify documentation about --checker option (#19)

  kelloggm

  authored
  22bf1f1

  Copy full SHA for 22bf1f1

• run 2to3 and fix up some errors that resulted (#20)

  kelloggm

  authored
  d9157a5

  Copy full SHA for d9157a5

• Revert "run 2to3 and fix up some errors that resulted (#20)" (#21)

  Show description for 5ddf8e2
  kelloggm

  authored
  5ddf8e2

  Copy full SHA for 5ddf8e2

Commits on Mar 18, 2021

• document an internal variable and give it a better name (#24)

  kelloggm

  authored
  6ba0c3f

  Copy full SHA for 6ba0c3f

Commits on Mar 24, 2021

• use the github-actions branch of plume-scripts (SRI-CSL#31)

  kelloggm

  authored
  b965676

  Copy full SHA for b965676

Commits on Apr 1, 2021

• Add date to temporary directory name (#33)

  mernst

  authored
  6d3fd7e

  Copy full SHA for 6d3fd7e

• Revert "Add date to temporary directory name (#33)" (#34)

  Show description for c0043b0
  kelloggm

  authored
  c0043b0

  Copy full SHA for c0043b0

Commits on May 8, 2021

• Don't supply --release 8 and --add-opens together

  mernst

  authored
  4517075

  Copy full SHA for 4517075

Commits on May 11, 2021

• Add date to temporary directory name (#36)

  mernst

  authored
  365d162

  Copy full SHA for 365d162

• Revert "Add date to temporary directory name (#36)" (#39)

  Show description for 543b31f
  kelloggm

  authored
  543b31f

  Copy full SHA for 543b31f

Commits on May 17, 2021

• Capitalization

  mernst

  committed
  8dbb4ab

  Copy full SHA for 8dbb4ab

Commits on May 18, 2021

• don't rely on git-clone-related for the version of DLJC that's under test (#40)

  kelloggm

  authored
  8b0dd96

  Copy full SHA for 8b0dd96

• Add Makefile to enforce style rules (#38)

  mernst

  authored
  a30286c

  Copy full SHA for a30286c

Commits on May 27, 2021

• run 2to3 and fix up some errors that resulted (#22)

  kelloggm

  authored
  6dcad96

  Copy full SHA for 6dcad96

• silly commit (#42)

  kelloggm

  authored
  9bc789d

  Copy full SHA for 9bc789d

Commits on Jun 1, 2021

• Add support for ./mvnw

  kelloggm

  authored
  e10ccd3

  Copy full SHA for e10ccd3

• better error message

  kelloggm

  authored
  e72e640

  Copy full SHA for e72e640

Commits on Jun 21, 2021

• Add date to temporary directory name (#45)

  mernst

  authored
  2394905

  Copy full SHA for 2394905

Commits on Jun 22, 2021

• fix formatting

  kelloggm

  authored
  e289b97

  Copy full SHA for e289b97

Commits on Jun 23, 2021

• diff stub directories recursively

  Show description for 06f3e77
  

  kelloggm

  and

  jwaataja

  authored
  06f3e77

  Copy full SHA for 06f3e77

Commits on Jun 24, 2021

• Use ajava files (SRI-CSL#25)

  jwaataja

  authored
  4a78794

  Copy full SHA for 4a78794

• Make the time string more human-readable (#48)

  Show description for aaad183
  

  mernst

  and

  kelloggm

  authored
  aaad183

  Copy full SHA for aaad183

Commits on Jun 25, 2021

• remove -AmergeStubsWithSource, because it's not needed with Ajava files: (#49)

  kelloggm

  authored
  2b868ca

  Copy full SHA for 2b868ca

Commits on Jun 29, 2021

• Added support for JDK 16 (and the extra add-opens that it requires). Needed for checker-framework's WPI to run on JDK 16. (#50)

  Show description for 0cc5091
  neilccbrown

  authored
  0cc5091

  Copy full SHA for 0cc5091

• Fix parsing of command line arguments, especially --add-opens (#51)

  Show description for 7a98bdf
  neilccbrown

  authored
  7a98bdf

  Copy full SHA for 7a98bdf

Commits on Jul 7, 2021

• Fix test name (#52)

  jwaataja

  authored
  869580b

  Copy full SHA for 869580b

Commits on Sep 1, 2021

• Merge branch 'master' of https://github.com/kelloggm/do-like-javac into kelloggm-wpi

  wmdietl

  committed
  3fa83f8

  Copy full SHA for 3fa83f8

Commits on Sep 10, 2021

• Fix #18 merge issues (#19)

  zcai1

  authored
  378c62a

  Copy full SHA for 378c62a