Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on May 28, 2019

• Concretize cells on poly production (#498)

  Show description for 6a15ae9
  yzhang90

  authored
  6a15ae9

  Copy full SHA for 6a15ae9

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 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 Mar 13, 2017

• Revert "Revert "overloading operators + default constructor + misc fi… (#400)

  Show description for 8763915
  

  dwightguth

  authored
  8763915

  Copy full SHA for 8763915

• Revert "overloading operators + default constructor + misc fixes (#397)"

  Show description for 1b0a86f
  

  Dwight Guth

  committed
  1b0a86f

  Copy full SHA for 1b0a86f

• overloading operators + default constructor + misc fixes (#397)

  Show description for 95b4d3a
  

  dwightguth

  authored
  95b4d3a

  Copy full SHA for 95b4d3a

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

• make scala collections use uniform

  Show description for 46a2ba9
  cos

  committed
  46a2ba9

  Copy full SHA for 46a2ba9

Commits on Oct 21, 2015

• Allow cell bag union labels in SortCells

  Show description for 7ec4be1
  bmmoore

  committed
  7ec4be1

  Copy full SHA for 7ec4be1

Commits on Sep 18, 2015

• Merge remote-tracking branch 'upstream/master' into kore2

  Show description for 8149233
  andreistefanescu

  committed
  8149233

  Copy full SHA for 8149233

Commits on Sep 15, 2015

• --prove works with --kore for bst find

  Show description for d7a9d66
  andreistefanescu

  committed
  d7a9d66

  Copy full SHA for d7a9d66

Commits on Sep 11, 2015

• split K cell wrapping from adding the top cell

  Show description for fff6ec9
  cos

  committed
  fff6ec9

  Copy full SHA for fff6ec9

Commits on Sep 2, 2015

• CellCollection tracks cell sort information

  Show description for 94bc605
  andreistefanescu

  committed
  94bc605

  Copy full SHA for 94bc605

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

  Show description for 9ce6260
  andreistefanescu

  committed
  9ce6260

  Copy full SHA for 9ce6260

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

• add extra information for kore in definition

  Show description for eb46185
  andreistefanescu

  committed
  eb46185

  Copy full SHA for eb46185

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

• fix brandon's comments

  Show description for 7725da1
  

  Dwight Guth

  committed
  7725da1

  Copy full SHA for 7725da1

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 May 18, 2015

• fix brandon's comments

  Show description for 9e27367
  

  Dwight Guth

  committed
  9e27367

  Copy full SHA for 9e27367

Commits on Apr 23, 2015

• fix configuration abstraction for c + tests + minor fixes

  Show description for dcde10c
  

  Dwight Guth

  committed
  dcde10c

  Copy full SHA for dcde10c

Commits on Apr 13, 2015

• move java classes from /scala to /java

  Show description for ec2449a
  cos

  committed
  ec2449a

  Copy full SHA for ec2449a

Loading