Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 24, 2016

• dev: update 'sss.predef' and use generic fixpoint

  suhailshergill

  committed
  b443130

  Copy full SHA for b443130

Commits on Mar 23, 2016

• refactor: use fixpoint from sss.predef

  suhailshergill

  committed
  351c1d2

  Copy full SHA for 351c1d2

Commits on Mar 22, 2016

• dev: make fixpoint test self-contained

  suhailshergill

  committed
  c6b904c

  Copy full SHA for c6b904c

• CI: tag FixSpecs as "slow"

  suhailshergill

  committed
  323a288

  Copy full SHA for 323a288

• dev: extensible deserialization

  Show description for adcb9f6
  suhailshergill

  committed
  adcb9f6

  Copy full SHA for adcb9f6

• dev: fix: add generic fixed point utility

  Show description for 9d1f1f0
  suhailshergill

  committed
  9d1f1f0

  Copy full SHA for 9d1f1f0

• dev: sbt: simplify build definition and refactor

  Show description for 5a34d56
  suhailshergill

  committed
  5a34d56

  Copy full SHA for 5a34d56

Commits on May 23, 2015

• Implement isomorphic transformation

  Show description for fa7efd0
  

  Jonas Fonseca

  authored and

  jonas

  committed
  fa7efd0

  Copy full SHA for fa7efd0

Commits on May 13, 2015

• composition: flatten . pushNeg = normalize

  Show description for 2828107
  

  suhailshergill

  authored and

  Jonas Fonseca

  committed
  2828107

  Copy full SHA for 2828107

• refactor: cleanup of implicits and invocations

  Show description for 821b307
  suhailshergill

  committed
  821b307

  Copy full SHA for 821b307

• travis: make failing tests pending

  suhailshergill

  committed
  46c3e81

  Copy full SHA for 46c3e81

Commits on May 12, 2015

• MPN-990: Partially implement normalization

  Show description for 36e391a
  

  Jonas Fonseca

  committed
  36e391a

  Copy full SHA for 36e391a

• MPN-990: Implement flata and norm for the initial view

  

  Jonas Fonseca

  committed
  7a1c5d3

  Copy full SHA for 7a1c5d3

Commits on May 11, 2015

• MPN-990: Fix test compilation error due to missing argument

  Show description for e5ccedb
  

  Jonas Fonseca

  committed
  e5ccedb

  Copy full SHA for e5ccedb

Commits on Feb 11, 2015

• simply typed lambda calculus + lifting

  

  Guillaume Masse

  authored and

  Guillaume Masse

  committed
  547f8df

  Copy full SHA for 547f8df

• splitting TTFI in smaller chunks, removing clean constructors

  Show description for 0401812
  

  Guillaume Masse

  authored and

  Guillaume Masse

  committed
  0401812

  Copy full SHA for 0401812

Commits on Feb 10, 2015

• stack safe matcher

  

  Guillaume Masse

  authored and

  Guillaume Masse

  committed
  a7d3c23

  Copy full SHA for a7d3c23

Commits on Feb 9, 2015

• testing all alternatives for stack safeness

  

  Guillaume Masse

  authored and

  Guillaume Masse

  committed
  d05c838

  Copy full SHA for d05c838

Commits on Feb 6, 2015

• ackerman

  

  Guillaume Masse

  authored and

  Guillaume Masse

  committed
  ffc544b

  Copy full SHA for ffc544b

• switched scalatest for specs2. scalacOptions used by the project

  Show description for 58f785d
  

  Guillaume Masse

  authored and

  Guillaume Masse

  committed
  58f785d

  Copy full SHA for 58f785d

Commits on Feb 5, 2015

• ttfi1: numsym: test for result type

  suhailshergill

  committed
  e77d7f3

  Copy full SHA for e77d7f3

• ttfi1: numsym: terms with abstract numeric type work

  Show description for 68f8b46
  suhailshergill

  committed
  68f8b46

  Copy full SHA for 68f8b46

• dev: abstract numeric operations (NumSym)

  suhailshergill

  committed
  95a0430

  Copy full SHA for 95a0430

• dev: port local changes relating to ttfi-1

  suhailshergill

  committed
  3e39165

  Copy full SHA for 3e39165

• dev: Merge remote-tracking branch 'refs/remotes/origin/master'

  suhailshergill

  committed
  221e224

  Copy full SHA for 221e224

• dev: scalaboot: replacing stub boilerplate

  suhailshergill

  committed
  85fbcd4

  Copy full SHA for 85fbcd4

Loading