Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 17, 2017

• Update travis CI build configuration

  Show description for 1e12807
  jack-pappas

  committed
  1e12807

  Copy full SHA for 1e12807

Commits on Jan 14, 2014

• Add section about build status via travis-ci.

  EricGT

  committed
  d78b170

  Copy full SHA for d78b170

Commits on Dec 27, 2013

• Upgrade to NUnit 2.6.3 to take advantage of a bugfix when running tests on Mono.

  

  Jack Pappas

  committed
  5c1f8f2

  Copy full SHA for 5c1f8f2

• Fixed 'exclude' flag passed to NUnit console.

  

  Jack Pappas

  committed
  7e20469

  Copy full SHA for 7e20469

• Added Travis CI build configuration.

  

  Jack Pappas

  committed
  6f82c9a

  Copy full SHA for 6f82c9a

Commits on Sep 1, 2013

• Upgrade to NuGet 2.7.

  

  Jack Pappas

  committed
  c34ac46

  Copy full SHA for c34ac46

Commits on May 3, 2013

• Upgraded NuGet binaries (for package restore) to NuGet 2.5.

  

  Jack Pappas

  committed
  758a0d3

  Copy full SHA for 758a0d3

Commits on Feb 15, 2013

• Fixed formatting of attributes on test functions.

  Show description for 8f87c05
  EricGT

  committed
  8f87c05

  Copy full SHA for 8f87c05

Commits on Feb 14, 2013

• Fixed formatting of attributes on test functions.

  

  Jack Pappas

  committed
  ed6c036

  Copy full SHA for ed6c036

Commits on Jan 20, 2013

• - Updated recommended version of TestDriven.NET.

  

  Jack Pappas

  committed
  1c2814e

  Copy full SHA for 1c2814e

• - Updated VS2012 project files to match VS2010 project files.

  

  Jack Pappas

  committed
  50e789d

  Copy full SHA for 50e789d

• - Update NUnit to 2.6.2 and FsUnit to 1.1.1.0.

  

  Jack Pappas

  committed
  48577d8

  Copy full SHA for 48577d8

Commits on Jan 10, 2013

• Update based on new eratta.

  Show description for 079ab81
  EricGT

  committed
  079ab81

  Copy full SHA for 079ab81

Commits on Dec 19, 2012

• Remove use of mutable to make code compatiable with OCaml from book.

  Show description for 71e81ec
  EricGT

  committed
  71e81ec

  Copy full SHA for 71e81ec

• Remove extra printfn used for debugging.

  Show description for 7db3612
  EricGT

  committed
  7db3612

  Copy full SHA for 7db3612

• Remove use of F# Options to make code compatiable with OCaml from book.

  Show description for 9d8b765
  EricGT

  committed
  9d8b765

  Copy full SHA for 9d8b765

Commits on Dec 18, 2012

• Add more test and standardize test for combining.

  Show description for 6ab38d8
  EricGT

  committed
  6ab38d8

  Copy full SHA for 6ab38d8

• Fix some comments.

  Show description for 560f32e
  EricGT

  committed
  560f32e

  Copy full SHA for 560f32e

• Add more test and standardize test for interpolation.

  Show description for faf7747
  EricGT

  committed
  faf7747

  Copy full SHA for faf7747

• Use standardized names for tests in geom.

  Show description for a936555
  EricGT

  committed
  a936555

  Copy full SHA for a936555

• Add more test and standardize test for grobner.

  Show description for f912bc8
  EricGT

  committed
  f912bc8

  Copy full SHA for f912bc8

Commits on Dec 17, 2012

• Standardize test for real.

  Show description for 6ed0faf
  EricGT

  committed
  6ed0faf

  Copy full SHA for 6ed0faf

• Remove commented out code.

  Show description for 4694243
  EricGT

  committed
  4694243

  Copy full SHA for 4694243

• Add more test and standardize test for complex.

  Show description for 103f4ad
  EricGT

  committed
  103f4ad

  Copy full SHA for 103f4ad

• Add more test and standardize test for cooper.

  Show description for aafdcb4
  EricGT

  committed
  aafdcb4

  Copy full SHA for aafdcb4

• Fix name of skolemizes test so no conflict with function.

  Show description for 4903a55
  EricGT

  committed
  4903a55

  Copy full SHA for 4903a55

• Standardize comments for test in qelim.

  Show description for f87b1e7
  EricGT

  committed
  f87b1e7

  Copy full SHA for f87b1e7

• Add more test and standardize test for decidable.

  Show description for 19aa2a5
  EricGT

  committed
  19aa2a5

  Copy full SHA for 19aa2a5

Commits on Dec 16, 2012

• Standardize test for paramodulation.

  Show description for 811b64d
  EricGT

  committed
  811b64d

  Copy full SHA for 811b64d

• Add more test and standardize test for eqelim.

  Show description for 1db57b6
  EricGT

  committed
  1db57b6

  Copy full SHA for 1db57b6

• Add more test and standardize test for completion.

  Show description for af9c4a8
  EricGT

  committed
  af9c4a8

  Copy full SHA for af9c4a8

Commits on Dec 15, 2012

• Add string result to test for rewrite.

  Show description for ffe6837
  EricGT

  committed
  ffe6837

  Copy full SHA for ffe6837

• Standardize test for rewrite.

  Show description for 53a375c
  EricGT

  committed
  53a375c

  Copy full SHA for 53a375c

• Standardize test for cong.

  Show description for efb8de9
  EricGT

  committed
  efb8de9

  Copy full SHA for efb8de9

• Add more test and standardize tests for equal.

  Show description for 4f658e4
  EricGT

  committed
  4f658e4

  Copy full SHA for 4f658e4

Pagination

Previous

Next