Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2017

• Add timing measurement for Image Processing

  mantognini

  committed
  abf2b6c

• Update Image Processing Case Study

  Show description for 9178970
  mantognini

  committed
  9178970

Commits on Mar 7, 2017

• true data racing

  regb

  committed
  a1092c4

Commits on Feb 26, 2017

• improve tutorial

  regb

  committed
  3e88e92

Commits on Feb 15, 2017

• tentative tutorial

  regb

  committed
  5d9b8c4

Commits on Feb 13, 2017

• Add case study ImageProcessing for GenC

  Show description for e27a4f7
  mantognini

  committed
  e27a4f7

• Update LZW parameters

  mantognini

  committed
  46be524

• Moving LZW implementations to a new testcases section

  Show description for ec37922
  mantognini

  committed
  ec37922

• Fix shift conversion to C

  Show description for 2516a3c
  mantognini

  committed
  2516a3c

Commits on Dec 9, 2016

• save tutorial in testcases

  regb

  committed
  509c755

• only unroll type if require

  regb

  committed
  5cda3ce

• array copy testcase to prove

  regb

  committed
  ae12c8f

Commits on Nov 11, 2016

• start a challenge testcase with simple problem to solve

  regb

  committed
  b7a04e3

• adapt genc tests

  regb

  committed
  19ccf3a

Commits on Nov 4, 2016

• testcase idea template

  regb

  committed
  4003d2d

Commits on Oct 15, 2016

• Merge branch 'master' into stringrender-fixes

  MikaelMayer

  authored
  7402a77

• @options("--timeout=5") annotations working.

  Show description for 415e2c8
  MikaelMayer

  committed
  415e2c8

Commits on Oct 12, 2016

• Merging with master: updations: resourcebounds.doc, prettyprinting invariants

  ravimad

  committed
  070e74d

Commits on Oct 11, 2016

• Print List literals without the type parameter if not ambiguous.

  Show description for 6e65666
  MikaelMayer

  committed
  6e65666

Commits on Oct 8, 2016

• Adding comments to the steps benchmarks

  ravimad

  committed
  ab2f6af

• Adding comments to the alloc benchmarks

  ravimad

  committed
  385046e

• Making lookup cost in alloc benchmarks zero

  ravimad

  committed
  f436b19

Commits on Oct 7, 2016

• Fixing minor bugs in the alloc instrumentation with memoization

  ravimad

  committed
  02347af

Commits on Oct 5, 2016

• Adding benchmarks and scripts

  ravimad

  committed
  131addf

Commits on Sep 23, 2016

• Added string theorems.

  MikaelMayer

  committed
  c2fc08e

Commits on Sep 19, 2016

• Minor changes

  ravimad

  committed
  8d99391

• Adding buggy examples

  ravimad

  committed
  57fed2d

• Removing the buggy illustration as they wont run with leonweb

  ravimad

  committed
  df056d5

• Adding buggy testcases to illustrate counter-examples

  ravimad

  committed
  5a3fc71

• Displaying counter-examples in a good way

  ravimad

  committed
  4c9a52f

• Modifying RTQ slightly

  ravimad

  committed
  2fe8119

• minor changes

  ravimad

  committed
  8debf8d

• Modifying a mem benchmark

  ravimad

  committed
  4b51bbe

• Renaming files

  ravimad

  committed
  46241b7

• Adding memoized resource verification benchmarks

  ravimad

  committed
  e85552a

Pagination

PreviousNext