Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

Commits on Sep 3, 2019

• update --debugger to use gdb (#740)

  Show description for ab8836c
  

  dwightguth

  authored
  ab8836c

  Copy full SHA for ab8836c

Commits on Jun 20, 2019

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on Feb 13, 2019

• KProve architecture extension: made pretty printing available to Rewriter (#292)

  Show description for 178c2f6
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  178c2f6

  Copy full SHA for 178c2f6

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 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 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 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 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 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 Mar 31, 2016

• changes to fix broken printing

  msaxena2

  committed
  4cc2876

  Copy full SHA for 4cc2876

Commits on Jan 20, 2016

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 15, 2016

• wip

  Show description for 86be634
  andreistefanescu

  committed
  86be634

  Copy full SHA for 86be634

Commits on Jan 7, 2016

• Merge branch 'master' into binary

  Show description for 1c0529f
  

  Dwight Guth

  committed
  1c0529f

  Copy full SHA for 1c0529f

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

Commits on Nov 18, 2015

• temp

  Show description for e40e4b8
  

  Dwight Guth

  committed
  e40e4b8

  Copy full SHA for e40e4b8

Commits on Nov 4, 2015

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Oct 15, 2015

• fix to issue#1778

  Show description for 457b211
  msaxena2

  committed
  457b211

  Copy full SHA for 457b211

Commits on Oct 1, 2015

• several fixes to ocaml backend to make it work better with kdebug

  Show description for 415d069
  

  Dwight Guth

  committed
  415d069

  Copy full SHA for 415d069

Commits on Sep 16, 2015

• added some javadocs to public functions

  Show description for 9895c57
  msaxena2

  committed
  9895c57

  Copy full SHA for 9895c57

• fixes to comments on PR

  Show description for 732c738
  msaxena2

  committed
  732c738

  Copy full SHA for 732c738

Commits on Sep 11, 2015

• seachtype capability

  Show description for 9d03fa5
  msaxena2

  committed
  9d03fa5

  Copy full SHA for 9d03fa5

Commits on Sep 10, 2015

• broken test results fixed

  Show description for 7de432b
  msaxena2

  committed
  7de432b

  Copy full SHA for 7de432b

• fixes to the issue of tests not passing

  Show description for 88dfeb2
  msaxena2

  committed
  88dfeb2

  Copy full SHA for 88dfeb2

Commits on Sep 9, 2015

• search wired up, ready for review

  Show description for 525a73e
  msaxena2

  committed
  525a73e

  Copy full SHA for 525a73e

• moved common search related code from debugger to KRun

  Show description for 70ca7d0
  msaxena2

  committed
  70ca7d0

  Copy full SHA for 70ca7d0

• some refactoring regarding printing

  Show description for 712f89a
  msaxena2

  committed
  712f89a

  Copy full SHA for 712f89a

Commits on Sep 8, 2015

• NPE bug fix

  Show description for 59efc08
  msaxena2

  committed
  59efc08

  Copy full SHA for 59efc08

Commits on Sep 5, 2015

• WIP on search

  Show description for 091a099
  msaxena2

  committed
  091a099

  Copy full SHA for 091a099