Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on Feb 8, 2018

• add proof regression test and fix z3 library to use JNA (#695)

  Show description for 90facd6
  

  dwightguth

  authored
  90facd6

  Copy full SHA for 90facd6

Commits on Feb 7, 2018

• Verification (#683)

  Show description for 9c115ca
  

  daejunpark

  authored and

  dwightguth

  committed
  9c115ca

  Copy full SHA for 9c115ca

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

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 Nov 17, 2016

• delete a bunch of stuff (#295)

  Show description for 2f2e734
  

  dwightguth

  authored
  2f2e734

  Copy full SHA for 2f2e734

Commits on Dec 24, 2015

• wip

  Show description for 3a849b7
  andreistefanescu

  committed
  3a849b7

  Copy full SHA for 3a849b7

Commits on Sep 29, 2015

• add support for binder in kore pipeline

  Show description for 30a6d26
  andreistefanescu

  committed
  30a6d26

  Copy full SHA for 30a6d26

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 Apr 23, 2015

• Float2String(Float, String)

  Show description for 40199b8
  

  Dwight Guth

  committed
  40199b8

  Copy full SHA for 40199b8

Commits on Mar 27, 2015

• add back random hook

  Show description for 2f69917
  

  Dwight Guth

  committed
  2f69917

  Copy full SHA for 2f69917

Commits on Mar 13, 2015

• fix misnamed hook

  Show description for cd15cd6
  

  Dwight Guth

  committed
  cd15cd6

  Copy full SHA for cd15cd6

Commits on Feb 2, 2015

• add #configuration builtin

  Show description for 55987e4
  

  Dwight Guth

  committed
  55987e4

  Copy full SHA for 55987e4

Commits on Dec 26, 2014

• add new floating point function

  Show description for 1a61645
  

  Dwight Guth

  committed
  1a61645

  Copy full SHA for 1a61645

Commits on Sep 29, 2014

• separate java backend out into separate maven module / k plugin

  Show description for 1991571
  

  Dwight Guth

  committed
  1991571

  Copy full SHA for 1991571

Loading