Code

All commits#30

Code

Closed

AndrewShf wants to merge 152 commits intoopprop:masteropprop/immutability:masterfrom AndrewShf:all_commitsAndrewShf/immutability:all_commitsCopy head branch name to clipboard

+4,347-1,022

Commits

Commits on Mar 20, 2019

• adapt pico to CF and CFI master

  baoruiz

  committed
  8772985

  Copy full SHA for 8772985

Commits on Mar 28, 2019

• fix pico per changes in upstream CF and CFI

  baoruiz

  committed
  c8e412f

  Copy full SHA for c8e412f

Commits on Apr 2, 2019

• remove incorrect aliasing and unnecessary method check

  baoruiz

  committed
  9e27922

  Copy full SHA for 9e27922

Commits on Apr 18, 2019

• remove wrong test diagnostic

  baoruiz

  committed
  0298a5f

  Copy full SHA for 0298a5f

• adapt to upstream changes

  baoruiz

  committed
  5ddc6ae

  Copy full SHA for 5ddc6ae

Commits on Apr 24, 2019

• fix extends and implements check

  baoruiz

  committed
  c4e9ed4

  Copy full SHA for c4e9ed4

Commits on Apr 30, 2019

• tweak travis build script

  baoruiz

  committed
  8b8bd6b

  Copy full SHA for 8b8bd6b

Commits on Jul 3, 2019

• Remove useless separators.

  xingweitian

  committed
  e3bc7a5

  Copy full SHA for e3bc7a5

Commits on Jul 10, 2019

• Unify the name of test files.

  xingweitian

  committed
  21d2fae

  Copy full SHA for 21d2fae

Commits on Jul 24, 2019

• Fix typo.

  xingweitian

  committed
  8b69770

  Copy full SHA for 8b69770

• Fix typo.

  xingweitian

  committed
  dd4717a

  Copy full SHA for dd4717a

Commits on Jul 26, 2019

• Fix typo.

  xingweitian

  committed
  e468c1e

  Copy full SHA for e468c1e

Commits on Jul 27, 2019

• Complete the messages.

  xingweitian

  committed
  0391e9d

  Copy full SHA for 0391e9d

• Merge pull request opprop#3 from xingweitian/adapt-to-cf-master

  Show description for 0ee8410
  wmdietl

  authored
  0ee8410

  Copy full SHA for 0ee8410

Commits on Jul 28, 2019

• Use all dirs and jar file to fix the issue that "messages.properties" cannot be found. (#1)

  

  xingweitian

  authored and

  wmdietl

  committed
  fb54eb2

  Copy full SHA for fb54eb2

• Merge remote-tracking branch 'origin/adapt-to-cf-master' into adapt-to-cf-master

  xingweitian

  committed
  6a29832

  Copy full SHA for 6a29832

• Tweaks.

  xingweitian

  committed
  6c07c6c

  Copy full SHA for 6c07c6c

• Merge remote-tracking branch 'upstream/adapt-to-cf-master' into adapt-to-cf-master

  xingweitian

  committed
  cab2d60

  Copy full SHA for cab2d60

Commits on Jul 30, 2019

• Use the correct error key.

  xingweitian

  committed
  10613ac

  Copy full SHA for 10613ac

Commits on Aug 17, 2019

• Merge pull request opprop#4 from xingweitian/adapt-to-cf-master

  Show description for 147db8d
  xingweitian

  authored
  147db8d

  Copy full SHA for 147db8d

• Merge pull request opprop#6 from xingweitian/xwt-fix-test-cases

  Show description for 505dcf8
  xingweitian

  authored
  505dcf8

  Copy full SHA for 505dcf8

Commits on Aug 18, 2019

• Fix typo (CompatabilityBEI2.java -> CompatibilityBEI2.java) and make CompatibilityBEI2.java pass. (opprop#8)

  Show description for ab8af46
  xingweitian

  authored
  ab8af46

  Copy full SHA for ab8af46

Commits on Sep 10, 2019

• Update.

  xingweitian

  committed
  a19d94f

  Copy full SHA for a19d94f

• Update.

  xingweitian

  committed
  236d0f4

  Copy full SHA for 236d0f4

Commits on Nov 21, 2019

• api updates

  

  lnsun

  committed
  b74dc2a

  Copy full SHA for b74dc2a

• typo

  

  lnsun

  committed
  32c6852

  Copy full SHA for 32c6852

• Merge remote-tracking branch 'xwt/adapt-to-cf-master' into ls-dev

  Show description for e630ebd
  

  lnsun

  committed
  e630ebd

  Copy full SHA for e630ebd

Commits on Dec 2, 2019

• default-for annotator, default bottom on null, allow readonly as upper bound

  lnsun

  committed
  e6892fa

  Copy full SHA for e6892fa

Commits on Dec 5, 2019

• Implement super constructor call check.

  Show description for de0969f
  

  xingweitian

  authored and

  lnsun

  committed
  de0969f

  Copy full SHA for de0969f

• Improve code and javadoc.

  

  xingweitian

  authored and

  lnsun

  committed
  d823dcf

  Copy full SHA for d823dcf

• clean debug messages and comment

  lnsun

  committed
  0676e7d

  Copy full SHA for 0676e7d

• fixed HashCodeSafetyExample, addMissingAnnotations->replaceAnnotation

  lnsun

  committed
  09f6f01

  Copy full SHA for 09f6f01

• fixed CompatibilityBEI2 + ReceiverTypeOutsideConstructor: pull default annotation for extends and implements clauses

  lnsun

  committed
  0b34f3a

  Copy full SHA for 0b34f3a

Commits on Dec 9, 2019

• milestone: all typecheck tests passed

  lnsun

  committed
  cfc4054

  Copy full SHA for cfc4054

Commits on Dec 19, 2019

• add anno invalid check in local variables; add RDM extends/implements rules

  lnsun

  committed
  85d0945

  Copy full SHA for 85d0945

• override cf default extends/implements checks

  lnsun

  committed
  afff4ed

  Copy full SHA for afff4ed

Commits on Jan 17, 2020

• fix anonymous type of new clause and test case

  Show description for f514775
  lnsun

  committed
  f514775

  Copy full SHA for f514775

• reuse test cases for typecheck and infer initial typecheck

  lnsun

  committed
  3210749

  Copy full SHA for 3210749

Commits on Jan 20, 2020

• fix a accidentally disabled test case

  lnsun

  committed
  2087d9a

  Copy full SHA for 2087d9a

Commits on Feb 28, 2020

• fix additional tests' errors

  lnsun

  committed
  257f732

  Copy full SHA for 257f732

Commits on Apr 6, 2020

• test vpa over imp

  lnsun

  committed
  d5909e9

  Copy full SHA for d5909e9

• TODO: resolve path issues, remove this when fixed

  lnsun

  committed
  9b33196

  Copy full SHA for 9b33196

Commits on Apr 7, 2020

• default class bound and super clause

  lnsun

  committed
  2bd7c5e

  Copy full SHA for 2bd7c5e

Commits on Apr 8, 2020

• default class bound and super clause enhanced

  lnsun

  committed
  08d136f

  Copy full SHA for 08d136f

Commits on Apr 15, 2020

• implicit immutable class bound + cast.unsafe

  lnsun

  committed
  52fa126

  Copy full SHA for 52fa126

• remove wrong cast.unsafe keys

  lnsun

  committed
  45f4c0f

  Copy full SHA for 45f4c0f

Commits on Apr 16, 2020

• bound of array fixed to READONLY. VPA not needed here because any type is permitted.

  Show description for 90074b2
  lnsun

  committed
  90074b2

  Copy full SHA for 90074b2

Commits on Apr 17, 2020

• bottom workaround + vpa interface

  lnsun

  committed
  857050e

  Copy full SHA for 857050e

Commits on Apr 18, 2020

• enum default immutable. TODO: fix constructor check in mutable enum decl

  lnsun

  committed
  4dab7b1

  Copy full SHA for 4dab7b1

Commits on Apr 21, 2020

• fix enum default in inference

  lnsun

  committed
  a42c289

  Copy full SHA for a42c289

Commits on Apr 23, 2020

• doc

  lnsun

  committed
  761655d

  Copy full SHA for 761655d

• relocate common interface and annotator

  lnsun

  committed
  bdcbb4c

  Copy full SHA for bdcbb4c

Commits on Apr 24, 2020

• bound

  lnsun

  committed
  5c42ad4

  Copy full SHA for 5c42ad4

Commits on May 5, 2020

• enum & super clause

  lnsun

  committed
  4e72db6

  Copy full SHA for 4e72db6

• test case update

  lnsun

  committed
  ba48fda

  Copy full SHA for ba48fda

Commits on May 6, 2020

• tweaks on generic

  lnsun

  committed
  b853156

  Copy full SHA for b853156

Commits on May 7, 2020

• fix anno

  lnsun

  committed
  2e1c6b0

  Copy full SHA for 2e1c6b0

• Merge branch 'tmp' into typecheck-amend

  lnsun

  committed
  3f66342

  Copy full SHA for 3f66342

Commits on May 8, 2020

• poly workaround

  lnsun

  committed
  461c86a

  Copy full SHA for 461c86a

• update test cases (typecheck 100%, inference-init-tc 100%)

  lnsun

  committed
  c7b7d08

  Copy full SHA for c7b7d08

Commits on Jun 10, 2020

• API update: report

  lnsun

  committed
  14ad936

  Copy full SHA for 14ad936

• API update: remove @DefaultInUncheckedCodeFor

  lnsun

  committed
  42cc297

  Copy full SHA for 42cc297

• remove @spm

  lnsun

  committed
  765fc99

  Copy full SHA for 765fc99

• Revert "remove @spm"

  Show description for 54dc0de
  lnsun

  committed
  54dc0de

  Copy full SHA for 54dc0de

• @spm for static moved to new api

  lnsun

  committed
  9c31c35

  Copy full SHA for 9c31c35

• exclude decl when checking static RDM (TC: 100%, INF: 6 fail)

  lnsun

  committed
  adf2c17

  Copy full SHA for adf2c17

• small tweaks

  lnsun

  committed
  2e2ffd0

  Copy full SHA for 2e2ffd0

• tc cast.unsafe (TC: 100%, INF: 4 fail)

  lnsun

  committed
  6277e02

  Copy full SHA for 6277e02

• inf-> workaround for anonymous class

  lnsun

  committed
  b90d5f9

  Copy full SHA for b90d5f9

• a small tweak

  lnsun

  committed
  13555c6

  Copy full SHA for 13555c6

• update test cases (TC all pass)

  lnsun

  committed
  a4339f9

  Copy full SHA for a4339f9

• re-remove @spm

  lnsun

  committed
  5da659f

  Copy full SHA for 5da659f

• add CF all-systems test

  lnsun

  committed
  a954e32

  Copy full SHA for a954e32

• small tweaks on test drivers

  lnsun

  committed
  e53f3fb

  Copy full SHA for e53f3fb

• interface

  lnsun

  committed
  d3e571c

  Copy full SHA for d3e571c

Commits on Jul 2, 2020

• isSubtype use native api

  lnsun

  committed
  9879f05

  Copy full SHA for 9879f05

• infer atf + get bound

  lnsun

  committed
  ab48c6a

  Copy full SHA for ab48c6a

• tweaks

  lnsun

  committed
  9885f10

  Copy full SHA for 9885f10

Commits on Jul 3, 2020

• checker.report update

  lnsun

  committed
  df3f2dd

  Copy full SHA for df3f2dd

• checker.report update

  lnsun

  committed
  a6df8de

  Copy full SHA for a6df8de

Commits on Oct 9, 2020

• tc

  lnsun

  committed
  0209864

  Copy full SHA for 0209864

Commits on Oct 15, 2020

• tc

  lnsun

  committed
  12e4a8c

  Copy full SHA for 12e4a8c

• ignore rdm on fields

  lnsun

  committed
  f04a5bb

  Copy full SHA for f04a5bb

Commits on Nov 20, 2020

• rdm field logic + tc

  lnsun

  committed
  aa240ec

  Copy full SHA for aa240ec

Commits on Nov 24, 2020

• VPA post check

  lnsun

  committed
  06da98a

  Copy full SHA for 06da98a

• vpa post check

  lnsun

  committed
  0d63613

  Copy full SHA for 0d63613

Commits on Nov 26, 2020

• field rdm default

  lnsun

  committed
  d47daa5

  Copy full SHA for d47daa5

Commits on Dec 2, 2020

• check anno

  lnsun

  committed
  ab44c1e

  Copy full SHA for ab44c1e

• tc update

  lnsun

  committed
  ef44406

  Copy full SHA for ef44406

Commits on Dec 16, 2020

• transitive (needs fix)

  lnsun

  committed
  5a67d2e

  Copy full SHA for 5a67d2e

Commits on Jan 14, 2021

• class bound != PM

  lnsun

  committed
  fc6cf0b

  Copy full SHA for fc6cf0b

• receiver != BOTTOM

  lnsun

  committed
  d8e1195

  Copy full SHA for d8e1195

Commits on Jan 15, 2021

• stop assign immutable constant slot to enum usage. enum could be mutable

  lnsun

  committed
  f5972fd

  Copy full SHA for f5972fd

• PICO does not need existential slot on class decl anno

  lnsun

  committed
  f1acb77

  Copy full SHA for f1acb77

Commits on Jan 20, 2021

• use constant slot for explicit class decl anno

  lnsun

  committed
  a2f5726

  Copy full SHA for a2f5726

• update init bound extraction function

  lnsun

  committed
  10d1e17

  Copy full SHA for 10d1e17

• update call to init bound extraction function

  lnsun

  committed
  6c31de8

  Copy full SHA for 6c31de8

• prevent poly infer

  lnsun

  committed
  0254063

  Copy full SHA for 0254063

Commits on Jan 22, 2021

• bound handling for anonymous class

  lnsun

  committed
  31ff749

  Copy full SHA for 31ff749

• anonymous class method receiver workaround

  lnsun

  committed
  4f41dc4

  Copy full SHA for 4f41dc4

Commits on Jan 23, 2021

• workarounds for anonymous class for getTypeOfExtendsImplements

  lnsun

  committed
  a152323

  Copy full SHA for a152323

Commits on Jan 25, 2021

• extract method

  lnsun

  committed
  1c17437

  Copy full SHA for 1c17437

• do not apply real anno to atm during infer

  lnsun

  committed
  cf64586

  Copy full SHA for cf64586

Commits on Jan 26, 2021

• not apply immutable constant to enum during infer-typecheck

  lnsun

  committed
  df55010

  Copy full SHA for df55010

Commits on Jan 27, 2021

• add init bound extraction function

  lnsun

  committed
  e4cbe5f

  Copy full SHA for e4cbe5f

Commits on Feb 23, 2021

• update tc

  lnsun

  committed
  50e3cea

  Copy full SHA for 50e3cea

Commits on Feb 24, 2021

• array bound -> RDM (TC)

  lnsun

  committed
  5a9e8ca

  Copy full SHA for 5a9e8ca

Commits on Feb 27, 2021

• exclude static inner class decl from static scope

  lnsun

  committed
  11834c1

  Copy full SHA for 11834c1

• don't check with default during inference

  lnsun

  committed
  75e7d94

  Copy full SHA for 75e7d94

• add immutable alias for real type factory

  lnsun

  committed
  536326e

  Copy full SHA for 536326e

Commits on Feb 28, 2021

• array decl method

  lnsun

  committed
  00c72b0

  Copy full SHA for 00c72b0

• implicit shallow immutable warning (TC)

  lnsun

  committed
  1302fbd

  Copy full SHA for 1302fbd

Commits on Mar 9, 2021

• tune up vpa

  lnsun

  committed
  e135891

  Copy full SHA for e135891

• better logic to check anonymous

  lnsun

  committed
  0dcb75a

  Copy full SHA for 0dcb75a

• enum heck

  lnsun

  committed
  8951f83

  Copy full SHA for 8951f83

Commits on Mar 23, 2021

• enforce check without refinement

  lnsun

  committed
  a33647d

  Copy full SHA for a33647d

• workaround for implicit lib type param

  lnsun

  committed
  2df57a3

  Copy full SHA for 2df57a3

• disable alias

  lnsun

  committed
  ab295d5

  Copy full SHA for ab295d5

• workaround: vpa decl w/o anno

  lnsun

  committed
  2758917

  Copy full SHA for 2758917

• consistency infer and tc

  lnsun

  committed
  b4fb4b3

  Copy full SHA for b4fb4b3

• ext and imp clause logic

  lnsun

  committed
  beae801

  Copy full SHA for beae801

• override base ext/imp clause check

  lnsun

  committed
  c0167a1

  Copy full SHA for c0167a1

• override base check on ext/imp clauses

  lnsun

  committed
  d73db45

  Copy full SHA for d73db45

• anonymous class logic

  lnsun

  committed
  ba2f6a0

  Copy full SHA for ba2f6a0

Commits on Mar 25, 2021

• receiver cannot infer to poly

  lnsun

  committed
  b39968e

  Copy full SHA for b39968e

• allow explicit poly on receiver

  lnsun

  committed
  631d7fe

  Copy full SHA for 631d7fe

• class bound for infer

  lnsun

  committed
  a634bfb

  Copy full SHA for a634bfb

• allow factory to get class decl slot

  lnsun

  committed
  afd4505

  Copy full SHA for afd4505

• annotator: handle decl bound

  lnsun

  committed
  e834b11

  Copy full SHA for e834b11

• annotator: skip null

  lnsun

  committed
  f1d8652

  Copy full SHA for f1d8652

• annotator: replace real anno

  lnsun

  committed
  c5f3b1d

  Copy full SHA for c5f3b1d

• annotator: not infer to poly

  lnsun

  committed
  0462aff

  Copy full SHA for 0462aff

• annotator: drop super decl constraints

  lnsun

  committed
  4158e72

  Copy full SHA for 4158e72

• visitor: skip uses w/o slot

  lnsun

  committed
  e0e742f

  Copy full SHA for e0e742f

• rdm-field: field uses be both rdm or mutable

  lnsun

  committed
  b5e214d

  Copy full SHA for b5e214d

• comments

  lnsun

  committed
  c201bd5

  Copy full SHA for c201bd5

• notes

  lnsun

  committed
  c060dc1

  Copy full SHA for c060dc1

• tweaks

  lnsun

  committed
  c1c8703

  Copy full SHA for c1c8703

• stubs

  lnsun

  committed
  de054ce

  Copy full SHA for de054ce

• reim test cases

  lnsun

  committed
  78aef48

  Copy full SHA for 78aef48

• glacier test cases

  lnsun

  committed
  bb9678c

  Copy full SHA for bb9678c

• temp ignore all systems test

  lnsun

  committed
  64122f6

  Copy full SHA for 64122f6

• stub path problem

  lnsun

  committed
  c96f3fa

  Copy full SHA for c96f3fa

Commits on Apr 9, 2021

• +useOptimisticUncheckedDefaults

  lnsun

  committed
  34e9a74

  Copy full SHA for 34e9a74

Commits on Apr 20, 2021

• import issue

  lnsun

  committed
  2cd3276

  Copy full SHA for 2cd3276

• import issue

  lnsun

  committed
  472e75c

  Copy full SHA for 472e75c

Commits on Feb 9, 2022

• update pico, fix CF api rename, update gradle version

  

  Haifeng Shi

  committed
  6e4e3c6

  Copy full SHA for 6e4e3c6

Commits on Jul 13, 2022

• commits for fixing PICO-TypeCheck and part of PICO-Infer

  AndrewShf

  committed
  e4ced88

  Copy full SHA for e4ced88

• merge opprop master with all_commits

  AndrewShf

  committed
  4d3e9b1

  Copy full SHA for 4d3e9b1

Commits on Jul 14, 2022

• merge with opprop master

  AndrewShf

  committed
  3b09267

  Copy full SHA for 3b09267

Commits on Jul 17, 2022

• resolve new array problems

  AndrewShf

  committed
  c6dcc1b

  Copy full SHA for c6dcc1b

Commits on Sep 8, 2022

• Merge remote-tracking branch 'opprop/master' into all_commits

  AndrewShf

  committed
  8044c38

  Copy full SHA for 8044c38