Commits

Branch selector

 master

User selector

vkuncak

Datepicker

All time

Commit History

Commits on Apr 12, 2016

• Added to references in doc a line for Leon to Isabelle IJCAR system description paper

  vkuncak

  committed
  8280708

  Copy full SHA for 8280708

Commits on Dec 24, 2015

• Merge pull request #163 from MikaelMayer/master

  Show description for a372b9c
  vkuncak

  committed
  a372b9c

  Copy full SHA for a372b9c

Commits on Dec 7, 2015

• doc remarks about &&, ||, ==>

  vkuncak

  committed
  f7ccf1b

  Copy full SHA for f7ccf1b

Commits on Dec 5, 2015

• slightly more concise expression compiler

  vkuncak

  committed
  7ddb917

  Copy full SHA for 7ddb917

Commits on Oct 20, 2015

• The most elegant version of simple binary search tree.

  vkuncak

  committed
  6129717

  Copy full SHA for 6129717

Commits on Oct 13, 2015

• Remarks in documentation

  vkuncak

  committed
  e623a4c

  Copy full SHA for e623a4c

Commits on Sep 30, 2015

• Update changelog; stub of invariant inference docs

  vkuncak

  committed
  f78aeb2

  Copy full SHA for f78aeb2

• Improved the date conversion benchmark

  vkuncak

  committed
  df73de9

  Copy full SHA for df73de9

Commits on Sep 29, 2015

• Zune bug test case

  vkuncak

  committed
  0e89606

  Copy full SHA for 0e89606

Commits on Sep 23, 2015

• Termination works in parallel merge sort, passing length as parameter. Addeded it as testcase.

  vkuncak

  committed
  6596b51

  Copy full SHA for 6596b51

• Basic Merge Sort Parallel would be nice as regression but needs particular solver to work.

  vkuncak

  committed
  19b7601

  Copy full SHA for 19b7601

• Made merge sort verify using better specified splitAtIndex.

  vkuncak

  committed
  6dea823

  Copy full SHA for 6dea823

Commits on Sep 22, 2015

• Ravi's example shows a nice way to verify sortedness of search trees

  vkuncak

  committed
  2c0436d

  Copy full SHA for 2c0436d

Commits on Sep 18, 2015

• A simple parallel merge sort testcase using 'parallel'

  vkuncak

  committed
  9126073

  Copy full SHA for 9126073

• A minimalistic sequential merge sort, to compare with parallel one

  vkuncak

  committed
  b3f129f

  Copy full SHA for b3f129f

• Minimal par package for parallelism

  vkuncak

  committed
  f27073a

  Copy full SHA for f27073a

• Lars in doc contribs. Moved README instructions to doc and CHANGELOG.md

  vkuncak

  committed
  c21623d

  Copy full SHA for c21623d

Commits on Sep 9, 2015

• Added a correctness property, which seems to have a longish counterexample, found by fairz3. Is there a simpler counterexample?

  vkuncak

  committed
  8ef26e3

  Copy full SHA for 8ef26e3

Commits on Sep 7, 2015

• Started another lambda calculus case study

  vkuncak

  committed
  171ae35

  Copy full SHA for 171ae35

Commits on Aug 27, 2015

• I tried to formalize an algorithm from my paper and made mistake,

  Show description for c3faa51
  vkuncak

  committed
  c3faa51

  Copy full SHA for c3faa51

Commits on Aug 19, 2015

• Author credit and section flattening for proofs DSL (neon).

  vkuncak

  committed
  5344d3d

  Copy full SHA for 5344d3d

• Added List.fill to the library. Script to run regressions

  vkuncak

  committed
  0bed934

  Copy full SHA for 0bed934

Commits on Jul 26, 2015

• tree paths are work in progress

  vkuncak

  committed
  67f7dd9

  Copy full SHA for 67f7dd9

Commits on Jul 24, 2015

• Tree path example.

  Show description for bd6bde5
  vkuncak

  committed
  bd6bde5

  Copy full SHA for bd6bde5

Commits on Jul 23, 2015

• more on tree path example

  vkuncak

  committed
  5974212

  Copy full SHA for 5974212

• Started benchmarks based on basic operations on paths in binary tree.

  vkuncak

  committed
  81fc0d0

  Copy full SHA for 81fc0d0

Commits on Jul 13, 2015

• Platform independent path separator. Notes on Windows64.

  vkuncak

  committed
  e1a0626

  Copy full SHA for e1a0626

Commits on Jun 25, 2015

• Fixed scala scripts to work from scripts directory

  vkuncak

  committed
  8873684

  Copy full SHA for 8873684

• small changes to demo

  vkuncak

  committed
  fa1fbd1

  Copy full SHA for fa1fbd1

Commits on Jun 24, 2015

• Examples with generics to illustrate the verifier.

  vkuncak

  committed
  4a0a866

  Copy full SHA for 4a0a866

Commits on Jun 23, 2015

• doc: tutorial wording

  vkuncak

  committed
  28ea9c1

  Copy full SHA for 28ea9c1

• doc: addeabout interactive synthesis

  vkuncak

  committed
  cc8371a

  Copy full SHA for cc8371a

• Remarks on scalacleon etc. in the doc. Added Samuel to authors. Added Robot to web demos.

  vkuncak

  committed
  3596f49

  Copy full SHA for 3596f49

• doc: more on tutorial

  vkuncak

  committed
  929559d

  Copy full SHA for 929559d

• Added a few questions to the tutorial.

  vkuncak

  committed
  bb8c354

  Copy full SHA for bb8c354

Pagination

Previous

Next