Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Jul 4, 2019

• Non-recursive and recursive macros, plus macros applied to tokens. (#592)

  Show description for dadcda0
  

  dwightguth

  authored
  dadcda0

  Copy full SHA for dadcda0

Commits on Jun 11, 2019

• Add `injective` to constructor-like Kore symbols (#513)

  Show description for 89aeace
  ttuegel

  authored
  89aeace

  Copy full SHA for 89aeace

Commits on May 9, 2019

• Allowing non-rewrite claims; proper encoding for ML binders (#452)

  Show description for 8837bbf
  traiansf

  authored
  8837bbf

  Copy full SHA for 8837bbf

Commits on Apr 8, 2019

• kore/Att.hashCode fix (#386)

  Show description for cebb9ab
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  cebb9ab

  Copy full SHA for cebb9ab

Commits on Mar 22, 2019

• Added smt-hook attribute (#365)

  Show description for 9e09af6
  traiansf

  authored
  9e09af6

  Copy full SHA for 9e09af6

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 Jan 21, 2019

• Adding simplification attribute to non-constructor-based equalities (#250)

  traiansf

  authored
  6c42cd3

  Copy full SHA for 6c42cd3

Commits on Oct 26, 2018

• add [matching] attribute (#168)

  Show description for 7130bbf
  

  daejunpark

  authored and

  dwightguth

  committed
  7130bbf

  Copy full SHA for 7130bbf

Commits on Oct 11, 2018

• add [proj] attribute (#55)

  Show description for 952843c
  

  daejunpark

  authored and

  dwightguth

  committed
  952843c

  Copy full SHA for 952843c

Commits on Oct 10, 2018

• add [smt-prelude] attribute (#166)

  Show description for 89c8939
  

  daejunpark

  authored and

  dwightguth

  committed
  89c8939

  Copy full SHA for 89c8939

Commits on Aug 8, 2018

• Update K to generate kore from IELE (#125)

  Show description for 05b915a
  

  dwightguth

  authored
  05b915a

  Copy full SHA for 05b915a

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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