Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

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

• More KRead stuff, plus renaming KoreParser (#540)

  Show description for 121d8e1
  

  gtrepta

  authored and

  ehildenb

  committed
  121d8e1

  Copy full SHA for 121d8e1

Commits on Jun 10, 2019

• fix return sort of initializer for * cells (#522)

  

  dwightguth

  authored
  5e3c3e0

  Copy full SHA for 5e3c3e0

Commits on May 1, 2019

• Configuration formatting improvements (#431)

  Show description for 6920de4
  

  nishantjr

  authored and

  dwightguth

  committed
  6920de4

  Copy full SHA for 6920de4

Commits on Apr 24, 2019

• Io extras (#403)

  Show description for bb35c45
  radumereuta

  authored
  bb35c45

  Copy full SHA for bb35c45

Commits on Apr 15, 2019

• fix bug in FrontEnd involving --help and FileUtil (#411)

  

  dwightguth

  authored and

  ehildenb

  committed
  7a4e805

  Copy full SHA for 7a4e805

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

• Fix outdated help for kompile (#186)

  Show description for 698bd2b
  

  hjorthjort

  authored and

  dwightguth

  committed
  698bd2b

  Copy full SHA for 698bd2b

Commits on Oct 2, 2018

• LLVM backend (#159)

  Show description for f403769
  

  dwightguth

  authored
  f403769

  Copy full SHA for f403769

• Allow making modifications/omissions to the output via command-line flags (#157)

  Show description for bae137e
  

  ehildenb

  authored and

  dwightguth

  committed
  bae137e

  Copy full SHA for bae137e

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

• Json output (#136)

  Show description for a7f642d
  

  ehildenb

  authored and

  dwightguth

  committed
  a7f642d

  Copy full SHA for a7f642d

Commits on Aug 20, 2018

• [REFACTORING] Kprint (#117)

  Show description for 10ee906
  

  ehildenb

  authored and

  dwightguth

  committed
  10ee906

  Copy full SHA for 10ee906

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

• kernel/.../RuleGrammarTest: add tests for custom layout/fallback to default layout

  

  Everett Hildenbrandt

  committed
  791f645

  Copy full SHA for 791f645

• kernel/.../{RuleGrammarTest,PriorityAssocTest}: remove PriorityAssocTest, fold into RuleGrammarTest

  

  Everett Hildenbrandt

  committed
  26f19e8

  Copy full SHA for 26f19e8

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 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 May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Mar 13, 2017

• Revert "Revert "overloading operators + default constructor + misc fi… (#400)

  Show description for 8763915
  

  dwightguth

  authored
  8763915

  Copy full SHA for 8763915

• Revert "overloading operators + default constructor + misc fixes (#397)"

  Show description for 1b0a86f
  

  Dwight Guth

  committed
  1b0a86f

  Copy full SHA for 1b0a86f

• overloading operators + default constructor + misc fixes (#397)

  Show description for 95b4d3a
  

  dwightguth

  authored
  95b4d3a

  Copy full SHA for 95b4d3a

Commits on Nov 17, 2016

• refactor attributes (#296)

  Show description for 784893b
  

  dwightguth

  authored
  784893b

  Copy full SHA for 784893b

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

Commits on Jan 20, 2016

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6