Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 3, 2015

• Merge pull request #5 from carlpulley/exercise-query-simplification

  Show description for eb2e6ed
  janm399

  committed
  eb2e6ed

  Copy full SHA for eb2e6ed

Commits on Apr 29, 2015

• Real bicep curl test

  zapletal-martin

  committed
  413d101

  Copy full SHA for 413d101

Commits on Apr 28, 2015

• Removed DCT from the preprocessing pipeline. Added test to make sure the pipeline eis the same in every codebase

  zapletal-martin

  committed
  fe5351f

  Copy full SHA for fe5351f

Commits on Mar 29, 2015

• Modified comment

  

  Carl Pulley

  committed
  1d4b485

  Copy full SHA for 1d4b485

• Simplification of exercise query embedding into LDL

  

  Carl Pulley

  committed
  47d2501

  Copy full SHA for 47d2501

• Merge pull request #4 from carlpulley/stream-version-bump

  Show description for 19060be
  janm399

  committed
  19060be

  Copy full SHA for 19060be

• Akka streaming version bump

  

  Carl Pulley

  committed
  ffbfc23

  Copy full SHA for ffbfc23

• Merge pull request #3 from carlpulley/cvc4-debian-packaging

  Show description for 833fc4d
  janm399

  committed
  833fc4d

  Copy full SHA for 833fc4d

• Dependency fix for docker

  

  Carl Pulley

  committed
  468e962

  Copy full SHA for 468e962

• Small dependency fix

  

  Carl Pulley

  committed
  12f717c

  Copy full SHA for 12f717c

• Fixes to ensure Debian build occurs.

  Show description for f0ecf51
  

  Carl Pulley

  committed
  f0ecf51

  Copy full SHA for f0ecf51

• space to tab fix

  

  Carl Pulley

  committed
  2536b04

  Copy full SHA for 2536b04

• Added in Debian CVC4 package building

  

  Carl Pulley

  committed
  58fcf14

  Copy full SHA for 58fcf14

Commits on Mar 28, 2015

• Minor update

  

  Carl Pulley

  committed
  7443bac

  Copy full SHA for 7443bac

• Fixes to enure updated CVC4 builds in vagrant image

  

  Carl Pulley

  committed
  77aa1dd

  Copy full SHA for 77aa1dd

• Updated Vagrantfile so that it builds and installs a given CVC4 github commit

  

  Carl Pulley

  committed
  8a8c691

  Copy full SHA for 8a8c691

• Comment update

  

  Carl Pulley

  committed
  3ec9ffe

  Copy full SHA for 3ec9ffe

• Improved GroundFact - now able to embed any Scala value into LDL

  

  Carl Pulley

  committed
  7545617

  Copy full SHA for 7545617

• Fix to ensure sbt short:test passes

  

  Carl Pulley

  committed
  4023e31

  Copy full SHA for 4023e31

• build.sbt fix to ensure test dependencies are correct

  

  Carl Pulley

  committed
  411063c

  Copy full SHA for 411063c

• Fixes to get sbt compile to work

  

  Carl Pulley

  committed
  fa0cff2

  Copy full SHA for fa0cff2

• Initial refactor of querying model into a separate project module

  

  Carl Pulley

  committed
  55918d5

  Copy full SHA for 55918d5

Commits on Mar 26, 2015

• Merge branch 'develop' of github.com:eigengo/lift-nt

  janm399

  committed
  824f58c

  Copy full SHA for 824f58c

Commits on Mar 24, 2015

• Merge pull request #41 from eigengo/feature/swift-code-cleanup

  Show description for b4fef76
  janm399

  committed
  b4fef76

  Copy full SHA for b4fef76

Commits on Mar 23, 2015

• Minor fixes for Swift codebase

  

  Tamer Mohammed Abdul-Radi

  committed
  00b0391

  Copy full SHA for 00b0391

Commits on Mar 17, 2015

• Merge pull request #39 from eigengo/feature/fix-localapp-race-condition

  Show description for ce5ea53
  carlpulley

  committed
  ce5ea53

  Copy full SHA for ce5ea53

• fixup! fixup! Refactors the way Journal & Store are started

  

  Tamer Mohammed Abdul-Radi

  committed
  2243ed5

  Copy full SHA for 2243ed5

Commits on Mar 16, 2015

• fixup! Refactors the way Journal & Store are started

  

  Tamer Mohammed Abdul-Radi

  committed
  9de3850

  Copy full SHA for 9de3850

• Refactors the way Journal & Store are started

  

  Tamer Mohammed Abdul-Radi

  committed
  c85152a

  Copy full SHA for c85152a

Commits on Mar 12, 2015

• Merge pull request #38 from eigengo/feature/session-feedback

  Show description for 101f6fd
  carlpulley

  committed
  101f6fd

  Copy full SHA for 101f6fd

• Hides backbutton from feedback view in iOS app

  

  Tamer Mohammed Abdul-Radi

  committed
  f129e2e

  Copy full SHA for f129e2e

Commits on Mar 11, 2015

• Adds feedback backend testcases

  

  Tamer Mohammed Abdul-Radi

  committed
  8f51be2

  Copy full SHA for 8f51be2

• Session Feedback support on Backend

  

  Tamer Mohammed Abdul-Radi

  committed
  97ce698

  Copy full SHA for 97ce698

• iOS feedback view fixes

  

  Tamer Mohammed Abdul-Radi

  committed
  eabfe5d

  Copy full SHA for eabfe5d

Commits on Mar 10, 2015

• Adds feedback view to iOS app

  

  Tamer Mohammed Abdul-Radi

  committed
  c095353

  Copy full SHA for c095353

Pagination

Previous

Next