Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on Jun 7, 2018

• abstract big numbers

  daejunpark

  committed
  5be04eb

  Copy full SHA for 5be04eb

• abstract pow256

  daejunpark

  committed
  dadbb93

  Copy full SHA for dadbb93

• disable z3 mbqi by default

  daejunpark

  committed
  ed92c60

  Copy full SHA for ed92c60

Commits on May 7, 2018

• [kevm debugging] lightweight toString

  

  yzhang90

  authored and

  daejunpark

  committed
  5c25763

  Copy full SHA for 5c25763

• unification equalities simplification for matchImplies

  daejunpark

  committed
  ea52152

  Copy full SHA for ea52152

• add [proj] attribute

  daejunpark

  committed
  5a5b6e0

  Copy full SHA for 5a5b6e0

• evaluate spec rules with requires constraints when initializing

  daejunpark

  committed
  3d3f8e1

  Copy full SHA for 3d3f8e1

Commits on Apr 16, 2018

• orient substitution when matching via implication (#49)

  

  andreistefanescu

  authored and

  dwightguth

  committed
  aa5aa63

  Copy full SHA for aa5aa63

Commits on Mar 12, 2018

• pass the sort of the cell collection variables to the java backend (#34)

  Show description for 6b04221
  

  andreistefanescu

  authored and

  dwightguth

  committed
  6b04221

  Copy full SHA for 6b04221

Commits on Mar 9, 2018

• add basic set unification (#38)

  

  andreistefanescu

  authored and

  dwightguth

  committed
  a216881

  Copy full SHA for a216881

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Feb 28, 2018

• fix #702 (#754)

  Show description for b597c9c
  

  dwightguth

  authored
  b597c9c

  Copy full SHA for b597c9c

Commits on Feb 27, 2018

• Fix installer console mode bug (#742)

  Show description for d1517e5
  shd101wyy

  authored
  d1517e5

  Copy full SHA for d1517e5

Commits on Feb 22, 2018

• optimize kserver to cache java backend definition (#738)

  Show description for 1796c70
  

  dwightguth

  authored
  1796c70

  Copy full SHA for 1796c70

Commits on Feb 19, 2018

• Fixes to allow EVM semantics to share semantics between Java and Ocaml backends (#729)

  Show description for 1d372b4
  

  dwightguth

  authored
  1d372b4

  Copy full SHA for 1d372b4

Commits on Feb 16, 2018

• set exit code of proofs (#710)

  Show description for 84af4dd
  

  dwightguth

  authored
  84af4dd

  Copy full SHA for 84af4dd

Commits on Feb 13, 2018

• make access to static impliesSMTCache thread-safe (#703)

  

  dwightguth

  authored
  4303795

  Copy full SHA for 4303795

Commits on Feb 8, 2018

• add proof regression test and fix z3 library to use JNA (#695)

  Show description for 90facd6
  

  dwightguth

  authored
  90facd6

  Copy full SHA for 90facd6

• Java 9 support (#686)

  Show description for b2b710c
  

  dwightguth

  authored
  b2b710c

  Copy full SHA for b2b710c

Commits on Feb 7, 2018

• Verification (#683)

  Show description for 9c115ca
  

  daejunpark

  authored and

  dwightguth

  committed
  9c115ca

  Copy full SHA for 9c115ca

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

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 Nov 17, 2016

• delete a bunch of stuff (#295)

  Show description for 2f2e734
  

  dwightguth

  authored
  2f2e734

  Copy full SHA for 2f2e734

Commits on Nov 15, 2016

• as pattern in K + some cleanup of C++ semantics using new syntax (#294)

  Show description for 4c6e4de
  

  dwightguth

  authored
  4c6e4de

  Copy full SHA for 4c6e4de

Commits on Jan 21, 2016

• 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

Commits on Jan 20, 2016

• Merge pull request #6 from runtimeverification/domains

  Show description for 1d43f7d
  

  dwightguth

  committed
  1d43f7d

  Copy full SHA for 1d43f7d

• giant ugly hack

  

  Dwight Guth

  committed
  6028b73

  Copy full SHA for 6028b73

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 19, 2016

• this is a bit too easy...

  Show description for fe3b9f3
  cos

  committed
  fe3b9f3

  Copy full SHA for fe3b9f3

Commits on Jan 18, 2016

• bottom sort for lists with identical klabels

  Show description for 2bdc913
  cos

  committed
  2bdc913

  Copy full SHA for 2bdc913

• Merge pull request #2059 from kframework/logik

  Show description for e73a25e
  laurayuwen

  committed
  e73a25e

  Copy full SHA for e73a25e

• Merge pull request #2073 from kframework/fix_search_pattern

  Show description for b08fc57
  cos

  committed
  b08fc57

  Copy full SHA for b08fc57