Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Mar 30, 2023

• Update formatting

  matijapretnar

  committed
  7158154View commit details

  Copy full SHA for 7158154

  View code at this pointBrowse repository at this point

Commits on Dec 17, 2021

• Fix parser test

  matijapretnar

  committed
  f90eae7View commit details

  Copy full SHA for f90eae7

  View code at this pointBrowse repository at this point

Commits on Dec 6, 2021

• Fix a bug in tree.eff

  matijapretnar

  committed
  a654d01View commit details

  Copy full SHA for a654d01

  View code at this pointBrowse repository at this point

Commits on Oct 27, 2021

• Disable diverging test

  matijapretnar

  committed
  acd027dView commit details

  Copy full SHA for acd027d

  View code at this pointBrowse repository at this point

Commits on Oct 23, 2021

• Get rid of obsolete exeff-multicore translation

  matijapretnar

  committed
  c476e6bView commit details

  Copy full SHA for c476e6b

  View code at this pointBrowse repository at this point

Commits on Oct 18, 2021

• Convert polymorphic exeff to noeff

  matijapretnar

  committed
  eacb4c3View commit details

  Copy full SHA for eacb4c3

  View code at this pointBrowse repository at this point

Commits on Aug 6, 2021

• Print slowdown without percentages

  matijapretnar

  committed
  13db7d4View commit details

  Copy full SHA for 13db7d4

  View code at this pointBrowse repository at this point

Commits on Jul 29, 2021

• Added capability benchmarks

  jO-Osko

  committed
  f98e927View commit details

  Copy full SHA for f98e927

  View code at this pointBrowse repository at this point

• Added tree exploration benchmarks

  jO-Osko

  committed
  ef11cb3View commit details

  Copy full SHA for ef11cb3

  View code at this pointBrowse repository at this point

Commits on Jul 27, 2021

• Started with additional capabilities benchmarks

  jO-Osko

  committed
  c5af8e2View commit details

  Copy full SHA for c5af8e2

  View code at this pointBrowse repository at this point

Commits on Jul 8, 2021

• Added another multicore version

  jO-Osko

  committed
  c27ffeeView commit details

  Copy full SHA for c27ffee

  View code at this pointBrowse repository at this point

Commits on Jun 15, 2021

• Update benchmarks

  matijapretnar

  committed
  01fddbbView commit details

  Copy full SHA for 01fddbb

  View code at this pointBrowse repository at this point

• Revert "Add effect annotations"

  Show description for 23f0655
  matijapretnar

  committed
  23f0655View commit details

  Copy full SHA for 23f0655

  View code at this pointBrowse repository at this point

• Handle casts

  matijapretnar

  committed
  5fb762eView commit details

  Copy full SHA for 5fb762e

  View code at this pointBrowse repository at this point

Commits on Jun 4, 2021

• OCaml format

  matijapretnar

  committed
  f6a21c7View commit details

  Copy full SHA for f6a21c7

  View code at this pointBrowse repository at this point

Commits on Apr 15, 2021

• Partial optimizations >>=

  jO-Osko

  committed
  5962f5aView commit details

  Copy full SHA for 5962f5a

  View code at this pointBrowse repository at this point

• Renamed bind operator

  jO-Osko

  committed
  50bc97fView commit details

  Copy full SHA for 50bc97f

  View code at this pointBrowse repository at this point

Commits on Apr 14, 2021

• Added partially optimized benchmarks

  jO-Osko

  committed
  3df890fView commit details

  Copy full SHA for 3df890f

  View code at this pointBrowse repository at this point

Commits on Apr 13, 2021

• Associativity of application

  jO-Osko

  committed
  0403ae0View commit details

  Copy full SHA for 0403ae0

  View code at this pointBrowse repository at this point

• Lambda lifting match, direct lambda application

  jO-Osko

  committed
  37e96b9View commit details

  Copy full SHA for 37e96b9

  View code at this pointBrowse repository at this point

Commits on Apr 12, 2021

• Removing unused letrec defnitions

  jO-Osko

  committed
  88973d8View commit details

  Copy full SHA for 88973d8

  View code at this pointBrowse repository at this point

• Fixed benchmark names

  jO-Osko

  committed
  ebfb7fcView commit details

  Copy full SHA for ebfb7fc

  View code at this pointBrowse repository at this point

Commits on Apr 9, 2021

• Renamed multicore to lower

  jO-Osko

  committed
  58e02dbView commit details

  Copy full SHA for 58e02db

  View code at this pointBrowse repository at this point

• Added pure native versions

  jO-Osko

  committed
  3f12042View commit details

  Copy full SHA for 3f12042

  View code at this pointBrowse repository at this point

• added multicore to graphs

  jO-Osko

  committed
  91e3ad1View commit details

  Copy full SHA for 91e3ad1

  View code at this pointBrowse repository at this point

• Benchmarks

  jO-Osko

  committed
  405319cView commit details

  Copy full SHA for 405319c

  View code at this pointBrowse repository at this point

Commits on Apr 8, 2021

• Dune magic is back

  jO-Osko

  committed
  5f3c1cbView commit details

  Copy full SHA for 5f3c1cb

  View code at this pointBrowse repository at this point

• ignore formatting

  jO-Osko

  committed
  4158d08View commit details

  Copy full SHA for 4158d08

  View code at this pointBrowse repository at this point

• Annotated state interpreter

  jO-Osko

  committed
  e2b5780View commit details

  Copy full SHA for e2b5780

  View code at this pointBrowse repository at this point

• Annotated triple

  jO-Osko

  committed
  00653c0View commit details

  Copy full SHA for 00653c0

  View code at this pointBrowse repository at this point

• Add effect annotations

  matijapretnar

  committed
  301cc9cView commit details

  Copy full SHA for 301cc9c

  View code at this pointBrowse repository at this point

• Fixed capability benchmarks

  jO-Osko

  committed
  763cba4View commit details

  Copy full SHA for 763cba4

  View code at this pointBrowse repository at this point

Commits on Apr 7, 2021

• Move stuff around

  matijapretnar

  committed
  a2b5b93View commit details

  Copy full SHA for a2b5b93

  View code at this pointBrowse repository at this point

Commits on Feb 8, 2021

• Minor fixes

  matijapretnar

  committed
  ed19bcdView commit details

  Copy full SHA for ed19bcd

  View code at this pointBrowse repository at this point

Commits on Feb 6, 2021

• Close the loop

  matijapretnar

  committed
  304e581View commit details

  Copy full SHA for 304e581

  View code at this pointBrowse repository at this point