Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

Commits on May 10, 2019

• don't add hook attribute or hooked- prefix to unknown hooks (#460)

  Show description for 1328e72
  

  dwightguth

  authored and

  ehildenb

  committed
  1328e72

  Copy full SHA for 1328e72

Commits on Apr 24, 2019

• Io extras (#403)

  Show description for bb35c45
  radumereuta

  authored
  bb35c45

  Copy full SHA for bb35c45

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

• add Set2List and List2Set (#158)

  Show description for 3d8714a
  

  dwightguth

  authored
  3d8714a

  Copy full SHA for 3d8714a

Commits on Jun 12, 2018

• add log2Int function to prelude (#98)

  Show description for d0b814b
  

  dwightguth

  authored
  d0b814b

  Copy full SHA for d0b814b

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

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