Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

Commits on May 2, 2019

• fix bug in sorting of macro expansions (#433)

  Show description for 652d4a6
  

  dwightguth

  authored
  652d4a6

  Copy full SHA for 652d4a6

Commits on Apr 3, 2019

• kompile flag to generate time to parse each rule (#378)

  Show description for 3a45a4f
  

  dwightguth

  authored
  3a45a4f

  Copy full SHA for 3a45a4f

Commits on Mar 20, 2019

• Fix incorrect priority attribute on :/=K (#364)

  Show description for 525915b
  

  dwightguth

  authored
  525915b

  Copy full SHA for 525915b

Commits on Mar 4, 2019

• Global context in function rules (#318)

  Show description for 33858e7
  

  dwightguth

  authored
  33858e7

  Copy full SHA for 33858e7

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 Nov 12, 2018

• Fix Array sort for Haskell and LLVM backends (#187)

  Show description for 898d39c
  

  dwightguth

  authored
  898d39c

  Copy full SHA for 898d39c

Commits on Oct 27, 2018

• Parse cache: invalidating entries with matching content but coming from another source file (#178)

  Show description for 9d37120
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  9d37120

  Copy full SHA for 9d37120

Commits on Oct 2, 2018

• LLVM backend (#159)

  Show description for f403769
  

  dwightguth

  authored
  f403769

  Copy full SHA for f403769

Commits on Sep 25, 2018

• KORE fixes for IELE (#151)

  Show description for 8b9f1ba
  

  dwightguth

  authored
  8b9f1ba

  Copy full SHA for 8b9f1ba

Commits on Aug 8, 2018

• Update K to generate kore from IELE (#125)

  Show description for 05b915a
  

  dwightguth

  authored
  05b915a

  Copy full SHA for 05b915a

Commits on Jul 19, 2018

• Windows support for kompile and kprove. (#119)

  Show description for 5af0e99
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  5af0e99

  Copy full SHA for 5af0e99

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Mar 5, 2018

• Minor fixes to K (#758)

  Show description for 26d36fa
  

  dwightguth

  authored
  26d36fa

  Copy full SHA for 26d36fa

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

• 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 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 20, 2017

• Added -SYNTAX module to the preserved modules (#641)

  

  traiansf

  authored and

  dwightguth

  committed
  085a0c9

  Copy full SHA for 085a0c9

Commits on Nov 17, 2016

• refactor attributes (#296)

  Show description for 784893b
  

  dwightguth

  authored
  784893b

  Copy full SHA for 784893b

Commits on Aug 12, 2016

• initial draft of some stuff relating to templates (#227)

  Show description for bab4984
  

  dwightguth

  authored
  bab4984

  Copy full SHA for bab4984

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Jun 27, 2016

• refactor out linking semantics from C semantics and combine it into C… (#211)

  Show description for 2987496
  

  dwightguth

  authored
  2987496

  Copy full SHA for 2987496

Commits on Jan 15, 2016

• Merge remote-tracking branch 'remotes/origin/master' into hotfix/fix2000

  Show description for da561be
  cos

  committed
  da561be

  Copy full SHA for da561be

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

• save caches invoked only once

  Show description for 52d7ff8
  cos

  committed
  52d7ff8

  Copy full SHA for 52d7ff8

• fix caching issue + refactoring

  Show description for 24b756b
  cos

  committed
  24b756b

  Copy full SHA for 24b756b

Commits on Jan 14, 2016

• allow errors to propagate

  Show description for a7ab665
  cos

  committed
  a7ab665

  Copy full SHA for a7ab665

• Revert "revert #1962 because of failure to correctly print errors in non compiling definitions"

  Show description for 095af61
  cos

  committed
  095af61

  Copy full SHA for 095af61

Commits on Jan 12, 2016

• revert #1962 because of failure to correctly print errors in non compiling definitions

  Show description for 4d56eb5
  

  Dwight Guth

  committed
  4d56eb5

  Copy full SHA for 4d56eb5

Commits on Jan 9, 2016

• Fixing off by one error in error reporting: #1883.

  Show description for 5ef1c82
  radumereuta

  committed
  5ef1c82

  Copy full SHA for 5ef1c82

Commits on Jan 8, 2016

• copyright year

  Show description for 0e64f1c
  cos

  committed
  0e64f1c

  Copy full SHA for 0e64f1c