Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

Commits on Nov 14, 2019

• kernel: refactoring KPrint and dependencies to Guice injections (#877)

  Show description for 6e969ee
  denis-bogdanas

  authored
  6e969ee

  Copy full SHA for 6e969ee

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 Jun 18, 2019

• autoDeserialize in KRead (#558)

  Show description for 5804f25
  

  gtrepta

  authored and

  ehildenb

  committed
  5804f25

  Copy full SHA for 5804f25

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

• try to build k on mac os during ci (#362)

  Show description for dd587fd
  

  dwightguth

  authored
  dd587fd

  Copy full SHA for dd587fd

Commits on Mar 12, 2019

• Global options: option --debug-warnings to print stack trace of warnings. Old option --debug now only prints stack traces of errors. (#344)

  denis-bogdanas

  authored
  4375ba0

  Copy full SHA for 4375ba0

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

• Enquoting STDIN input (#273)

  

  traiansf

  authored and

  dwightguth

  committed
  dc09401

  Copy full SHA for dc09401

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

• Ensure that with `--io on/off` we always get an extra newline on stdin (#217)

  Show description for 28984c6
  

  ehildenb

  authored and

  dwightguth

  committed
  28984c6

  Copy full SHA for 28984c6

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 Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

Commits on Dec 21, 2017

• Using declared sorts when parsing config vars. (#646)

  

  traiansf

  authored and

  dwightguth

  committed
  328ec7d

  Copy full SHA for 328ec7d

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

• rough draft of native call test suite

  

  Dwight Guth

  committed
  8b2402e

  Copy full SHA for 8b2402e

Commits on Feb 22, 2016

• delete code reference

  

  Dwight Guth

  committed
  bc7a16f

  Copy full SHA for bc7a16f

Commits on Feb 10, 2016

• remove check because it's slow

  

  Dwight Guth

  committed
  8d16dcc

  Copy full SHA for 8d16dcc

Commits on Jan 20, 2016

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 19, 2016

• Merge branch 'master' of https://github.com/kframework/k into logik

  Show description for 8a230b7
  laurayuwen

  committed
  8a230b7

  Copy full SHA for 8a230b7

• display "Empty substitution" instead of ""

  Show description for afb3fcd
  cos

  committed
  afb3fcd

  Copy full SHA for afb3fcd

Commits on Jan 18, 2016

• fix

  Show description for 7bd20a7
  cos

  committed
  7bd20a7

  Copy full SHA for 7bd20a7