Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Mar 23, 2016

• rough draft of native call test suite

  

  Dwight Guth

  committed
  8b2402e

  Copy full SHA for 8b2402e

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

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Jan 4, 2016

• use absolute path to os-specific script for default krun parser

  Show description for c540da9
  

  Dwight Guth

  committed
  c540da9

  Copy full SHA for c540da9

Commits on Dec 7, 2015

• strategies working for the basic case -- without state recovery

  Show description for 64a1e5c
  cos

  committed
  64a1e5c

  Copy full SHA for 64a1e5c

Commits on Nov 20, 2015

• more optimizations

  Show description for b14bece
  

  Dwight Guth

  committed
  b14bece

  Copy full SHA for b14bece

Commits on Nov 4, 2015

• refactor generated-top

  Show description for e068830
  cos

  committed
  e068830

  Copy full SHA for e068830

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Oct 19, 2015

• support -L and linking against static archives

  Show description for e1fa20c
  

  Dwight Guth

  committed
  e1fa20c

  Copy full SHA for e1fa20c

Commits on Sep 11, 2015

• seachtype capability

  Show description for 9d03fa5
  msaxena2

  committed
  9d03fa5

  Copy full SHA for 9d03fa5

Commits on Sep 9, 2015

• some refactoring regarding printing

  Show description for 712f89a
  msaxena2

  committed
  712f89a

  Copy full SHA for 712f89a

Commits on Sep 5, 2015

• WIP on search

  Show description for 091a099
  msaxena2

  committed
  091a099

  Copy full SHA for 091a099

Commits on Aug 19, 2015

• move native libraries code to kernel + add functionality for it to ocaml backend

  Show description for 6f95cb0
  

  Dwight Guth

  committed
  6f95cb0

  Copy full SHA for 6f95cb0

Commits on Aug 14, 2015

• several optimizations to startup time for OCAML backend

  Show description for a83d9d2
  

  Dwight Guth

  committed
  a83d9d2

  Copy full SHA for a83d9d2

Commits on Aug 6, 2015

• Documentation fix for krun -p option

  Show description for 670c74d
  bmmoore

  committed
  670c74d

  Copy full SHA for 670c74d

Commits on Jul 30, 2015

• Support IO operations for KORE pipeline

  Show description for bbccb82
  daejunpark

  committed
  bbccb82

  Copy full SHA for bbccb82

Commits on Jun 8, 2015

• first revision of ocaml backend

  Show description for eed1405
  

  Dwight Guth

  committed
  eed1405

  Copy full SHA for eed1405

Commits on May 8, 2015

• rule initializers

  Show description for 6182f23
  

  Dwight Guth

  committed
  6182f23

  Copy full SHA for 6182f23

Commits on May 7, 2015

• kast with new pipeline + external parsers + resolve anonymous vars + misc

  Show description for 92a21ee
  

  Dwight Guth

  committed
  92a21ee

  Copy full SHA for 92a21ee

Commits on May 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258

Commits on Apr 30, 2015

• finish most of kompile frontend + add hook for krun frontend

  Show description for a869867
  

  Dwight Guth

  committed
  a869867

  Copy full SHA for a869867

Commits on Feb 23, 2015

• Merge branch 'master' into scope

  Show description for 4681415
  

  Dwight Guth

  committed
  4681415

  Copy full SHA for 4681415

• fix #1353: update --output help message

  Show description for 94c3cb2
  

  Dwight Guth

  committed
  94c3cb2

  Copy full SHA for 94c3cb2

Commits on Jan 20, 2015

• Merge branch 'master' into scope

  Show description for a333075
  

  Dwight Guth

  committed
  a333075

  Copy full SHA for a333075

Commits on Jan 7, 2015

• exit code

  Show description for 92adac4
  

  Dwight Guth

  committed
  92adac4

  Copy full SHA for 92adac4

Commits on Jan 2, 2015

• add better guice scoping in order to share definition deserialization across invocations in a server

  Show description for 992230d
  

  Dwight Guth

  committed
  992230d

  Copy full SHA for 992230d

• 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 Dec 12, 2014

• Add --coverage-file option

  Show description for dfaeae3
  daejunpark

  committed
  dfaeae3

  Copy full SHA for dfaeae3

Commits on Nov 19, 2014

• Bug fixes in --pattern-matching + increased error logging

  Show description for 4e82e34
  

  Dwight Guth

  committed
  4e82e34

  Copy full SHA for 4e82e34

Commits on Nov 7, 2014

• merge regression tests into single definition for faster execution

  Show description for a1e56a8
  

  Dwight Guth

  committed
  a1e56a8

  Copy full SHA for a1e56a8