Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

Commits on Apr 15, 2019

• fix bug in FrontEnd involving --help and FileUtil (#411)

  

  dwightguth

  authored and

  ehildenb

  committed
  7a4e805

  Copy full SHA for 7a4e805

Commits on Apr 3, 2019

• kompile flag to generate time to parse each rule (#378)

  Show description for 3a45a4f
  

  dwightguth

  authored
  3a45a4f

  Copy full SHA for 3a45a4f

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 Dec 10, 2018

• nicer messages (#220)

  

  h0nzZik

  authored and

  dwightguth

  committed
  9718a99

  Copy full SHA for 9718a99

Commits on Nov 12, 2018

• Fix Array sort for Haskell and LLVM backends (#187)

  Show description for 898d39c
  

  dwightguth

  authored
  898d39c

  Copy full SHA for 898d39c

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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 Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Jan 18, 2016

• rm start symbol from CompiledDefinition constr.

  Show description for aa33f3d
  cos

  committed
  aa33f3d

  Copy full SHA for aa33f3d

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 Dec 30, 2015

• update kdoc skeleton for new pipeline

  Show description for fe1eda9
  

  Dwight Guth

  committed
  fe1eda9

  Copy full SHA for fe1eda9

Commits on Nov 30, 2015

• add kdep tool to assist with makefiles

  Show description for 8c32ed2
  

  Dwight Guth

  committed
  8c32ed2

  Copy full SHA for 8c32ed2

Commits on Nov 4, 2015

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Sep 1, 2015

• add backend-specific pipeline

  Show description for e623a20
  

  Dwight Guth

  committed
  e623a20

  Copy full SHA for e623a20

Commits on Jun 17, 2015

• Adding timing messages for verbosity level.

  Show description for 9680875
  radumereuta

  committed
  9680875

  Copy full SHA for 9680875

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

• a bit of clean-up

  Show description for e9a17d4
  cos

  committed
  e9a17d4

  Copy full SHA for e9a17d4

Commits on Apr 21, 2015

• cache parsing + other optimizations for incremental parsing

  Show description for 1400b1f
  

  Dwight Guth

  committed
  1400b1f

  Copy full SHA for 1400b1f

Commits on Mar 19, 2015

• fix invalid caching of FileUtil

  Show description for bbd8024
  

  Dwight Guth

  committed
  bbd8024

  Copy full SHA for bbd8024

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 Nov 21, 2014

• close some memory leaks involving nailgun

  Show description for 191f0ec
  

  Dwight Guth

  committed
  191f0ec

  Copy full SHA for 191f0ec

Commits on Nov 6, 2014

• refactor k to generate posters from compiled definitions

  Show description for b6cc722
  

  Dwight Guth

  committed
  b6cc722

  Copy full SHA for b6cc722

Commits on Nov 5, 2014

• move locations from Context to Definition. handle Definition serialization/deserialization.

  Show description for 62e52dc
  osa1

  committed
  62e52dc

  Copy full SHA for 62e52dc

• move statistics state from Context to CountNodesVisitor

  Show description for 408fe11
  osa1

  committed
  408fe11

  Copy full SHA for 408fe11

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading