Commits

Breadcrumbs

History for

onac-unification

User selector

All users

All time

Commit History

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