Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on May 7, 2018

• add [proj] attribute

  daejunpark

  committed
  5a5b6e0

  Copy full SHA for 5a5b6e0

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

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 Dec 5, 2016

• Add name field to nonterminals and create record-like productions (#297)

  Show description for ddaa003
  

  dwightguth

  authored
  ddaa003

  Copy full SHA for ddaa003

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 Sep 29, 2016

• Added support for different precision floats. (#251)

  Show description for df4a65f
  

  traiansf

  authored and

  dwightguth

  committed
  df4a65f

  Copy full SHA for df4a65f

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

Commits on Jan 17, 2016

• change super-strict to transition

  Show description for 90aeab0
  andreistefanescu

  committed
  90aeab0

  Copy full SHA for 90aeab0

• Merge remote-tracking branch 'upstream/master' into feature/super-strict

  Show description for b130d3a
  andreistefanescu

  committed
  b130d3a

  Copy full SHA for b130d3a

Commits on Jan 16, 2016

• wip

  Show description for 8eae1ac
  andreistefanescu

  committed
  8eae1ac

  Copy full SHA for 8eae1ac

Commits on Jan 15, 2016

• rename superheat to super-strict; remove supercool

  Show description for 6c61a30
  andreistefanescu

  committed
  6c61a30

  Copy full SHA for 6c61a30

• remove quote througout

  Show description for 1902c82
  cos

  committed
  1902c82

  Copy full SHA for 1902c82

• Remove quote in front of generated KLabels.

  Show description for 834f2a4
  radumereuta

  committed
  834f2a4

  Copy full SHA for 834f2a4

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 Nov 5, 2015

• fragile...

  Show description for 8c574d0
  cos

  committed
  8c574d0

  Copy full SHA for 8c574d0

• not using constant anymore

  Show description for 7b7cad7
  cos

  committed
  7b7cad7

  Copy full SHA for 7b7cad7

Commits on Nov 4, 2015

• use KLabels.TOP_CELL constant everywhere

  Show description for 4a22037
  cos

  committed
  4a22037

  Copy full SHA for 4a22037

• refactor generated-top

  Show description for e068830
  cos

  committed
  e068830

  Copy full SHA for e068830

• deletions

  Show description for e8db164
  

  Dwight Guth

  committed
  e8db164

  Copy full SHA for e8db164

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Aug 31, 2015

• Revert "added support for cells with multiplicity=* in the kore to java-backe…"

  Show description for a5c05c5
  

  dwightguth

  committed
  a5c05c5

  Copy full SHA for a5c05c5

Commits on Aug 19, 2015

• added support for cells with multiplicity=* in the kore to java-backend translation

  Show description for 2c97b95
  andreistefanescu

  committed
  2c97b95

  Copy full SHA for 2c97b95

Commits on Aug 14, 2015

• rename the subsort instead of the supersort

  Show description for cbe32f3
  andreistefanescu

  committed
  cbe32f3

  Copy full SHA for cbe32f3

Commits on Aug 12, 2015

• added tag for subsort flattening in smt

  Show description for 096c717
  andreistefanescu

  committed
  096c717

  Copy full SHA for 096c717

Commits on Aug 8, 2015

• Merge pull request #1600 from yilongli/minor-refactoring

  Show description for 4f6cf9d
  

  Yilong Li

  committed
  4f6cf9d

  Copy full SHA for 4f6cf9d

Commits on Aug 7, 2015

• fixed two more non-thread-safe caches in GenericToken

  Show description for a9fcbf7
  

  yilongli

  committed
  a9fcbf7

  Copy full SHA for a9fcbf7

• fix #1601 - change org.kframework.kil.KLabelConstant.cache to use ConcurrentHashMap

  Show description for 0760d06
  

  yilongli

  committed
  0760d06

  Copy full SHA for 0760d06

Commits on Aug 5, 2015

• Generate and use cell fragment sorts in kore.

  Show description for 39779a1
  bmmoore

  committed
  39779a1

  Copy full SHA for 39779a1

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

• Merge branch 'master' into fixPgmLists.

  Show description for 5afe087
  radumereuta

  committed
  5afe087

  Copy full SHA for 5afe087

Commits on Jun 9, 2015

• Partial work on refactoring the parser integration.

  Show description for 566312b
  radumereuta

  committed
  566312b

  Copy full SHA for 566312b

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

• remove some string constants

  Show description for f75d26d
  

  Dwight Guth

  committed
  f75d26d

  Copy full SHA for f75d26d

Commits on May 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258