Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Nov 2, 2019

• GlobalOptions: option --timeout, formatted as Duration object (#857)

  Show description for cad7c82
  denis-bogdanas

  authored
  cad7c82

  Copy full SHA for cad7c82

Commits on Jun 11, 2019

• fix bug in kompile -I (#536)

  

  dwightguth

  authored
  50d9f84

  Copy full SHA for 50d9f84

Commits on May 6, 2019

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

  Show description for 26604e2
  

  dwightguth

  authored
  26604e2

  Copy full SHA for 26604e2

Commits on Jan 23, 2019

• 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 Nov 22, 2018

• Z3 option change (#199)

  Show description for eee7ca5
  denis-bogdanas

  authored
  eee7ca5

  Copy full SHA for eee7ca5

Commits on Nov 9, 2018

• add #isVariable builtin (#182)

  Show description for b67eb81
  

  daejunpark

  authored and

  dwightguth

  committed
  b67eb81

  Copy full SHA for b67eb81

Commits on May 30, 2018

• Exponentiation (#85)

  Show description for 8e89d82
  

  dwightguth

  authored
  8e89d82

  Copy full SHA for 8e89d82

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

Commits on Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on Jan 7, 2016

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

Commits on Jan 5, 2016

• add javadoc

  Show description for 01665c9
  

  Dwight Guth

  committed
  01665c9

  Copy full SHA for 01665c9

• Merge branch 'master' into kdoc

  Show description for a6b5b5b
  

  Dwight Guth

  committed
  a6b5b5b

  Copy full SHA for a6b5b5b

Commits on Dec 30, 2015

• fix copyright

  Show description for a949d26
  

  Dwight Guth

  committed
  a949d26

  Copy full SHA for a949d26

• update kdoc skeleton for new pipeline

  Show description for fe1eda9
  

  Dwight Guth

  committed
  fe1eda9

  Copy full SHA for fe1eda9

Commits on Jul 31, 2015

• improvements on SMT translation

  Show description for f596eb3
  andreistefanescu

  committed
  f596eb3

  Copy full SHA for f596eb3

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 Oct 30, 2014

• refactor io in smt prelude

  Show description for 55eddd9
  

  Dwight Guth

  committed
  55eddd9

  Copy full SHA for 55eddd9

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading