Commits

Breadcrumbs

History for

onac-unification

User selector

All users

All time

Commit History

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