Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

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 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

Commits on Nov 4, 2015

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

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 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 3, 2014

• Rename all the _ to _void to stop the warnings from the compiler.

  Show description for 51fd63b
  radumereuta

  committed
  51fd63b

  Copy full SHA for 51fd63b

Commits on Dec 2, 2014

• Merge pull request #1210 from radumereuta/moduleContext

  Show description for 439fdb1
  radumereuta

  committed
  439fdb1

  Copy full SHA for 439fdb1

Commits on Dec 1, 2014

• Reorganizing a bit the autoimports. Hopefully to a cleaner solution.

  Show description for 6c22bce
  radumereuta

  committed
  6c22bce

  Copy full SHA for 6c22bce

• Adding DefinitionContext, and cleaning up Definition.

  Show description for c91624d
  radumereuta

  committed
  c91624d

  Copy full SHA for c91624d

• fixes based on feedback

  Show description for 4488eb3
  cos

  committed
  4488eb3

  Copy full SHA for 4488eb3

Commits on Nov 26, 2014

• fix all tests

  Show description for e275bb7
  cos

  committed
  e275bb7

  Copy full SHA for e275bb7

Commits on Nov 21, 2014

• Added more checks, and fixed module inclusion circularity.

  Show description for 2b6d01e
  radumereuta

  committed
  2b6d01e

  Copy full SHA for 2b6d01e

Commits on Nov 6, 2014

• refactor k to generate posters from compiled definitions

  Show description for b6cc722
  

  Dwight Guth

  committed
  b6cc722

  Copy full SHA for b6cc722

Commits on Nov 5, 2014

• move locations from Context to Definition. handle Definition serialization/deserialization.

  Show description for 62e52dc
  osa1

  committed
  62e52dc

  Copy full SHA for 62e52dc

• remove intialized flag

  Show description for 5f0d3b7
  osa1

  committed
  5f0d3b7

  Copy full SHA for 5f0d3b7

• move statistics state from Context to CountNodesVisitor

  Show description for 408fe11
  osa1

  committed
  408fe11

  Copy full SHA for 408fe11

Commits on Nov 4, 2014

• Fixing #1153.

  Show description for c52e15a
  radumereuta

  committed
  c52e15a

  Copy full SHA for c52e15a

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading