Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on Mar 29, 2017

• some performance optimizations to kompile (#416)

  

  dwightguth

  authored
  097e611

  Copy full SHA for 097e611

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 Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Jan 17, 2016

• change super-strict to transition

  Show description for 90aeab0
  andreistefanescu

  committed
  90aeab0

  Copy full SHA for 90aeab0

Commits on Jan 15, 2016

• rename superheat to super-strict; remove supercool

  Show description for 6c61a30
  andreistefanescu

  committed
  6c61a30

  Copy full SHA for 6c61a30

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 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 17, 2015

• Merge remote-tracking branch 'origin/master' into feature/pattern-match-automaton

  Show description for 79044e4
  cos

  committed
  79044e4

  Copy full SHA for 79044e4

Commits on Nov 16, 2015

• add --no-prelude flag

  Show description for 07da538
  

  Dwight Guth

  committed
  07da538

  Copy full SHA for 07da538

Commits on Nov 13, 2015

• add -I flag to add directory to search path

  Show description for 6c921bd
  

  Dwight Guth

  committed
  6c921bd

  Copy full SHA for 6c921bd

Commits on Nov 4, 2015

• Merge remote-tracking branch 'remotes/dwightguth/kilkill2' into feature/pattern-match-automaton

  Show description for 3115d56
  cos

  committed
  3115d56

  Copy full SHA for 3115d56

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Oct 21, 2015

• add --kore-prove flag

  Show description for 653d5e1
  

  andreistefanescu

  authored and

  cos

  committed
  653d5e1

  Copy full SHA for 653d5e1

Commits on Aug 4, 2015

• fix yilong's comments

  Show description for dab32b5
  

  Dwight Guth

  committed
  dab32b5

  Copy full SHA for dab32b5

Commits on Jul 31, 2015

• fix race in KompileOptions.files

  Show description for edef4ef
  

  Dwight Guth

  committed
  edef4ef

  Copy full SHA for edef4ef

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 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258

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

• Merge branch 'master' into scope

  Show description for 4681415
  

  Dwight Guth

  committed
  4681415

  Copy full SHA for 4681415

• fix #1354 - another help message inconsistency

  Show description for f253c13
  

  Dwight Guth

  committed
  f253c13

  Copy full SHA for f253c13

Commits on Jan 27, 2015

• Merge branch 'master' into scope

  Show description for 330bb6e
  

  Dwight Guth

  committed
  330bb6e

  Copy full SHA for 330bb6e

Commits on Jan 22, 2015

• Removing all traces of the new parser which worked with KIL.

  Show description for 47312c0
  radumereuta

  committed
  47312c0

  Copy full SHA for 47312c0

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 9, 2015

• update help message

  Show description for 8cf0421
  

  Dwight Guth

  committed
  8cf0421

  Copy full SHA for 8cf0421

Commits on Jan 8, 2015

• change default output to directory of source file instead of working directory

  Show description for 402ef30
  

  Dwight Guth

  committed
  402ef30

  Copy full SHA for 402ef30

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 8, 2014

• Amending some of Dwight's comments. Adding back the tests.

  Show description for 0d2937d
  radumereuta

  committed
  0d2937d

  Copy full SHA for 0d2937d

Commits on Nov 21, 2014

• Merge remote-tracking branch 'origin/master' into feature/KORE-convertors

  Show description for cb77c25
  cos

  committed
  cb77c25

  Copy full SHA for cb77c25

Commits on Nov 20, 2014

• Somehow I forgot to rename the field.

  Show description for efa6a44
  radumereuta

  committed
  efa6a44

  Copy full SHA for efa6a44

• Renaming options and optimizing generated parsers.

  Show description for 325d8a8
  radumereuta

  committed
  325d8a8

  Copy full SHA for 325d8a8

• Adding option for parseInModule since it takes so long for some definitions.

  Show description for edcebbc
  radumereuta

  committed
  edcebbc

  Copy full SHA for edcebbc

Commits on Nov 19, 2014

• add test compiler the inner using SDF

  Show description for 6ea9ba4
  cos

  committed
  6ea9ba4

  Copy full SHA for 6ea9ba4