Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on Jan 15, 2016

• update copyright for all k files

  Show description for 7a4d30e
  cos

  committed
  7a4d30e

  Copy full SHA for 7a4d30e

Commits on Apr 29, 2015

• removed [trusted] tag from bubble sort spec

  Show description for 5ea02e2
  andreistefanescu

  committed
  5ea02e2

  Copy full SHA for 5ea02e2

Commits on Mar 13, 2015

• make PatternMatchRewriter the default

  Show description for 764f7c2
  

  Dwight Guth

  committed
  764f7c2

  Copy full SHA for 764f7c2

Commits on Jan 30, 2015

• Revert "Revert "Symbolic constraint refactoring""

  Show description for c7b36c4
  andreistefanescu

  committed
  c7b36c4

  Copy full SHA for c7b36c4

Commits on Jan 29, 2015

• Revert "Symbolic constraint refactoring"

  Show description for 54ab470
  

  dwightguth

  committed
  54ab470

  Copy full SHA for 54ab470

Commits on Jan 23, 2015

• Merge remote-tracking branch 'upstream/master'

  Show description for 658872a
  andreistefanescu

  committed
  658872a

  Copy full SHA for 658872a

• more fixes

  Show description for 5c7bbf6
  andreistefanescu

  committed
  5c7bbf6

  Copy full SHA for 5c7bbf6

Commits on Jan 15, 2015

• fix broken test

  Show description for c47841f
  

  Dwight Guth

  committed
  c47841f

  Copy full SHA for c47841f

• fix sound output mode

  Show description for fe8f421
  

  Dwight Guth

  committed
  fe8f421

  Copy full SHA for fe8f421

Commits on Jan 2, 2015

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Dec 6, 2014

• stop flattening terms that can't be disambiguated by concretization

  Show description for 6da012d
  

  Dwight Guth

  committed
  6da012d

  Copy full SHA for 6da012d

Commits on Nov 28, 2014

• addressed Yilong's comments

  Show description for 97813b1
  andreistefanescu

  committed
  97813b1

  Copy full SHA for 97813b1

Commits on Nov 26, 2014

• adjusted specifications

  Show description for e3c4df1
  andreistefanescu

  committed
  e3c4df1

  Copy full SHA for e3c4df1

• fixed output

  Show description for 3ec4590
  andreistefanescu

  committed
  3ec4590

  Copy full SHA for 3ec4590

Commits on Nov 20, 2014

• Merge pull request #1192 from dwightguth/kastparser

  Show description for d21deb7
  

  dwightguth

  committed
  d21deb7

  Copy full SHA for d21deb7

• up timeout for cd2d, hoping to avoid jenkins failures

  Show description for 7f437e6
  

  Dwight Guth

  committed
  7f437e6

  Copy full SHA for 7f437e6

Commits on Nov 18, 2014

• fixed bubble sort spec

  Show description for 739f51c
  andreistefanescu

  committed
  739f51c

  Copy full SHA for 739f51c

Commits on Oct 23, 2014

• fixed cdd_spec to conform to fresh variables naming convention

  Show description for a3f51c8
  

  Yilong Li

  committed
  a3f51c8

  Copy full SHA for a3f51c8

• added --z3-executable option to all kernelc simple examples

  Show description for f391cb8
  

  Yilong Li

  committed
  f391cb8

  Copy full SHA for f391cb8

Commits on Oct 15, 2014

• Merge remote-tracking branch 'upstream/master'

  Show description for ab348d2
  andreistefanescu

  committed
  ab348d2

  Copy full SHA for ab348d2

• Merge pull request #1060 from osa1/more-parallel-ktest

  Show description for bdafd31
  osa1

  committed
  bdafd31

  Copy full SHA for bdafd31

Commits on Oct 14, 2014

• update config files for some test cases that were causing problems

  Show description for c006c0c
  osa1

  committed
  c006c0c

  Copy full SHA for c006c0c

Commits on Oct 13, 2014

• Merge remote-tracking branch 'upstream/master'

  Show description for 55445a8
  andreistefanescu

  committed
  55445a8

  Copy full SHA for 55445a8

• remove some redundant kompile steps

  Show description for be12250
  osa1

  committed
  be12250

  Copy full SHA for be12250

Commits on Oct 11, 2014

• forgot to remove merge_sort example from exclude list

  Show description for 840f149
  

  Yilong Li

  committed
  840f149

  Copy full SHA for 840f149

Commits on Oct 9, 2014

• Merge remote-tracking branch 'upstream/master'

  Show description for 6cc432a
  andreistefanescu

  committed
  6cc432a

  Copy full SHA for 6cc432a

• minor fixes

  Show description for 45d971d
  andreistefanescu

  committed
  45d971d

  Copy full SHA for 45d971d

• made the prover more deterministic; uncommented the merge_sort example

  Show description for d75d8f8
  

  Yilong Li

  committed
  d75d8f8

  Copy full SHA for d75d8f8

• Merge remote-tracking branch 'upstream/master'

  Show description for dfbedb7
  andreistefanescu

  committed
  dfbedb7

  Copy full SHA for dfbedb7

• minor

  Show description for 0903d90
  andreistefanescu

  committed
  0903d90

  Copy full SHA for 0903d90

• proved cd2d

  Show description for 64f6b77
  

  Yilong Li

  committed
  64f6b77

  Copy full SHA for 64f6b77

• proved omega_vv

  Show description for fd1cbed
  

  Yilong Li

  committed
  fd1cbed

  Copy full SHA for fd1cbed