Commits

History for

onupdate-haskell

Commits on Jul 25, 2019

Update dependencies + Debian Buster (#640)

dwightguth
authored and
ehildenb
committed

Commits on Jul 22, 2019

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

dwightguth
authored and
ehildenb
committed

Commits on Jul 9, 2019

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

Commits on Jul 3, 2019

KBMC (#545)

yzhang90
authored and
dwightguth
committed

Commits on Jun 26, 2019

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

Commits on May 6, 2019

Bug fixes for kore generation and also a new test harness for testing generated kore (#441)
dwightguth
authored

Commits on Apr 29, 2019

build and deploy k on arch linux (#385)

dwightguth
authored and
ehildenb
committed

Commits on Apr 15, 2019

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

dwightguth
authored and
ehildenb
committed

Commits on Apr 8, 2019

Strategy language updates (#393)

ehildenb
authored and
dwightguth
committed

Commits on Apr 5, 2019

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

Commits on Jan 30, 2019

Build Haskell backend as a submodule, hook into Maven (#228)
ehildenb
authored

Commits on Jan 23, 2019

Build debian package (#262)
dwightguth
authored
fix bug with parsing of NaN and Infinity in modules with identifiers (#247)
dwightguth
authored

Commits on Jan 11, 2019

Build llvm backend into k (#226)
dwightguth
authored

Commits on Dec 27, 2018

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

ehildenb
authored and
dwightguth
committed

Commits on Dec 13, 2018

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

h0nzZik
authored and
dwightguth
committed

Commits on Nov 6, 2018

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

h0nzZik
authored and
yzhang90
committed

Commits on Aug 15, 2018

better fix for java 10 issue (#135)
dwightguth
authored

Commits on Jul 26, 2018

fixes #105 (#126)
dwightguth
authored

Commits on Jul 25, 2018

fix version check in checkJava (#124)
dwightguth
authored

Commits on Jul 19, 2018

Windows support for kompile and kprove. (#119)

denis-bogdanas
authored and
dwightguth
committed

Commits on Jun 15, 2018

4.06.1+k+spacetime (#100)
dwightguth
authored

Commits on Jun 6, 2018

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

Commits on Jun 5, 2018

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

Commits on Jun 1, 2018

IMP in KORE (#89)
dwightguth
authored

Commits on May 21, 2018

Improve performance of coverage tool (#68)
dwightguth
authored

Commits on May 15, 2018

Rule coverage tool for K (#66)
dwightguth
authored

Commits on May 8, 2018

*: fix copyrights
Everett Hildenbrandt
committed

Commits on Mar 2, 2018

Allow prover to parse multiple modules (#753)
dwightguth
authored

Commits on Feb 28, 2018

fix #702 (#754)
dwightguth
authored

Commits on Feb 16, 2018

fix mvn verify for k subtree (#708)
dwightguth
authored

Commits on Feb 6, 2018

Improvements in Unparsing (#674)

dwightguth
authored and
chathhorn
committed

Commits on Feb 5, 2018

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

Commits on Jan 30, 2018

RV-K tutorial exercises (#662)
dwightguth
authored

Commits on Jan 29, 2018

update install instructions (#668)
dwightguth
authored