Commits

Branch selector

 threads

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 2, 2016

• threads

  

  Dwight Guth

  committed
  0237b4c

  Copy full SHA for 0237b4c

Commits on Feb 29, 2016

• threads

  

  Dwight Guth

  committed
  f043df7

  Copy full SHA for f043df7

Commits on Feb 25, 2016

• Merge pull request #15 from runtimeverification/map

  Show description for b6d2eb4
  

  dwightguth

  committed
  b6d2eb4

  Copy full SHA for b6d2eb4

• fix error message

  

  Dwight Guth

  committed
  70cc2ce

  Copy full SHA for 70cc2ce

• fix long lines

  

  Dwight Guth

  committed
  56bad1b

  Copy full SHA for 56bad1b

• fix stray typo

  

  Dwight Guth

  committed
  2f7c486

  Copy full SHA for 2f7c486

• add Map type of cell collection

  

  Dwight Guth

  committed
  fae59ce

  Copy full SHA for fae59ce

Commits on Feb 23, 2016

• Merge pull request #13 from runtimeverification/tiny

  Show description for abd0de5
  

  dwightguth

  committed
  abd0de5

  Copy full SHA for abd0de5

Commits on Feb 22, 2016

• remove another reference to tiny

  

  Dwight Guth

  committed
  46b221c

  Copy full SHA for 46b221c

• fix copyright

  

  Dwight Guth

  committed
  76718f4

  Copy full SHA for 76718f4

• delete code reference

  

  Dwight Guth

  committed
  bc7a16f

  Copy full SHA for bc7a16f

Commits on Feb 18, 2016

• Merge pull request #14 from runtimeverification/dep

  Show description for 8800a91
  

  dwightguth

  committed
  8800a91

  Copy full SHA for 8800a91

• fix copyright

  

  Dwight Guth

  committed
  ada8a2b

  Copy full SHA for ada8a2b

• update dependency plugin version

  

  Dwight Guth

  committed
  fafd61e

  Copy full SHA for fafd61e

• fix copyright

  

  Dwight Guth

  committed
  32fca07

  Copy full SHA for 32fca07

Commits on Feb 17, 2016

• remove tiny backend -- speeds up mvn package

  

  Dwight Guth

  committed
  b8ec357

  Copy full SHA for b8ec357

Commits on Feb 11, 2016

• Merge pull request #12 from runtimeverification/check

  Show description for cef4e57
  

  dwightguth

  committed
  cef4e57

  Copy full SHA for cef4e57

Commits on Feb 10, 2016

• remove check because it's slow

  

  Dwight Guth

  committed
  8d16dcc

  Copy full SHA for 8d16dcc

Commits on Feb 2, 2016

• Merge pull request #11 from runtimeverification/uuid

  Show description for 4b980f9
  

  dwightguth

  committed
  4b980f9

  Copy full SHA for 4b980f9

• fix edgar's comment

  

  Dwight Guth

  committed
  7fc6489

  Copy full SHA for 7fc6489

• fix bug in support for strings in kcc

  

  Dwight Guth

  committed
  4a7a08a

  Copy full SHA for 4a7a08a

Commits on Jan 27, 2016

• uuid function for k

  

  Dwight Guth

  committed
  d21eaf4

  Copy full SHA for d21eaf4

• Merge pull request #10 from runtimeverification/rewrite

  Show description for 00dd9f3
  

  dwightguth

  committed
  00dd9f3

  Copy full SHA for 00dd9f3

Commits on Jan 26, 2016

• fix copyright

  

  Dwight Guth

  committed
  1f5b8a8

  Copy full SHA for 1f5b8a8

Commits on Jan 25, 2016

• Merge pull request #9 from runtimeverification/error

  Show description for 348067d
  

  dwightguth

  committed
  348067d

  Copy full SHA for 348067d

• add a couple cases to make dealing with maps easier + add a few checks for rewrites

  

  Dwight Guth

  committed
  d098d10

  Copy full SHA for d098d10

• comment out failing tests -- they're pretty fragile, and I don't expect to have to touch this part of the code again

  

  Dwight Guth

  committed
  2562894

  Copy full SHA for 2562894

• make better error message for ambiguity

  

  Dwight Guth

  committed
  9aa60b0

  Copy full SHA for 9aa60b0

Commits on Jan 21, 2016

• Merge pull request #8 from runtimeverification/klabel

  Show description for b8c0f5c
  

  dwightguth

  committed
  b8c0f5c

  Copy full SHA for b8c0f5c

• fix test failure

  

  Dwight Guth

  committed
  949eade

  Copy full SHA for 949eade

• fix equals check on klabel

  

  Dwight Guth

  committed
  486fd82

  Copy full SHA for 486fd82

• Merge pull request #7 from runtimeverification/mlgmp

  Show description for 69f36f4
  

  dwightguth

  committed
  69f36f4

  Copy full SHA for 69f36f4

Commits on Jan 20, 2016

• make our custom opam package for mlgmp not use oasis

  

  Dwight Guth

  committed
  ae5d6d3

  Copy full SHA for ae5d6d3

• Merge pull request #6 from runtimeverification/domains

  Show description for 1d43f7d
  

  dwightguth

  committed
  1d43f7d

  Copy full SHA for 1d43f7d

• Merge pull request #2 from runtimeverification/scalable

  Show description for 9fb271a
  

  dwightguth

  committed
  9fb271a

  Copy full SHA for 9fb271a

Pagination

Previous

Next