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

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

  

  traiansf

  authored and

  dwightguth

  committed
  328ec7d

  Copy full SHA for 328ec7d

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 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

• more optimizations

  Show description for ae6f3db
  

  Dwight Guth

  committed
  ae6f3db

  Copy full SHA for ae6f3db

Commits on Jan 7, 2016

• 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

• fix #1985

  Show description for ade1a1e
  daejunpark

  committed
  ade1a1e

  Copy full SHA for ade1a1e

Commits on Jan 2, 2016

• solution display

  Show description for f0a7625
  laurayuwen

  committed
  f0a7625

  Copy full SHA for f0a7625

Commits on Dec 30, 2015

• change search solution index to start from 1

  Show description for e808c01
  laurayuwen

  committed
  e808c01

  Copy full SHA for e808c01

Commits on Dec 6, 2015

• K transformers refactoring and improvements

  Show description for 962634b
  cos

  committed
  962634b

  Copy full SHA for 962634b

Commits on Nov 18, 2015

• temp

  Show description for e40e4b8
  

  Dwight Guth

  committed
  e40e4b8

  Copy full SHA for e40e4b8

• temp

  Show description for 0ffeb11
  

  Dwight Guth

  committed
  0ffeb11

  Copy full SHA for 0ffeb11

• fast binary parser for k

  Show description for 39e91c5
  

  Dwight Guth

  committed
  39e91c5

  Copy full SHA for 39e91c5

Commits on Nov 12, 2015

• fix flaky test

  Show description for b6e2f46
  

  Dwight Guth

  authored and

  daejunpark

  committed
  b6e2f46

  Copy full SHA for b6e2f46