Commits

Breadcrumbs

History for

ontest-pipelines

User selector

All users

All time

Commit History

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

Commits on Jan 15, 2016

• remove quote througout

  Show description for 1902c82
  cos

  committed
  1902c82

  Copy full SHA for 1902c82

• Fix addBracket test.

  Show description for ebc7246
  radumereuta

  committed
  ebc7246

  Copy full SHA for ebc7246

• Fix addEmptyLits tests.

  Show description for 7870965
  radumereuta

  committed
  7870965

  Copy full SHA for 7870965

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

• Remove even more quotes.

  Show description for 17d38bd
  radumereuta

  committed
  17d38bd

  Copy full SHA for 17d38bd

Commits on Jan 14, 2016

• 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 13, 2016

• Merge branch 'master' into fix1943

  Show description for f0e16d5
  radumereuta

  committed
  f0e16d5

  Copy full SHA for f0e16d5

Commits on Jan 12, 2016

• Merge pull request #1955 from kframework/feature/java-backend-assoc2

  Show description for 2cd48c5
  cos

  committed
  2cd48c5

  Copy full SHA for 2cd48c5