Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 6, 2024

• Write tests for IR generation

  cyberfined

  committedJun 6, 2024
  5603ee4

Commits on May 10, 2024

• Rewrite to tree like IR

  cyberfined

  committedMay 10, 2024
  ad8abf8

Commits on Apr 28, 2024

• Revert "Implement translation to IR"

  cyberfined

  committedApr 28, 2024
  2a2022d

• Revert "Create IR interpreter for tests"

  cyberfined

  committedApr 28, 2024
  aa7f912

• Revert "Write tests for IR generation"

  cyberfined

  committedApr 28, 2024
  c8c42f3

• Revert "Rewrite tests with tasty"

  cyberfined

  committedApr 28, 2024
  778dc5f

Commits on Dec 11, 2023

• Rewrite tests with tasty

  cyberfined

  committedDec 11, 2023
  1d5f878

Commits on Dec 10, 2023

• Write tests for IR generation

  cyberfined

  committedDec 10, 2023
  aca2f90

Commits on Nov 12, 2023

• Create IR interpreter for tests

  cyberfined

  committedNov 12, 2023
  dd12d20

Commits on Oct 29, 2023

• Implement translation to IR

  cyberfined

  committedOct 29, 2023
  d108575

Commits on Apr 2, 2023

• Implement escape analysis

  cyberfined

  committedApr 2, 2023
  ceb5039

Commits on Mar 19, 2023

• Add Semant analysis

  cyberfined

  committedMar 19, 2023
  b80b69c

Commits on Mar 5, 2023

• Rewrite again

  cyberfined

  committedMar 5, 2023
  b2f1c32

Commits on May 28, 2022

• Update for new version of stack

  cyberfined

  committedMay 28, 2022
  67cc3d5

Commits on Dec 2, 2020

• Rewrite to mtl style again

  cyberfined

  committedDec 2, 2020
  51536b7

Commits on Dec 1, 2020

• Add testing action

  cyberfined

  committedDec 1, 2020
  4177b6c

• Rewrite tests with new types

  cyberfined

  committedDec 1, 2020
  ae7e8d7

• Rewrite EscapeAnalysis with new types

  cyberfined

  committedDec 1, 2020
  a7b3ca9

• Rewrite TypeCheck with new types

  cyberfined

  committedDec 1, 2020
  ad0a3fe

• Rewrite parser with new types

  cyberfined

  committedDec 1, 2020
  2d74571

• Rewrite with more declarative types

  cyberfined

  committedDec 1, 2020
  377314f

Commits on Nov 19, 2020

• Add cabal.project file

  cyberfined

  committedNov 19, 2020
  5de2c9c

• Implement escape analysis

  cyberfined

  committedNov 19, 2020
  887d549

• Update export lists

  cyberfined

  committedNov 19, 2020
  b7e6205

Commits on Nov 18, 2020

• Update .gitignore

  cyberfined

  committedNov 18, 2020
  3fd6cfc

• Replace void $ runTestTT with runTestTTAndExit

  cyberfined

  committedNov 18, 2020
  64fce72

Commits on Sep 14, 2020

• restart the higer

  cyberfined

  committedSep 14, 2020
  c458704

Commits on Aug 8, 2020

• Make optimization for ArrLen calls of arrays with non-constant sizes

  cyberfined

  committedAug 8, 2020
  68ad72d

• Fix side-effect analysis. If side effect was in Assign sideEffectAnalysis doesn't catch it, now it does

  cyberfined

  committedAug 8, 2020
  52f9897

• Add new functions to Data.Graph module

  cyberfined

  committedAug 8, 2020
  f4835b9

Commits on Aug 5, 2020

• Implement subexpression elimination

  cyberfined

  committedAug 5, 2020
  038b02e

• Add Optim module. Implement side-effect analysis in corresponding module Optim.SideEffectAnalysis

  cyberfined

  committedAug 5, 2020
  2294c6d

Commits on Aug 3, 2020

• Create Data.Graph module. Rewrite IR translation with new Data.Graph module

  cyberfined

  committedAug 3, 2020
  add3169

• Make FunDec a record type. Add dominator tree building

  cyberfined

  committedAug 3, 2020
  140737e

Commits on Jul 27, 2020

• Fix if to ssa translation

  cyberfined

  committedJul 27, 2020
  d4cbf95

Pagination

PreviousNext