Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 6, 2022

• Merge branch 'fixes' into 'main'

  Show description for 5cfbe16
  

  Ties Klappe

  committed
  5cfbe16

  Copy full SHA for 5cfbe16

• Implement true equivalence in C, add all reports, fixes for overloaded calls from mutually recursive functions, small refactoring, integration tests for C and SSM

  

  Ties Klappe

  committed
  76b6080

  Copy full SHA for 76b6080

Commits on Jun 2, 2022

• Merge branch 'implement-compile-to-c' into 'main'

  Show description for f0b8725
  

  Ties Klappe

  committed
  f0b8725

  Copy full SHA for f0b8725

• Add true equivalence for SSM

  User-TGK

  committed
  8f942f6

  Copy full SHA for 8f942f6

Commits on May 31, 2022

• Fixes for string literals, nested lists

  Show description for e48f4fc
  User-TGK

  committed
  e48f4fc

  Copy full SHA for e48f4fc

Commits on May 26, 2022

• Add support for errors in C CodeGen

  User-TGK

  committed
  ca1e2c9

  Copy full SHA for ca1e2c9

Commits on May 24, 2022

• Add support for polymorphism casts

  User-TGK

  committed
  a555381

  Copy full SHA for a555381

Commits on May 21, 2022

• Fix print in C

  User-TGK

  committed
  53ff82d

  Copy full SHA for 53ff82d

• Implements SPL to C

  Show description for 9897772
  User-TGK

  committed
  9897772

  Copy full SHA for 9897772

Commits on May 13, 2022

• Merge branch 'implement-print-for-all-types' into 'main'

  Show description for 0c9dc3b
  

  Ties Klappe

  committed
  0c9dc3b

  Copy full SHA for 0c9dc3b

• Adds errors for code generation

  Show description for 26464a7
  User-TGK

  committed
  26464a7

  Copy full SHA for 26464a7

• Add java install to CI

  User-TGK

  committed
  102b7fa

  Copy full SHA for 102b7fa

• Test for interaction with SSM in CI

  User-TGK

  committed
  9e0a02e

  Copy full SHA for 9e0a02e

• Implements print for all types

  User-TGK

  committed
  3c684b6

  Copy full SHA for 3c684b6

• Merge branch 'implement-ssm-code-generator' into 'main'

  Show description for 5beac70
  

  Ties Klappe

  committed
  5beac70

  Copy full SHA for 5beac70

• Implement code generator for SSM

  Show description for 0f4c081
  

  Ties Klappe

  committed
  0f4c081

  Copy full SHA for 0f4c081

Commits on Apr 29, 2022

• Merge branch 'add-tc-fixes' into 'main'

  Show description for 50d57e5
  

  Ties Klappe

  committed
  50d57e5

  Copy full SHA for 50d57e5

• Remove submodule

  User-TGK

  committed
  a4cf02f

  Copy full SHA for a4cf02f

• Updates tests

  User-TGK

  committed
  bb3bdd5

  Copy full SHA for bb3bdd5

• Patch material according to grammar

  User-TGK

  committed
  5a57406

  Copy full SHA for 5a57406

Commits on Apr 28, 2022

• Fix for polymorphic_value_indirect_shouldfail

  User-TGK

  committed
  a4bf9cf

  Copy full SHA for a4bf9cf

• Fixes for assigning to fields

  User-TGK

  committed
  5e55286

  Copy full SHA for 5e55286

• Fix unittests, start fixing assignment to fields

  User-TGK

  committed
  8f51d6a

  Copy full SHA for 8f51d6a

• Add more usefull parser error support

  User-TGK

  committed
  882e694

  Copy full SHA for 882e694

Commits on Apr 26, 2022

• Some fixes

  User-TGK

  committed
  319422e

  Copy full SHA for 319422e

• Merge branch 'add-tarjans-algorithm' into 'main'

  Show description for 3423622
  

  Ties Klappe

  committed
  3423622

  Copy full SHA for 3423622

• Adds Tarjans

  Show description for 9cd3002
  User-TGK

  committed
  9cd3002

  Copy full SHA for 9cd3002

Commits on Apr 16, 2022

• Merge branch 'restrict-void-ret-types-outside-expressions' into 'main'

  Show description for 234789c
  

  Ties Klappe

  committed
  234789c

  Copy full SHA for 234789c

• Restrict void to function return types in parser, remove var decls as statements, restrict void usage to statement fun calls (not in expressions)

  User-TGK

  committed
  57782aa

  Copy full SHA for 57782aa

• Merge branch 'implement-return-path-analysis' into 'main'

  Show description for d6c4d41
  

  Ties Klappe

  committed
  d6c4d41

  Copy full SHA for d6c4d41

• Adds return path analysis

  User-TGK

  committed
  ad058e9

  Copy full SHA for ad058e9

Commits on Apr 15, 2022

• Merge branch 'implement-binding-time-analysis' into 'main'

  Show description for 3f746bb
  

  Ties Klappe

  committed
  3f746bb

  Copy full SHA for 3f746bb

• Implements binding time analysis

  User-TGK

  committed
  8e0a057

  Copy full SHA for 8e0a057

• Merge branch 'implement-type-checker' into 'main'

  Show description for 60a96e1
  

  Ties Klappe

  committed
  60a96e1

  Copy full SHA for 60a96e1

• Implements Hindley-Milner type inference for SPL

  User-TGK

  committed
  61b9665

  Copy full SHA for 61b9665

Pagination

Previous

Next