Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 16, 2020

• kernel: KProveOptions: --concrete-rules is now implemented in front-end (#1010)

  Show description for e918a11
  denis-bogdanas

  authored
  e918a11

  Copy full SHA for e918a11

Commits on Nov 27, 2019

• add --concrete-rules option (#935)

  Show description for b0b7ee6
  

  daejunpark

  authored and

  denis-bogdanas

  committed
  b0b7ee6

  Copy full SHA for b0b7ee6

Commits on Oct 18, 2019

• Added attributes for distinguishing claims (#842)

  Show description for 431c8fd
  traiansf

  authored
  431c8fd

  Copy full SHA for 431c8fd

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 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 Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

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

• change super-strict to transition

  Show description for 90aeab0
  andreistefanescu

  committed
  90aeab0

  Copy full SHA for 90aeab0

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

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

• added tag for subsort flattening in smt

  Show description for 096c717
  andreistefanescu

  committed
  096c717

  Copy full SHA for 096c717

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 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 Mar 31, 2015

• added comm trigger for AC matching.

  Show description for a8740ef
  traiansf

  committed
  a8740ef

  Copy full SHA for a8740ef

• assoc attribute for function rule -> AC matcher.

  Show description for 7866821
  traiansf

  committed
  7866821

  Copy full SHA for 7866821

Commits on Jan 2, 2015

• 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 29, 2014

• term construction abstract machine

  Show description for 0146c15
  

  Dwight Guth

  committed
  0146c15

  Copy full SHA for 0146c15

Commits on Dec 15, 2014

• fixes for java backend productions that represent klabel constants

  Show description for a1ee56f
  

  Dwight Guth

  committed
  a1ee56f

  Copy full SHA for a1ee56f

Commits on Nov 17, 2014

• improved handling of pattern folding rules for cell data structures

  Show description for 25a7ab8
  andreistefanescu

  committed
  25a7ab8

  Copy full SHA for 25a7ab8

Commits on Oct 30, 2014

• implemented [trusted] attribute for the ml prover

  Show description for 12bb1a3
  

  Yilong Li

  committed
  12bb1a3

  Copy full SHA for 12bb1a3

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading