Code

Parsing and type-checking generics#671

Code

Open

koflin wants to merge 39 commits intoviperproject:masterviperproject/gobra:masterfrom koflin:generics-mergedkoflin/gobra:generics-mergedCopy head branch name to clipboard

+5,438-2,801

Commits

Commits on Apr 23, 2023

• add support for parsing generic types and functions

  koflin

  committed
  72adaf1

  Copy full SHA for 72adaf1

Commits on Apr 24, 2023

• add support for parsing generic types and functions

  koflin

  committed
  caea3b6

  Copy full SHA for caea3b6

• Merge branch 'generics' of https://github.com/koflin/gobra into generics

  koflin

  committed
  4f5555b

  Copy full SHA for 4f5555b

Commits on May 2, 2023

• modified parse tree translator

  Show description for a90ed72
  koflin

  committed
  a90ed72

  Copy full SHA for a90ed72

Commits on May 8, 2023

• changed typeArgument rule to index instead

  Show description for 2917a1a
  koflin

  committed
  2917a1a

  Copy full SHA for 2917a1a

• fix a few things such that compilation can succeed

  koflin

  committed
  b1f7878

  Copy full SHA for b1f7878

Commits on May 15, 2023

• add some tests for generics

  Show description for 864e185
  koflin

  committed
  864e185

  Copy full SHA for 864e185

Commits on May 17, 2023

• started expression typing

  koflin

  committed
  f822f7f

  Copy full SHA for f822f7f

Commits on May 24, 2023

• expression typing of generic function instantiation working

  koflin

  committed
  e8c0846

  Copy full SHA for e8c0846

Commits on May 29, 2023

• implement parse tree translator for instantiated generic types

  koflin

  committed
  e9c0878

  Copy full SHA for e9c0878

Commits on May 30, 2023

• implement typing of generic types

  koflin

  committed
  6b10b39

  Copy full SHA for 6b10b39

Commits on May 31, 2023

• add first prototype of assignability

  koflin

  committed
  7971b35

  Copy full SHA for 7971b35

Commits on Jun 5, 2023

• implement assignability with type parameters

  koflin

  committed
  1159896

  Copy full SHA for 1159896

Commits on Jun 8, 2023

• changed type constraint to be an interface

  koflin

  committed
  ca0c310

  Copy full SHA for ca0c310

Commits on Jun 12, 2023

• handle expression typing of integer constants properly

  koflin

  committed
  c0b00aa

  Copy full SHA for c0b00aa

• embed non interface type constraints into interfaces

  koflin

  committed
  4253b7e

  Copy full SHA for 4253b7e

Commits on Jun 15, 2023

• implemented satisfiability, comparability, identity, type merging and underlying type of type parameters

  koflin

  committed
  4139ed6

  Copy full SHA for 4139ed6

Commits on Jun 19, 2023

• implement generic type instantiation with PIndexedExp

  koflin

  committed
  4aa1b02

  Copy full SHA for 4aa1b02

Commits on Jun 22, 2023

• add fact test

  koflin

  committed
  04836b0

  Copy full SHA for 04836b0

• implement simple Go type inference

  koflin

  committed
  162b257

  Copy full SHA for 162b257

• adjust GhostErasureUnitTest

  koflin

  committed
  b00f8fb

  Copy full SHA for b00f8fb

• Trigger CI/CD

  koflin

  authored
  1ed090d

  Copy full SHA for 1ed090d

Commits on Jul 6, 2023

• [skip ci] remove lost line

  koflin

  committed
  1ed4471

  Copy full SHA for 1ed4471

• fix bug introduced in ghost assignability

  koflin

  committed
  9e21e21

  Copy full SHA for 9e21e21

• fix printing of types

  koflin

  committed
  26e627c

  Copy full SHA for 26e627c

Commits on Aug 24, 2023

• fix type inference

  koflin

  committed
  30fe086

  Copy full SHA for 30fe086

• Add type parameters to the desugar

  koflin

  committed
  ee2cf0a

  Copy full SHA for ee2cf0a

• added some tests from master

  koflin

  committed
  d9f6eed

  Copy full SHA for d9f6eed

• remove change to be consistent with master

  koflin

  committed
  3725a9b

  Copy full SHA for 3725a9b

• Revert "remove change to be consistent with master"

  Show description for d0fd09a
  koflin

  committed
  d0fd09a

  Copy full SHA for d0fd09a

• clean up some stuff

  koflin

  committed
  91da1d2

  Copy full SHA for 91da1d2

• Merge branch 'generics-before-merge' into generics-merged

  koflin

  committed
  79dd96f

  Copy full SHA for 79dd96f

• regenerate parser after merge

  koflin

  committed
  a13e324

  Copy full SHA for a13e324

• add dependency

  koflin

  committed
  ecfd59e

  Copy full SHA for ecfd59e

• adapted member typing unit test

  koflin

  committed
  4bf94a5

  Copy full SHA for 4bf94a5

• fix type parameter inference and refactor

  koflin

  committed
  fc874a6

  Copy full SHA for fc874a6

Commits on Aug 25, 2023

• make parameterizable stateless

  koflin

  committed
  aa375f8

  Copy full SHA for aa375f8

• unapplied type args

  koflin

  committed
  f537564

  Copy full SHA for f537564

• document type set, underlying type and rename syntaxImplements

  koflin

  committed
  b11a8d8

  Copy full SHA for b11a8d8