Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 9, 2019

• tests: One more test for `#fun`, failing. Anything simpler passes. (#619)

  Show description for 8b0459d
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  8b0459d

  Copy full SHA for 8b0459d

Commits on Jul 3, 2019

• ocaml-backend kompile: test for a missing kompile error. +Int in LHS (#589)

  Show description for a688a7b
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  a688a7b

  Copy full SHA for a688a7b

Commits on Jun 18, 2019

• Report error when trying to heat a KSequence. (#556)

  Show description for 1bb5fc4
  

  dwightguth

  authored and

  ehildenb

  committed
  1bb5fc4

  Copy full SHA for 1bb5fc4

Commits on Jun 17, 2019

• context alias (#531)

  Show description for ef595aa
  

  dwightguth

  authored and

  ehildenb

  committed
  ef595aa

  Copy full SHA for ef595aa

Commits on Jun 4, 2019

• Fixes regression involving function context (#514)

  Show description for 98fafd9
  

  dwightguth

  authored
  98fafd9

  Copy full SHA for 98fafd9

• fix #fun (#510)

  

  dwightguth

  authored
  ebbd69a

  Copy full SHA for ebbd69a

Commits on May 16, 2019

• Resolve interaction between macros and function context (#477)

  Show description for 03ba782
  

  dwightguth

  authored
  03ba782

  Copy full SHA for 03ba782

Commits on May 9, 2019

• Better implementation of fresh constants and function context (#455)

  Show description for 6104067
  

  dwightguth

  authored
  6104067

  Copy full SHA for 6104067

Commits on Apr 24, 2019

• add strategy cell to all rules in definition if strategy module is (#422)

  Show description for b3a269b
  

  dwightguth

  authored
  b3a269b

  Copy full SHA for b3a269b

Commits on Apr 8, 2019

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

Commits on Apr 4, 2019

• Bug fixes for LLVM Backend (#388)

  Show description for dc648b9
  

  dwightguth

  authored
  dc648b9

  Copy full SHA for dc648b9

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 22, 2019

• Fix bugs in K frontend compiler (#368)

  Show description for 386aad5
  

  dwightguth

  authored
  386aad5

  Copy full SHA for 386aad5

Commits on Mar 8, 2019

• fix bug in or patterns when used outside of a rewrite (#340)

  Show description for 3e98406
  

  dwightguth

  authored
  3e98406

  Copy full SHA for 3e98406

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 Feb 22, 2019

• Send sentence labels to Kore (#305)

  Show description for 072b22c
  

  ttuegel

  authored and

  ehildenb

  committed
  072b22c

  Copy full SHA for 072b22c

Commits on Feb 8, 2019

• haskell-backend: update submodule (#289)

  Show description for b577155
  ehildenb

  authored
  b577155

  Copy full SHA for b577155

Commits on Jan 23, 2019

• Fix the format attribute for <generatedTop> (#252)

  Show description for 98f44f8
  

  ehildenb

  authored and

  dwightguth

  committed
  98f44f8

  Copy full SHA for 98f44f8

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

• Cache file option, re-done (#188)

  Show description for 4148d28
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  4148d28

  Copy full SHA for 4148d28

Commits on Nov 5, 2018

• Revert "Global options: Option --cache-file to change default location of parse cache (#179)"

  Show description for 6d1e972
  

  Dwight Guth

  committed
  6d1e972

  Copy full SHA for 6d1e972

Commits on Oct 29, 2018

• Global options: Option --cache-file to change default location of parse cache (#179)

  Show description for eb906c7
  denis-bogdanas

  authored
  eb906c7

  Copy full SHA for eb906c7

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 Sep 25, 2018

• KORE fixes for IELE (#151)

  Show description for 8b9f1ba
  

  dwightguth

  authored
  8b9f1ba

  Copy full SHA for 8b9f1ba

Commits on Sep 18, 2018

• Extracted kore functionality to a proper backend. (#147)

  Show description for 84bdc08
  

  traiansf

  authored and

  dwightguth

  committed
  84bdc08

  Copy full SHA for 84bdc08

Commits on Sep 17, 2018

• Changes to K to KORE to support the llvm backend better (#149)

  Show description for 64f4090
  

  dwightguth

  authored
  64f4090

  Copy full SHA for 64f4090

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

• Rule coverage tool for K (#66)

  Show description for af3c952
  

  dwightguth

  authored
  af3c952

  Copy full SHA for af3c952

Commits on May 9, 2018

• Fix compilation errors with Java 9 (#65)

  

  traiansf

  authored and

  dwightguth

  committed
  a4be64c

  Copy full SHA for a4be64c

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Mar 22, 2018

• output compiled definition as string to compiled.txt (#808)

  

  dwightguth

  authored
  3af731f

  Copy full SHA for 3af731f

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