Commits

History for

onconcretize-specs

Commits on Feb 5, 2019

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

Commits on Jan 24, 2019

initial commit of experimental jenkins pipeline (#264)
dwightguth
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 Jan 7, 2019

Make Jenkins testing script runnable locally without Jenkins environment setup (#237)

ehildenb
authored and
dwightguth
committed

Commits on Dec 28, 2018

src/.../scripts/jenkins: switch over to exactly jenkins script (#236)

ehildenb
authored and
dwightguth
committed

Commits on Dec 27, 2018

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

ehildenb
authored and
dwightguth
committed

Commits on Oct 8, 2018

update nightly release with new ci params
Dwight Guth
committed

Commits on May 8, 2018

*: fix copyrights
Everett Hildenbrandt
committed

Commits on Feb 16, 2018

fix nightly release script after repo moved (#727)
dwightguth
authored

Commits on Feb 12, 2018

more escaping fixes to nightly release for k
Dwight Guth
committed
fix nightly-release script
Dwight Guth
committed

Commits on Feb 9, 2018

fix broken ktest (#699)
dwightguth
authored

Commits on Feb 8, 2018

fix bug in nightly-release script (#694)
dwightguth
authored

Commits on Feb 7, 2018

update install instructions and fix release process (#676)
dwightguth
authored

Commits on Jan 30, 2018

RV-K tutorial exercises (#662)
dwightguth
authored

Commits on Jan 7, 2016

fix copyright
Dwight Guth
committed

Commits on Jul 10, 2015

more tweaks to ocaml: many C programs now compile and execute
Dwight Guth
committed

Commits on Jan 2, 2015

update copyright for 2015 + update copyright on often-modified files
Dwight Guth
committed

Commits on Sep 25, 2014

fix copyright
Dwight Guth
committed
rename files
Dwight Guth
committed

Commits on Sep 12, 2014

fix spaces on linux
Dwight Guth
committed
add quotes to PATH in batch scripts
Dwight Guth
committed
refactor build system to use maven - change code files to make build system work
Dwight Guth
committed
refactor build system to use maven - moving all files
Dwight Guth
committed

Commits on Aug 5, 2014

Replace literal CR with escape sequence
bmmoore
committed

Commits on Jul 18, 2014

create whitespace script to ease transition
Dwight Guth
committed

Commits on May 13, 2014

fix tiny bug in copyright script
Dwight Guth
committed
fix Andrei S's comments
Dwight Guth
committed
add copyright script
Dwight Guth
committed

Loading