Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: overturetool/overture
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: development
Choose a base ref
...
head repository: overturetool/overture
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: ncb/development
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 16 commits
  • 93 files changed
  • 1 contributor

Commits on Feb 5, 2021

  1. Allow nested block comments, fixes #774

    @nickbattle
    nickbattle committed Feb 5, 2021
    Configuration menu
    Copy the full SHA
    100d48d View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. Small correction: type invariants don't have free variables set

    @nickbattle
    nickbattle committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    669c714 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'ncb/development' of https://github.com/overturetool/ove… 

    …rture.git into ncb/development
    @nickbattle
    nickbattle committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    75f348c View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2021

  1. Remove set type constraint for map dom/rng restrictions, fixes #776

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

  2. Merge branch 'ncb/development' of https://github.com/overturetool/ove… 

    …rture.git into ncb/development
    @nickbattle
    nickbattle committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    b0330d2 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2021

  1. Correction to sequence apply obligation for SL, fixes #777

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

Commits on May 2, 2021

  1. Added nested comment property

    @nickbattle
    nickbattle committed May 2, 2021
    Configuration menu
    Copy the full SHA
    930297d View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2021

  1. Make +> and -> types incompatible and fix -> polymorphic types

    @nickbattle
    nickbattle committed Jul 24, 2021
    Configuration menu
    Copy the full SHA
    bf99a4b View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/development' into ncb/development

    @nickbattle
    nickbattle committed Jul 24, 2021
    Configuration menu
    Copy the full SHA
    0fdb765 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2021

  1. Merge remote-tracking branch 'origin/development' into ncb/development

    @nickbattle
    nickbattle committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    206c53a View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2022

  1. Make TypeCheckerAssistantFactory Serializable, fixes #785

    @nickbattle
    nickbattle committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    157955c View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2022

  1. Added @WarningAnnotation to provided project.

    @nickbattle
    nickbattle committed Mar 1, 2022
    Configuration menu
    Copy the full SHA
    132ee9c View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2022

  1. Added doClose to annotations and updated WarningAnnotation

    @nickbattle
    nickbattle committed Mar 4, 2022
    Configuration menu
    Copy the full SHA
    ff4f6ef View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2022

  1. Correct named subtype test and add perfect union convertTos matches

    @nickbattle
    nickbattle committed Mar 22, 2022
    Configuration menu
    Copy the full SHA
    347f4f4 View commit details
    Browse the repository at this point in the history

  2. Correction to perfect union match test

    @nickbattle
    nickbattle committed Mar 22, 2022
    Configuration menu
    Copy the full SHA
    ba32646 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2022

  1. Allow partial function assignment to total function, with subtype PO

    @nickbattle
    nickbattle committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    fefa1b3 View commit details
    Browse the repository at this point in the history
Loading