Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

PICO type check update #43

Open
wants to merge 188 commits into
base: master
Choose a base branch
from
Open

PICO type check update #43

wants to merge 188 commits into from

Commits on Mar 20, 2019

  1. adapt pico to CF and CFI master

    @baoruiz
    baoruiz committed Mar 20, 2019
    Configuration menu
    Copy the full SHA
    8772985 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2019

  1. fix pico per changes in upstream CF and CFI

    @baoruiz
    baoruiz committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    c8e412f View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2019

  1. remove incorrect aliasing and unnecessary method check

    @baoruiz
    baoruiz committed Apr 2, 2019
    Configuration menu
    Copy the full SHA
    9e27922 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2019

  1. remove wrong test diagnostic

    @baoruiz
    baoruiz committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    0298a5f View commit details
    Browse the repository at this point in the history

  2. adapt to upstream changes

    @baoruiz
    baoruiz committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    5ddc6ae View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2019

  1. fix extends and implements check

    @baoruiz
    baoruiz committed Apr 24, 2019
    Configuration menu
    Copy the full SHA
    c4e9ed4 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2019

  1. tweak travis build script

    @baoruiz
    baoruiz committed Apr 30, 2019
    Configuration menu
    Copy the full SHA
    8b8bd6b View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2019

  1. Remove useless separators.

    @xingweitian
    xingweitian committed Jul 3, 2019
    Configuration menu
    Copy the full SHA
    e3bc7a5 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2019

  1. Unify the name of test files.

    @xingweitian
    xingweitian committed Jul 10, 2019
    Configuration menu
    Copy the full SHA
    21d2fae View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2019

  1. Fix typo.

    @xingweitian
    xingweitian committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    8b69770 View commit details
    Browse the repository at this point in the history

  2. Fix typo.

    @xingweitian
    xingweitian committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    dd4717a View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2019

  1. Fix typo.

    @xingweitian
    xingweitian committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    e468c1e View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2019

  1. Complete the messages.

    @xingweitian
    xingweitian committed Jul 27, 2019
    Configuration menu
    Copy the full SHA
    0391e9d View commit details
    Browse the repository at this point in the history

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

    Complete the error message file.
    @wmdietl
    wmdietl authored Jul 27, 2019
    Configuration menu
    Copy the full SHA
    0ee8410 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2019

  1. Use all dirs and jar file to fix the issue that "messages.properties"… 

    … cannot be found. (#1)
    @xingweitian @wmdietl
    xingweitian authored and wmdietl committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    fb54eb2 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/adapt-to-cf-master' into adapt-t… 

    …o-cf-master
    @xingweitian
    xingweitian committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    6a29832 View commit details
    Browse the repository at this point in the history

  3. Tweaks.

    @xingweitian
    xingweitian committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    6c07c6c View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/adapt-to-cf-master' into adapt… 

    …-to-cf-master
    @xingweitian
    xingweitian committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    cab2d60 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2019

  1. Use the correct error key.

    @xingweitian
    xingweitian committed Jul 30, 2019
    Configuration menu
    Copy the full SHA
    10613ac View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2019

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

    Fix typos and unify the name of test filess.
    @xingweitian
    xingweitian authored Aug 17, 2019
    Configuration menu
    Copy the full SHA
    147db8d View commit details
    Browse the repository at this point in the history

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

    Make testinput/typecheck/OnlyOneModifierIsUse.java pass
    @xingweitian
    xingweitian authored Aug 17, 2019
    Configuration menu
    Copy the full SHA
    505dcf8 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2019

  1. Fix typo (CompatabilityBEI2.java -> CompatibilityBEI2.java) and make … 

    …CompatibilityBEI2.java pass. (opprop#8)

Make CompatibilityBEI2.java pass.
    @xingweitian
    xingweitian authored Aug 18, 2019
    Configuration menu
    Copy the full SHA
    ab8af46 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2019

  1. Update.

    @xingweitian
    xingweitian committed Sep 10, 2019
    Configuration menu
    Copy the full SHA
    a19d94f View commit details
    Browse the repository at this point in the history

  2. Update.

    @xingweitian
    xingweitian committed Sep 10, 2019
    Configuration menu
    Copy the full SHA
    236d0f4 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2019

  1. api updates

    lnsun committed Nov 21, 2019
    Configuration menu
    Copy the full SHA
    b74dc2a View commit details
    Browse the repository at this point in the history

  2. typo

    lnsun committed Nov 21, 2019
    Configuration menu
    Copy the full SHA
    32c6852 View commit details
    Browse the repository at this point in the history

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

    # Conflicts:
#	src/main/java/pico/inference/PICOInferenceAnnotatedTypeFactory.java
#	src/main/java/pico/inference/PICOInferenceRealTypeFactory.java
#	src/main/java/pico/typecheck/PICOAnnotatedTypeFactory.java
#	src/main/java/pico/typecheck/PICOTypeUtil.java
#	src/main/java/qual/Bottom.java
#	src/main/java/qual/Immutable.java
    lnsun committed Nov 21, 2019
    Configuration menu
    Copy the full SHA
    e630ebd View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2019

  1. default-for annotator, default bottom on null, allow readonly as uppe… 

    …r bound
    @lnsun
    lnsun committed Dec 2, 2019
    Configuration menu
    Copy the full SHA
    e6892fa View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2019

  1. Implement super constructor call check. 

    Replace the error key "super.constructor.invocation.incompatible" with "super.invocation.invalid".
Tweaks test files to pass the test.
    @xingweitian @lnsun
    xingweitian authored and lnsun committed Dec 5, 2019
    Configuration menu
    Copy the full SHA
    de0969f View commit details
    Browse the repository at this point in the history

  2. Improve code and javadoc.

    @xingweitian @lnsun
    xingweitian authored and lnsun committed Dec 5, 2019
    Configuration menu
    Copy the full SHA
    d823dcf View commit details
    Browse the repository at this point in the history

  3. clean debug messages and comment

    @lnsun
    lnsun committed Dec 5, 2019
    Configuration menu
    Copy the full SHA
    0676e7d View commit details
    Browse the repository at this point in the history

  4. fixed HashCodeSafetyExample, addMissingAnnotations->replaceAnnotation

    @lnsun
    lnsun committed Dec 5, 2019
    Configuration menu
    Copy the full SHA
    09f6f01 View commit details
    Browse the repository at this point in the history

  5. fixed CompatibilityBEI2 + ReceiverTypeOutsideConstructor: pull defaul… 

    …t annotation for extends and implements clauses
    @lnsun
    lnsun committed Dec 5, 2019
    Configuration menu
    Copy the full SHA
    0b34f3a View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2019

  1. milestone: all typecheck tests passed

    @lnsun
    lnsun committed Dec 9, 2019
    Configuration menu
    Copy the full SHA
    cfc4054 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2019

  1. add anno invalid check in local variables; add RDM extends/implements… 

    … rules
    @lnsun
    lnsun committed Dec 19, 2019
    Configuration menu
    Copy the full SHA
    85d0945 View commit details
    Browse the repository at this point in the history

  2. override cf default extends/implements checks

    @lnsun
    lnsun committed Dec 19, 2019
    Configuration menu
    Copy the full SHA
    afff4ed View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2020

  1. fix anonymous type of new clause and test case 

    milestone: no INITIAL_TYPECHECK error in inference tests
    @lnsun
    lnsun committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    f514775 View commit details
    Browse the repository at this point in the history

  2. reuse test cases for typecheck and infer initial typecheck

    @lnsun
    lnsun committed Jan 17, 2020
    Configuration menu
    Copy the full SHA
    3210749 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2020

  1. fix a accidentally disabled test case

    @lnsun
    lnsun committed Jan 20, 2020
    Configuration menu
    Copy the full SHA
    2087d9a View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2020

  1. fix additional tests' errors

    @lnsun
    lnsun committed Feb 28, 2020
    Configuration menu
    Copy the full SHA
    257f732 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2020

  1. test vpa over imp

    @lnsun
    lnsun committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    d5909e9 View commit details
    Browse the repository at this point in the history

  2. TODO: resolve path issues, remove this when fixed

    @lnsun
    lnsun committed Apr 6, 2020
    Configuration menu
    Copy the full SHA
    9b33196 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2020

  1. default class bound and super clause

    @lnsun
    lnsun committed Apr 7, 2020
    Configuration menu
    Copy the full SHA
    2bd7c5e View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2020

  1. default class bound and super clause enhanced

    @lnsun
    lnsun committed Apr 8, 2020
    Configuration menu
    Copy the full SHA
    08d136f View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2020

  1. implicit immutable class bound + cast.unsafe

    @lnsun
    lnsun committed Apr 15, 2020
    Configuration menu
    Copy the full SHA
    52fa126 View commit details
    Browse the repository at this point in the history

  2. remove wrong cast.unsafe keys

    @lnsun
    lnsun committed Apr 15, 2020
    Configuration menu
    Copy the full SHA
    45f4c0f View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2020

  1. bound of array fixed to READONLY. VPA not needed here because any typ… 

    …e is permitted.

Note: how does PICO prevent changes on immutable arrays?
    @lnsun
    lnsun committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    90074b2 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2020

  1. bottom workaround + vpa interface

    @lnsun
    lnsun committed Apr 17, 2020
    Configuration menu
    Copy the full SHA
    857050e View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2020

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

    @lnsun
    lnsun committed Apr 18, 2020
    Configuration menu
    Copy the full SHA
    4dab7b1 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2020

  1. fix enum default in inference

    @lnsun
    lnsun committed Apr 21, 2020
    Configuration menu
    Copy the full SHA
    a42c289 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2020

  1. doc

    @lnsun
    lnsun committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    761655d View commit details
    Browse the repository at this point in the history

  2. relocate common interface and annotator

    @lnsun
    lnsun committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    bdcbb4c View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2020

  1. bound

    @lnsun
    lnsun committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    5c42ad4 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2020

  1. enum & super clause

    @lnsun
    lnsun committed May 5, 2020
    Configuration menu
    Copy the full SHA
    4e72db6 View commit details
    Browse the repository at this point in the history

  2. test case update

    @lnsun
    lnsun committed May 5, 2020
    Configuration menu
    Copy the full SHA
    ba48fda View commit details
    Browse the repository at this point in the history

Commits on May 6, 2020

  1. tweaks on generic

    @lnsun
    lnsun committed May 6, 2020
    Configuration menu
    Copy the full SHA
    b853156 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2020

  1. fix anno

    @lnsun
    lnsun committed May 7, 2020
    Configuration menu
    Copy the full SHA
    2e1c6b0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'tmp' into typecheck-amend

    @lnsun
    lnsun committed May 7, 2020
    Configuration menu
    Copy the full SHA
    3f66342 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2020

  1. poly workaround

    @lnsun
    lnsun committed May 8, 2020
    Configuration menu
    Copy the full SHA
    461c86a View commit details
    Browse the repository at this point in the history

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

    @lnsun
    lnsun committed May 8, 2020
    Configuration menu
    Copy the full SHA
    c7b7d08 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2020

  1. API update: report

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    14ad936 View commit details
    Browse the repository at this point in the history

  2. API update: remove @DefaultInUncheckedCodeFor

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    42cc297 View commit details
    Browse the repository at this point in the history

  3. remove @spm

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    765fc99 View commit details
    Browse the repository at this point in the history

  4. Revert "remove @spm" 

    This reverts commit fe280a96
    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    54dc0de View commit details
    Browse the repository at this point in the history

  5. @spm for static moved to new api

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    9c31c35 View commit details
    Browse the repository at this point in the history

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

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    adf2c17 View commit details
    Browse the repository at this point in the history

  7. small tweaks

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    2e2ffd0 View commit details
    Browse the repository at this point in the history

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

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    6277e02 View commit details
    Browse the repository at this point in the history

  9. inf-> workaround for anonymous class

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    b90d5f9 View commit details
    Browse the repository at this point in the history

  10. a small tweak

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    13555c6 View commit details
    Browse the repository at this point in the history

  11. update test cases (TC all pass)

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    a4339f9 View commit details
    Browse the repository at this point in the history

  12. re-remove @spm

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    5da659f View commit details
    Browse the repository at this point in the history

  13. add CF all-systems test

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    a954e32 View commit details
    Browse the repository at this point in the history

  14. small tweaks on test drivers

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    e53f3fb View commit details
    Browse the repository at this point in the history

  15. interface

    @lnsun
    lnsun committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    d3e571c View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2020

  1. isSubtype use native api

    @lnsun
    lnsun committed Jul 2, 2020
    Configuration menu
    Copy the full SHA
    9879f05 View commit details
    Browse the repository at this point in the history

  2. infer atf + get bound

    @lnsun
    lnsun committed Jul 2, 2020
    Configuration menu
    Copy the full SHA
    ab48c6a View commit details
    Browse the repository at this point in the history

  3. tweaks

    @lnsun
    lnsun committed Jul 2, 2020
    Configuration menu
    Copy the full SHA
    9885f10 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2020

  1. checker.report update

    @lnsun
    lnsun committed Jul 3, 2020
    Configuration menu
    Copy the full SHA
    df3f2dd View commit details
    Browse the repository at this point in the history

  2. checker.report update

    @lnsun
    lnsun committed Jul 3, 2020
    Configuration menu
    Copy the full SHA
    a6df8de View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2020

  1. tc

    @lnsun
    lnsun committed Oct 9, 2020
    Configuration menu
    Copy the full SHA
    0209864 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2020

  1. tc

    @lnsun
    lnsun committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    12e4a8c View commit details
    Browse the repository at this point in the history

  2. ignore rdm on fields

    @lnsun
    lnsun committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    f04a5bb View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2020

  1. rdm field logic + tc

    @lnsun
    lnsun committed Nov 20, 2020
    Configuration menu
    Copy the full SHA
    aa240ec View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2020

  1. VPA post check

    @lnsun
    lnsun committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    06da98a View commit details
    Browse the repository at this point in the history

  2. vpa post check

    @lnsun
    lnsun committed Nov 24, 2020
    Configuration menu
    Copy the full SHA
    0d63613 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2020

  1. field rdm default

    @lnsun
    lnsun committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    d47daa5 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2020

  1. check anno

    @lnsun
    lnsun committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    ab44c1e View commit details
    Browse the repository at this point in the history

  2. tc update

    @lnsun
    lnsun committed Dec 2, 2020
    Configuration menu
    Copy the full SHA
    ef44406 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2020

  1. transitive (needs fix)

    @lnsun
    lnsun committed Dec 16, 2020
    Configuration menu
    Copy the full SHA
    5a67d2e View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2021

  1. class bound != PM

    @lnsun
    lnsun committed Jan 14, 2021
    Configuration menu
    Copy the full SHA
    fc6cf0b View commit details
    Browse the repository at this point in the history

  2. receiver != BOTTOM

    @lnsun
    lnsun committed Jan 14, 2021
    Configuration menu
    Copy the full SHA
    d8e1195 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2021

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

    @lnsun
    lnsun committed Jan 15, 2021
    Configuration menu
    Copy the full SHA
    f5972fd View commit details
    Browse the repository at this point in the history

  2. PICO does not need existential slot on class decl anno

    @lnsun
    lnsun committed Jan 15, 2021
    Configuration menu
    Copy the full SHA
    f1acb77 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2021

  1. use constant slot for explicit class decl anno

    @lnsun
    lnsun committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    a2f5726 View commit details
    Browse the repository at this point in the history

  2. update init bound extraction function

    @lnsun
    lnsun committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    10d1e17 View commit details
    Browse the repository at this point in the history

  3. update call to init bound extraction function

    @lnsun
    lnsun committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    6c31de8 View commit details
    Browse the repository at this point in the history

  4. prevent poly infer

    @lnsun
    lnsun committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    0254063 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2021

  1. bound handling for anonymous class

    @lnsun
    lnsun committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    31ff749 View commit details
    Browse the repository at this point in the history

  2. anonymous class method receiver workaround

    @lnsun
    lnsun committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    4f41dc4 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2021

  1. workarounds for anonymous class for getTypeOfExtendsImplements

    @lnsun
    lnsun committed Jan 23, 2021
    Configuration menu
    Copy the full SHA
    a152323 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2021

  1. extract method

    @lnsun
    lnsun committed Jan 25, 2021
    Configuration menu
    Copy the full SHA
    1c17437 View commit details
    Browse the repository at this point in the history

  2. do not apply real anno to atm during infer

    @lnsun
    lnsun committed Jan 25, 2021
    Configuration menu
    Copy the full SHA
    cf64586 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2021

  1. not apply immutable constant to enum during infer-typecheck

    @lnsun
    lnsun committed Jan 26, 2021
    Configuration menu
    Copy the full SHA
    df55010 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2021

  1. add init bound extraction function

    @lnsun
    lnsun committed Jan 27, 2021
    Configuration menu
    Copy the full SHA
    e4cbe5f View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. update tc

    @lnsun
    lnsun committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    50e3cea View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2021

  1. array bound -> RDM (TC)

    @lnsun
    lnsun committed Feb 24, 2021
    Configuration menu
    Copy the full SHA
    5a9e8ca View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2021

  1. exclude static inner class decl from static scope

    @lnsun
    lnsun committed Feb 27, 2021
    Configuration menu
    Copy the full SHA
    11834c1 View commit details
    Browse the repository at this point in the history

  2. don't check with default during inference

    @lnsun
    lnsun committed Feb 27, 2021
    Configuration menu
    Copy the full SHA
    75e7d94 View commit details
    Browse the repository at this point in the history

  3. add immutable alias for real type factory

    @lnsun
    lnsun committed Feb 27, 2021
    Configuration menu
    Copy the full SHA
    536326e View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2021

  1. array decl method

    @lnsun
    lnsun committed Feb 28, 2021
    Configuration menu
    Copy the full SHA
    00c72b0 View commit details
    Browse the repository at this point in the history

  2. implicit shallow immutable warning (TC)

    @lnsun
    lnsun committed Feb 28, 2021
    Configuration menu
    Copy the full SHA
    1302fbd View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2021

  1. tune up vpa

    @lnsun
    lnsun committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    e135891 View commit details
    Browse the repository at this point in the history

  2. better logic to check anonymous

    @lnsun
    lnsun committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    0dcb75a View commit details
    Browse the repository at this point in the history

  3. enum heck

    @lnsun
    lnsun committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    8951f83 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2021

  1. enforce check without refinement

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    a33647d View commit details
    Browse the repository at this point in the history

  2. workaround for implicit lib type param

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    2df57a3 View commit details
    Browse the repository at this point in the history

  3. disable alias

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    ab295d5 View commit details
    Browse the repository at this point in the history

  4. workaround: vpa decl w/o anno

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    2758917 View commit details
    Browse the repository at this point in the history

  5. consistency infer and tc

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    b4fb4b3 View commit details
    Browse the repository at this point in the history

  6. ext and imp clause logic

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    beae801 View commit details
    Browse the repository at this point in the history

  7. override base ext/imp clause check

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    c0167a1 View commit details
    Browse the repository at this point in the history

  8. override base check on ext/imp clauses

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    d73db45 View commit details
    Browse the repository at this point in the history

  9. anonymous class logic

    @lnsun
    lnsun committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    ba2f6a0 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2021

  1. receiver cannot infer to poly

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    b39968e View commit details
    Browse the repository at this point in the history

  2. allow explicit poly on receiver

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    631d7fe View commit details
    Browse the repository at this point in the history

  3. class bound for infer

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    a634bfb View commit details
    Browse the repository at this point in the history

  4. allow factory to get class decl slot

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    afd4505 View commit details
    Browse the repository at this point in the history

  5. annotator: handle decl bound

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    e834b11 View commit details
    Browse the repository at this point in the history

  6. annotator: skip null

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    f1d8652 View commit details
    Browse the repository at this point in the history

  7. annotator: replace real anno

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    c5f3b1d View commit details
    Browse the repository at this point in the history

  8. annotator: not infer to poly

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    0462aff View commit details
    Browse the repository at this point in the history

  9. annotator: drop super decl constraints

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    4158e72 View commit details
    Browse the repository at this point in the history

  10. visitor: skip uses w/o slot

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    e0e742f View commit details
    Browse the repository at this point in the history

  11. rdm-field: field uses be both rdm or mutable

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    b5e214d View commit details
    Browse the repository at this point in the history

  12. comments

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    c201bd5 View commit details
    Browse the repository at this point in the history

  13. notes

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    c060dc1 View commit details
    Browse the repository at this point in the history

  14. tweaks

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    c1c8703 View commit details
    Browse the repository at this point in the history

  15. stubs

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    de054ce View commit details
    Browse the repository at this point in the history

  16. reim test cases

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    78aef48 View commit details
    Browse the repository at this point in the history

  17. glacier test cases

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    bb9678c View commit details
    Browse the repository at this point in the history

  18. temp ignore all systems test

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    64122f6 View commit details
    Browse the repository at this point in the history

  19. stub path problem

    @lnsun
    lnsun committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    c96f3fa View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2021

  1. +useOptimisticUncheckedDefaults

    @lnsun
    lnsun committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    34e9a74 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2021

  1. import issue

    @lnsun
    lnsun committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    2cd3276 View commit details
    Browse the repository at this point in the history

  2. import issue

    @lnsun
    lnsun committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    472e75c View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2022

  1. update pico, fix CF api rename, update gradle version

    Haifeng Shi committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    6e4e3c6 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2022

  1. commits for fixing PICO-TypeCheck and part of PICO-Infer

    @AndrewShf
    AndrewShf committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    e4ced88 View commit details
    Browse the repository at this point in the history

  2. merge opprop master with all_commits

    @AndrewShf
    AndrewShf committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    4d3e9b1 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. merge with opprop master

    @AndrewShf
    AndrewShf committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    3b09267 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2022

  1. resolve new array problems

    @AndrewShf
    AndrewShf committed Jul 17, 2022
    Configuration menu
    Copy the full SHA
    c6dcc1b View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2022

  1. Merge remote-tracking branch 'opprop/master' into all_commits

    @AndrewShf
    AndrewShf committed Sep 8, 2022
    Configuration menu
    Copy the full SHA
    8044c38 View commit details
    Browse the repository at this point in the history

  2. add inference component back to gradle test

    @AndrewShf
    AndrewShf committed Sep 8, 2022
    Configuration menu
    Copy the full SHA
    b3c275b View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. E on line 5 extends readonly, but the declared on line 3 extends immu… 

    …table
    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    e5f835a View commit details
    Browse the repository at this point in the history

  2. use valueof static method

    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a065ae8 View commit details
    Browse the repository at this point in the history

  3. use smaller case local variable

    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    f1e88cd View commit details
    Browse the repository at this point in the history

  4. add imports to the testfile

    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    6da6376 View commit details
    Browse the repository at this point in the history

  5. change implicit.shallow.immutable from warning to error

    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    d7b2fda View commit details
    Browse the repository at this point in the history

  6. make the testcase more clear

    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    9db7411 View commit details
    Browse the repository at this point in the history

  7. Clarify the purpose of the junit test; make default annotations expli… 

    …citly for one junit test
    @AndrewShf
    AndrewShf committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    ec976a4 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. refactor and fix bugs causing test failures

    @AndrewShf
    AndrewShf committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    5f981f7 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2023

  1. fix typecheck error

    @Ao-senXiong
    Ao-senXiong committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    2595256 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Adapt PICO to opprop

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    298b218 View commit details
    Browse the repository at this point in the history

  2. Delete glacier and reminfer test for merge

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    6c2b999 View commit details
    Browse the repository at this point in the history

  3. Delete reminfer test for merge

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    6f8af25 View commit details
    Browse the repository at this point in the history

  4. Add HoldsForDefaultValue for quals

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    6e7e33a View commit details
    Browse the repository at this point in the history

  5. Delete old PICO files

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    1a674b2 View commit details
    Browse the repository at this point in the history

  6. Add new line at the end of files

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    0139f8e View commit details
    Browse the repository at this point in the history

  7. Fix compile test errors

    @Ao-senXiong
    Ao-senXiong committed May 1, 2024
    Configuration menu
    Copy the full SHA
    5925ff4 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Delete reim and glacier related tests

    @Ao-senXiong
    Ao-senXiong committed May 2, 2024
    Configuration menu
    Copy the full SHA
    d365abc View commit details
    Browse the repository at this point in the history

  2. Add error to test case

    @Ao-senXiong
    Ao-senXiong committed May 2, 2024
    Configuration menu
    Copy the full SHA
    f75590d View commit details
    Browse the repository at this point in the history

  3. Handle initialization block

    @Ao-senXiong
    Ao-senXiong committed May 2, 2024
    Configuration menu
    Copy the full SHA
    c9157cf View commit details
    Browse the repository at this point in the history

  4. Add a new line at the end of file

    @Ao-senXiong
    Ao-senXiong committed May 2, 2024
    Configuration menu
    Copy the full SHA
    646139e View commit details
    Browse the repository at this point in the history

  5. Update build.gradle

    @Ao-senXiong
    Ao-senXiong committed May 2, 2024
    Configuration menu
    Copy the full SHA
    430aa12 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Wrap up type check

    @Ao-senXiong
    Ao-senXiong committed May 7, 2024
    Configuration menu
    Copy the full SHA
    431ab32 View commit details
    Browse the repository at this point in the history

  2. Add a new line at the end

    @Ao-senXiong
    Ao-senXiong committed May 7, 2024
    Configuration menu
    Copy the full SHA
    6861e1b View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Further clean up the code

    @Ao-senXiong
    Ao-senXiong committed May 8, 2024
    Configuration menu
    Copy the full SHA
    61a4eb2 View commit details
    Browse the repository at this point in the history

  2. Simplify the code

    @Ao-senXiong
    Ao-senXiong committed May 8, 2024
    Configuration menu
    Copy the full SHA
    ac169f1 View commit details
    Browse the repository at this point in the history

  3. Further clean up

    @Ao-senXiong
    Ao-senXiong committed May 8, 2024
    Configuration menu
    Copy the full SHA
    d5c155c View commit details
    Browse the repository at this point in the history

  4. New line at the end

    @Ao-senXiong
    Ao-senXiong committed May 8, 2024
    Configuration menu
    Copy the full SHA
    cd94fb3 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Remove IDE generated signature

    @Ao-senXiong
    Ao-senXiong committed May 31, 2024
    Configuration menu
    Copy the full SHA
    5c5a016 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Remove exceptions for PICO

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    f5a5ad7 View commit details
    Browse the repository at this point in the history

  2. Remove dummy interfaces

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    2789ede View commit details
    Browse the repository at this point in the history

  3. Remove unused import

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    9287cd1 View commit details
    Browse the repository at this point in the history

  4. Remove redundant calls toString()

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    d6e76f5 View commit details
    Browse the repository at this point in the history

  5. Use isEmpty for check

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    6f242e7 View commit details
    Browse the repository at this point in the history

  6. Simplify if condition

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    861fb05 View commit details
    Browse the repository at this point in the history

  7. Revert one isEmpty() change

    @Ao-senXiong
    Ao-senXiong committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    7b85a69 View commit details
    Browse the repository at this point in the history