Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 25, 2015

• Update README.

  davidlazar

  committed
  5f28377

  Copy full SHA for 5f28377

Commits on Dec 15, 2014

• Mention k2 branch.

  davidlazar

  committed
  361c6ae

  Copy full SHA for 361c6ae

• Add TODOs and ideas from last time.

  davidlazar

  committed
  f8f49e6

  Copy full SHA for f8f49e6

Commits on Sep 15, 2013

• .hgignore is no longer needed.

  davidlazar

  committed
  ed40260

  Copy full SHA for ed40260

• Drop hg/Bitbucket support.

  davidlazar

  committed
  243ae05

  Copy full SHA for 243ae05

• Obfuscate email addresses.

  davidlazar

  committed
  e4d09f9

  Copy full SHA for e4d09f9

• Minor syntactic improvements to LICENSE.

  davidlazar

  committed
  c3113e2

  Copy full SHA for c3113e2

Commits on Sep 11, 2013

• added license

  ellisonch

  committed
  b1383bf

  Copy full SHA for b1383bf

Commits on Nov 23, 2012

• Convert tabs to spaces and remove trailing whitespace.

  davidlazar

  committed
  6e5ccc3

  Copy full SHA for 6e5ccc3

• Minor whitespace tweaks for ,, separator.

  davidlazar

  committed
  5928734

  Copy full SHA for 5928734

• Add some rule labels.

  davidlazar

  committed
  b5a0656

  Copy full SHA for b5a0656

Commits on May 30, 2012

• Correct tense in project description.

  davidlazar

  committed
  a02d195

  Copy full SHA for a02d195

• Add back the Mercurial/Bitbucket repository.

  davidlazar

  committed
  f74e6f7

  Copy full SHA for f74e6f7

Commits on May 2, 2012

• Fix BagMap changes: type="Map" was in the wrong place and now only our memory is a BagMap.

  davidlazar

  committed
  69f512f

  Copy full SHA for 69f512f

• Try the new BagMaps optimization in K.

  davidlazar

  committed
  ba85d21

  Copy full SHA for ba85d21

Commits on Apr 30, 2012

• updating script to work with new injection function

  ellisonch

  committed
  d54933a

  Copy full SHA for d54933a

Commits on Apr 25, 2012

• bumping up the timeout due to k slowdown

  ellisonch

  committed
  08e2bda

  Copy full SHA for 08e2bda

• replace --Int again with 0 -Int; turn some of our nice functions into constructors just

  Show description for b5dd7f9
  ellisonch

  committed
  b5dd7f9

  Copy full SHA for b5dd7f9

• more operations to int; added StringToList{K} from library

  ellisonch

  committed
  ec96d4f

  Copy full SHA for ec96d4f

• removing more Nat operations

  ellisonch

  committed
  4e404a4

  Copy full SHA for 4e404a4

• -Int => --Int

  ellisonch

  committed
  0943f14

  Copy full SHA for 0943f14

• small fixes

  ellisonch

  committed
  2eb7641

  Copy full SHA for 2eb7641

• other fixes to new sorts

  ellisonch

  committed
  2213b4f

  Copy full SHA for 2213b4f

• got rid of nat operations

  ellisonch

  committed
  9f29341

  Copy full SHA for 9f29341

• getting rid of sNat

  ellisonch

  committed
  64421e7

  Copy full SHA for 64421e7

• removing sharps

  ellisonch

  committed
  3322d4b

  Copy full SHA for 3322d4b

• using new ==s

  ellisonch

  committed
  ff2f83b

  Copy full SHA for ff2f83b

Commits on Apr 22, 2012

• making intToPtr a pointer

  ellisonch

  committed
  cd44eb6

  Copy full SHA for cd44eb6

• rethinking locations: turned them into their own sort (Loc) with a constructor loc(B, O). Using _+_ (not +Nat) to move the offset

  ellisonch

  committed
  179a838

  Copy full SHA for 179a838

Commits on Apr 21, 2012

• Do a sanity check before converting a string to a float.

  davidlazar

  committed
  2b74531

  Copy full SHA for 2b74531

• Define sizeof for X86FP80 types.

  davidlazar

  committed
  c699b74

  Copy full SHA for c699b74

• Define isFloatType for the remaining float types.

  davidlazar

  committed
  04d0dae

  Copy full SHA for 04d0dae

• Make all float types be values.

  davidlazar

  committed
  f4843f9

  Copy full SHA for f4843f9

• Implement fptoui.

  davidlazar

  committed
  00d53ad

  Copy full SHA for 00d53ad

• Pretty-print all floats using the same method.

  davidlazar

  committed
  68bd182

  Copy full SHA for 68bd182

Pagination

Previous

Next