Code

Hyper Gobra#802

Code

Open

jcp19 wants to merge 22 commits intomasterviperproject/gobra:masterfrom hyperGobraviperproject/gobra:hyperGobraCopy head branch name to clipboard

+7,180-3,881

Commits

Commits on May 12, 2023

• safety commit

  Felalolf

  committed
  9ee100d

Commits on Aug 24, 2023

• merged

  Felalolf

  committed
  a955e7d

• updated the antlr version

  Felalolf

  committed
  64cb99e

• updated sil verison

  Felalolf

  committed
  2b6ed11

Commits on Aug 29, 2023

• safety commit

  Felalolf

  committed
  51d8261

• safety commit

  Felalolf

  committed
  0253b6d

Commits on Aug 30, 2023

• safety commit

  Felalolf

  committed
  f211ea0

Commits on Sep 5, 2023

• safety commit

  Felalolf

  committed
  d2fc912

Commits on Sep 22, 2023

• pp transformation under low guard

  Felalolf

  committed
  9183bbe

Commits on Sep 25, 2023

• major only

  Felalolf

  committed
  a35a8b5

Commits on Sep 28, 2023

• fixed reordering issue, type of constructors, implicit conversion of argument, some incorrect handling of imported adts, conversion issues with ghost data types, name space conflicts with adt types…

  Show description for a1372c5
  Felalolf

  committed
  a1372c5

Commits on Sep 29, 2023

• fixed some issues

  Felalolf

  committed
  4be9341

• adapted parser to parse adts without field names

  Felalolf

  committed
  49a08a0

Commits on Oct 2, 2023

• fixed some bugs, also fixed error message with duplicate fields and clauses for adts

  Felalolf

  committed
  0c28aee

• merged

  Felalolf

  committed
  9f08292

• safety commit

  Felalolf

  committed
  81cfc37

Commits on Oct 3, 2023

• merged

  Felalolf

  committed
  8f99cad

Commits on Jan 19, 2024

• some files

  Felalolf

  committed
  0d86667

Commits on Apr 11, 2024

• merged

  Felalolf

  committed
  158bbe8

• hopefully fix submodules

  Felalolf

  committed
  112bcf4

Commits on Sep 11, 2024

• fix compilation

  Felalolf

  committed
  4f5bfac

Commits on Jan 9, 2025

• merge with master

  jcp19

  committed
  83cbfbf