Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Aug 14, 2019

• k-distribution/pyk/kastManip: import loggers explicitely (#688)

  ehildenb

  authored
  824ffc8

  Copy full SHA for 824ffc8

Commits on Jul 29, 2019

• Pyk library updates and fixes to KPrint output (#651)

  Show description for b87f53f
  ehildenb

  authored
  b87f53f

  Copy full SHA for b87f53f

Commits on Jul 25, 2019

• Update dependencies + Debian Buster (#640)

  Show description for ec2e4e7
  

  dwightguth

  authored and

  ehildenb

  committed
  ec2e4e7

  Copy full SHA for ec2e4e7

Commits on Jul 22, 2019

• Automatically generate tools in bin dir of package from prefix. (#633)

  Show description for 3e97d7d
  

  dwightguth

  authored and

  ehildenb

  committed
  3e97d7d

  Copy full SHA for 3e97d7d

Commits on Jul 9, 2019

• py-kframework/kast.py: fixes to unparsing code (#599)

  ehildenb

  authored
  13c1466

  Copy full SHA for 13c1466

Commits on Jul 3, 2019

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

Commits on Jun 26, 2019

• Pyk library: Library for handling frontend JSON KAST terms programatically (#557)

  Show description for e04ca33
  ehildenb

  authored
  e04ca33

  Copy full SHA for e04ca33

Commits on Apr 29, 2019

• build and deploy k on arch linux (#385)

  Show description for bf7c78a
  

  dwightguth

  authored and

  ehildenb

  committed
  bf7c78a

  Copy full SHA for bf7c78a

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 Jan 23, 2019

• Build debian package (#262)

  Show description for 2cf7d45
  

  dwightguth

  authored
  2cf7d45

  Copy full SHA for 2cf7d45

Commits on Dec 27, 2018

• Uniform way of setting KSERVER_SOCKET in lib/checkJava (#235)

  Show description for 4168063
  

  ehildenb

  authored and

  dwightguth

  committed
  4168063

  Copy full SHA for 4168063

Commits on Dec 13, 2018

• `kserver --socket=./my/socket` (#215)

  Show description for acbc8b8
  

  h0nzZik

  authored and

  dwightguth

  committed
  acbc8b8

  Copy full SHA for acbc8b8

Commits on Nov 6, 2018

• Support both Opam-2 and Opam-1 (#183)

  Show description for eed90b6
  

  h0nzZik

  authored and

  yzhang90

  committed
  eed90b6

  Copy full SHA for eed90b6

Commits on Aug 15, 2018

• better fix for java 10 issue (#135)

  

  dwightguth

  authored
  4665e4c

  Copy full SHA for 4665e4c

Commits on Jul 26, 2018

• fixes #105 (#126)

  

  dwightguth

  authored
  852039c

  Copy full SHA for 852039c

Commits on Jul 25, 2018

• fix version check in checkJava (#124)

  Show description for 2d04ba7
  

  dwightguth

  authored
  2d04ba7

  Copy full SHA for 2d04ba7

Commits on Jul 19, 2018

• Windows support for kompile and kprove. (#119)

  Show description for 5af0e99
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  5af0e99

  Copy full SHA for 5af0e99

Commits on Jun 15, 2018

• 4.06.1+k+spacetime (#100)

  

  dwightguth

  authored
  2916ba4

  Copy full SHA for 2916ba4

Commits on Jun 6, 2018

• backport another patch relating to new gcc versions (#93)

  

  dwightguth

  authored
  9397b29

  Copy full SHA for 9397b29

Commits on Jun 5, 2018

• backport fix for latest gcc into 4.03.0+k switch (#92)

  

  dwightguth

  authored
  a216a09

  Copy full SHA for a216a09

Commits on May 21, 2018

• Improve performance of coverage tool (#68)

  Show description for 6e240f3
  

  dwightguth

  authored
  6e240f3

  Copy full SHA for 6e240f3

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

• fix #702 (#754)

  Show description for b597c9c
  

  dwightguth

  authored
  b597c9c

  Copy full SHA for b597c9c

Commits on Feb 16, 2018

• fix mvn verify for k subtree (#708)

  Show description for 98a0c0b
  

  dwightguth

  authored
  98a0c0b

  Copy full SHA for 98a0c0b

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

• Fix k-configure-opam-dev script opam install stdin issue (#680)

  shd101wyy

  authored
  ef1c6b7

  Copy full SHA for ef1c6b7

Commits on Jan 29, 2018

• update install instructions (#668)

  Show description for bee58bc
  

  dwightguth

  authored
  bee58bc

  Copy full SHA for bee58bc

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 19, 2017

• Test the new rv-error (with updates from RV-Predict) on RV-Match (#610)

  Show description for 48c7e2c
  

  gnuoyd

  authored and

  chathhorn

  committed
  48c7e2c

  Copy full SHA for 48c7e2c

Commits on Dec 14, 2017

• fix checkJava so k-bin-to-text works without kserver (#637)

  

  dwightguth

  authored
  f4609ff

  Copy full SHA for f4609ff

Commits on Sep 28, 2017

• fix ocaml warnings and change build system to mark most ocaml warning… (#511)

  Show description for ae144b9
  

  dwightguth

  authored
  ae144b9

  Copy full SHA for ae144b9

Commits on Sep 6, 2017

• Local vars re reloaded (#513)

  Show description for 1cc3c0a
  

  traiansf

  authored and

  dwightguth

  committed
  1cc3c0a

  Copy full SHA for 1cc3c0a