Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

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

• fix llvm backend in debian package (#366)

  Show description for a9ab98c
  

  dwightguth

  authored
  a9ab98c

  Copy full SHA for a9ab98c

Commits on Feb 5, 2019

• Build Debian Package on Xenial and Stretch (#274)

  Show description for 167f3f6
  

  dwightguth

  authored
  167f3f6

  Copy full SHA for 167f3f6

Commits on Jan 24, 2019

• initial commit of experimental jenkins pipeline (#264)

  Show description for da20eba
  

  dwightguth

  authored
  da20eba

  Copy full SHA for da20eba

Commits on Jan 23, 2019

• Build debian package (#262)

  Show description for 2cf7d45
  

  dwightguth

  authored
  2cf7d45

  Copy full SHA for 2cf7d45

• 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 Jan 11, 2019

• Build llvm backend into k (#226)

  Show description for 3a99d12
  

  dwightguth

  authored
  3a99d12

  Copy full SHA for 3a99d12

Commits on Jan 7, 2019

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

  Show description for 745bf3c
  

  ehildenb

  authored and

  dwightguth

  committed
  745bf3c

  Copy full SHA for 745bf3c

Commits on Dec 28, 2018

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

  

  ehildenb

  authored and

  dwightguth

  committed
  6bc147f

  Copy full SHA for 6bc147f

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 Oct 8, 2018

• update nightly release with new ci params

  

  Dwight Guth

  committed
  7965762

  Copy full SHA for 7965762

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

• src/main/config/checkstyle-copyright: fix copyright checkstyle regexps

  

  Everett Hildenbrandt

  committed
  260c8ca

  Copy full SHA for 260c8ca

Commits on Feb 27, 2018

• Fix installer console mode bug (#742)

  Show description for d1517e5
  shd101wyy

  authored
  d1517e5

  Copy full SHA for d1517e5

Commits on Feb 16, 2018

• fix nightly release script after repo moved (#727)

  

  dwightguth

  authored
  617cf3f

  Copy full SHA for 617cf3f

Commits on Feb 12, 2018

• more escaping fixes to nightly release for k

  

  Dwight Guth

  committed
  babeea3

  Copy full SHA for babeea3

• fix nightly-release script

  

  Dwight Guth

  committed
  02ea0eb

  Copy full SHA for 02ea0eb

Commits on Feb 9, 2018

• fix broken ktest (#699)

  Show description for 12c80e6
  

  dwightguth

  authored
  12c80e6

  Copy full SHA for 12c80e6

Commits on Feb 8, 2018

• fix bug in nightly-release script (#694)

  

  dwightguth

  authored
  9296b58

  Copy full SHA for 9296b58

Commits on Feb 7, 2018

• update install instructions and fix release process (#676)

  Show description for be4d67d
  

  dwightguth

  authored
  be4d67d

  Copy full SHA for be4d67d

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 7, 2016

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

Commits on Jan 6, 2016

• copyright year to 2015 => 2016

  Show description for 14db0f5
  cos

  committed
  14db0f5

  Copy full SHA for 14db0f5

Commits on Jul 10, 2015

• more tweaks to ocaml: many C programs now compile and execute

  Show description for 09d9f37
  

  Dwight Guth

  committed
  09d9f37

  Copy full SHA for 09d9f37

Commits on Jan 2, 2015

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Dec 15, 2014

• remove all references to maude backend and make java the default

  Show description for 0b1e5cd
  

  Dwight Guth

  committed
  0b1e5cd

  Copy full SHA for 0b1e5cd

Commits on Nov 26, 2014

• add javaBackendHooks method to AbstractKModule + clean up BuiltinFunction code

  Show description for ec7762e
  

  Dwight Guth

  committed
  ec7762e

  Copy full SHA for ec7762e

Commits on Oct 27, 2014

• Learning by trying...

  Show description for 00e83cc
  radumereuta

  committed
  00e83cc

  Copy full SHA for 00e83cc

• Suppressor, one more time...

  Show description for 156c401
  radumereuta

  committed
  156c401

  Copy full SHA for 156c401

• Adding warning suppressors for the RuntimeException from SDF parser.

  Show description for eaeacf5
  radumereuta

  committed
  eaeacf5

  Copy full SHA for eaeacf5

Commits on Sep 25, 2014

• relax copyright restrictions for file extensions not part of main code base

  Show description for c6299fe
  

  Dwight Guth

  committed
  c6299fe

  Copy full SHA for c6299fe

• fix copyright

  Show description for d7248af
  

  Dwight Guth

  committed
  d7248af

  Copy full SHA for d7248af

• rename files

  Show description for 728a750
  

  Dwight Guth

  committed
  728a750

  Copy full SHA for 728a750

Commits on Sep 24, 2014

• Merge pull request #983 from yilongli/fixing-issue-981

  Show description for 4e1c764
  

  Yilong Li

  committed
  4e1c764

  Copy full SHA for 4e1c764