Commits

History for

onKReadClasswithKRun

Commits on Apr 29, 2019

Update k frontend to use new scala pattern matching code (#421)

dwightguth
authored and
ehildenb
committed

Commits on Apr 5, 2019

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

Commits on Feb 5, 2019

Build Debian Package on Xenial and Stretch (#274)
dwightguth
authored

Commits on Jan 30, 2019

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

Commits on Jan 25, 2019

Fix illegal reflective access warnings in Java 11 (#266)
dwightguth
authored

Commits on Jan 22, 2019

try fork of aws-maven
Dwight Guth
committed
fix master s3 url
Dwight Guth
committed

Commits on Jan 18, 2019

update to new s3 endpoint (#259)

dwightguth
authored and
ehildenb
committed

Commits on Jan 11, 2019

Build llvm backend into k (#226)
dwightguth
authored

Commits on Oct 2, 2018

LLVM backend (#159)
dwightguth
authored

Commits on Sep 18, 2018

Extracted kore functionality to a proper backend. (#147)

traiansf
authored and
dwightguth
committed

Commits on Aug 8, 2018

delete outdated API module (#129)
dwightguth
authored

Commits on Aug 6, 2018

Use Zalando's fork of aws-maven (#128)

asymmetric
authored and
dwightguth
committed

Commits on Jul 25, 2018

fix version check in checkJava (#124)
dwightguth
authored
add maven central as first repo to check (#123)
dwightguth
authored

Commits on Jun 1, 2018

IMP in KORE (#89)
dwightguth
authored

Commits on Feb 27, 2018

Fix installer console mode bug (#742)
shd101wyy
authored

Commits on Feb 14, 2018

open source ocaml backend (#712)
dwightguth
authored

Commits on Feb 8, 2018

Java 9 support (#686)
dwightguth
authored

Commits on Dec 22, 2017

Java backend in RV-K (#643)
dwightguth
authored
Update pom.xml to use aws s3 repositories (#649)

shd101wyy
authored and
dwightguth
committed

Commits on Dec 21, 2017

Revert "Revert "Migration to AWS S3 Phase 1: Update <distributionManagement> for deployment. "" (#648)

shd101wyy
authored and
dwightguth
committed

Commits on Dec 20, 2017

Revert "Update pom.xml to deploy to aws s3 (#644)" (#645)
shd101wyy
authored
Update pom.xml to deploy to aws s3 (#644)

shd101wyy
authored and
dwightguth
committed

Commits on May 11, 2017

delete coq backend from pom

Dwight Guth
authored and
bmmoore
committed

Commits on Apr 13, 2017

Treeviewer (#423)

bmmoore
authored and
dwightguth
committed

Commits on Nov 17, 2016

delete a bunch of stuff (#295)
dwightguth
authored

Commits on Apr 13, 2016

fix missing examples and csv entries (#148)
dwightguth
committed

Commits on Mar 16, 2016

k as submodule
Dwight Guth
committed

Commits on Feb 23, 2016

Merge pull request #13 from runtimeverification/tiny
dwightguth
committed

Commits on Feb 18, 2016

fix copyright
Dwight Guth
committed
update dependency plugin version
Dwight Guth
committed
fix copyright
Dwight Guth
committed

Commits on Feb 17, 2016

remove tiny backend -- speeds up mvn package
Dwight Guth
committed

Commits on Dec 28, 2015

API module
cos
committed