Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

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 6, 2018

• Improvements in Unparsing (#674)

  Show description for bc7c40d
  

  dwightguth

  authored and

  chathhorn

  committed
  bc7c40d

  Copy full SHA for bc7c40d

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 21, 2017

• Using declared sorts when parsing config vars. (#646)

  

  traiansf

  authored and

  dwightguth

  committed
  328ec7d

  Copy full SHA for 328ec7d

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Apr 14, 2016

• interpreter execution mode for compilation (not linking) (#151)

  Show description for 3d9a4ee
  

  dwightguth

  committed
  3d9a4ee

  Copy full SHA for 3d9a4ee

Commits on Mar 31, 2016

• changes to fix broken printing

  msaxena2

  committed
  4cc2876

  Copy full SHA for 4cc2876

Commits on Mar 23, 2016

• rough draft of native call test suite

  

  Dwight Guth

  committed
  8b2402e

  Copy full SHA for 8b2402e

Commits on Feb 22, 2016

• delete code reference

  

  Dwight Guth

  committed
  bc7a16f

  Copy full SHA for bc7a16f

Commits on Feb 10, 2016

• remove check because it's slow

  

  Dwight Guth

  committed
  8d16dcc

  Copy full SHA for 8d16dcc

Commits on Jan 20, 2016

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 19, 2016

• Merge branch 'master' of https://github.com/kframework/k into logik

  Show description for 8a230b7
  laurayuwen

  committed
  8a230b7

  Copy full SHA for 8a230b7

• display "Empty substitution" instead of ""

  Show description for afb3fcd
  cos

  committed
  afb3fcd

  Copy full SHA for afb3fcd

Commits on Jan 18, 2016

• fix

  Show description for 7bd20a7
  cos

  committed
  7bd20a7

  Copy full SHA for 7bd20a7

• quick fix so that "No Search Results" comes after "Search results:"

  Show description for bf139a9
  laurayuwen

  committed
  bf139a9

  Copy full SHA for bf139a9

• and apply to programs as well

  Show description for 0ce19db
  cos

  committed
  0ce19db

  Copy full SHA for 0ce19db

Commits on Jan 17, 2016

• Merge pull request #2038 from kframework/feature/super-strict

  Show description for 94e1688
  cos

  committed
  94e1688

  Copy full SHA for 94e1688

• [em] refactoring

  Show description for ddf9267
  daejunpark

  committed
  ddf9267

  Copy full SHA for ddf9267

Commits on Jan 15, 2016

• wip

  Show description for f0688a7
  andreistefanescu

  committed
  f0688a7

  Copy full SHA for f0688a7

• wip

  Show description for b328d88
  andreistefanescu

  committed
  b328d88

  Copy full SHA for b328d88

• wip

  Show description for 32c3631
  andreistefanescu

  committed
  32c3631

  Copy full SHA for 32c3631

• wip

  Show description for 86be634
  andreistefanescu

  committed
  86be634

  Copy full SHA for 86be634

Commits on Jan 8, 2016

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

• more optimizations

  Show description for ae6f3db
  

  Dwight Guth

  committed
  ae6f3db

  Copy full SHA for ae6f3db

Commits on Jan 7, 2016

• Merge branch 'master' into binary

  Show description for 1c0529f
  

  Dwight Guth

  committed
  1c0529f

  Copy full SHA for 1c0529f

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

• fix concatenation of terms together

  Show description for 98015a2
  

  Dwight Guth

  committed
  98015a2

  Copy full SHA for 98015a2

Commits on Jan 6, 2016

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Jan 5, 2016

• [em] apply cosmin's comment

  Show description for 4fc5cfb
  daejunpark

  committed
  4fc5cfb

  Copy full SHA for 4fc5cfb

• [em] split module view

  Show description for c7be7cb
  daejunpark

  committed
  c7be7cb

  Copy full SHA for c7be7cb

• [em] suppress warning for $STDIN and $IO

  Show description for 77b3d37
  daejunpark

  committed
  77b3d37

  Copy full SHA for 77b3d37

• [em] config-var-not-exist-or-missing

  Show description for 4b9bbad
  daejunpark

  committed
  4b9bbad

  Copy full SHA for 4b9bbad