Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Apr 24, 2019

• Io extras (#403)

  Show description for bb35c45
  radumereuta

  authored
  bb35c45

  Copy full SHA for bb35c45

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

• deletions

  Show description for e8db164
  

  Dwight Guth

  committed
  e8db164

  Copy full SHA for e8db164

Commits on Sep 11, 2015

• seachtype capability

  Show description for 9d03fa5
  msaxena2

  committed
  9d03fa5

  Copy full SHA for 9d03fa5

Commits on Aug 13, 2015

• more changes to incorporate information regarding steps

  Show description for 603fef5
  msaxena2

  committed
  603fef5

  Copy full SHA for 603fef5

• working with optionals

  Show description for 904d7f4
  msaxena2

  committed
  904d7f4

  Copy full SHA for 904d7f4

• working on changing KRun States. Imp Checkpoint

  Show description for 8bf3548
  msaxena2

  committed
  8bf3548

  Copy full SHA for 8bf3548

Commits on Apr 14, 2015

• significant improvements to new parser

  Show description for fe66378
  

  Dwight Guth

  committed
  fe66378

  Copy full SHA for fe66378

Commits on Mar 23, 2015

• Merge pull request #1393 from traiansf/compact-graph

  Show description for 2069758
  

  dwightguth

  committed
  2069758

  Copy full SHA for 2069758

• Merge branch 'master' into compact-graph

  Show description for a2ff50a
  traiansf

  committed
  a2ff50a

  Copy full SHA for a2ff50a

• Fixed NPE

  Show description for 9a8e577
  traiansf

  committed
  9a8e577

  Copy full SHA for 9a8e577

Commits on Mar 20, 2015

• fix to not reconvert data when using --pattern or --exit-code

  Show description for bb0a912
  

  Dwight Guth

  committed
  bb0a912

  Copy full SHA for bb0a912

Commits on Mar 19, 2015

• fix invalid caching of FileUtil

  Show description for bbd8024
  

  Dwight Guth

  committed
  bbd8024

  Copy full SHA for bbd8024

Commits on Mar 10, 2015

• Extract graph functionality from ExecutorDebugger.

  Show description for dccbfd4
  traiansf

  committed
  dccbfd4

  Copy full SHA for dccbfd4

Commits on Feb 25, 2015

• fixed some whitespace bugs

  Show description for 17c00c1
  msaxena2

  committed
  17c00c1

  Copy full SHA for 17c00c1

• Getting changes from upstream.

  Show description for e64965f
  msaxena2

  committed
  e64965f

  Copy full SHA for e64965f

• making changes

  Show description for c0a0960
  msaxena2

  committed
  c0a0960

  Copy full SHA for c0a0960

Commits on Feb 23, 2015

• Merge branch 'master' into scope

  Show description for 4681415
  

  Dwight Guth

  committed
  4681415

  Copy full SHA for 4681415

Commits on Feb 20, 2015

• changes to the debugger to support non unpacking

  Show description for 0078073
  msaxena2

  committed
  0078073

  Copy full SHA for 0078073

Commits on Feb 19, 2015

• Merge remote-tracking branch 'upstream/master' into java-search-graph

  Show description for cdb97b5
  traiansf

  committed
  cdb97b5

  Copy full SHA for cdb97b5

Commits on Feb 11, 2015

• Fixed bug; added boolean switch to control graph

  Show description for 34b7933
  traiansf

  committed
  34b7933

  Copy full SHA for 34b7933

Commits on Feb 10, 2015

• added unparser for pretty printing to printTransition

  Show description for a28cda3
  msaxena2

  committed
  a28cda3

  Copy full SHA for a28cda3

Commits on Feb 4, 2015

• transition information added to the transition printer

  Show description for 7ed9622
  msaxena2

  committed
  7ed9622

  Copy full SHA for 7ed9622

• changes

  Show description for 4c2a315
  msaxena2

  committed
  4c2a315

  Copy full SHA for 4c2a315

Commits on Feb 3, 2015

• Merge branch 'master' into scope

  Show description for beeb8a3
  

  Dwight Guth

  committed
  beeb8a3

  Copy full SHA for beeb8a3

Commits on Jan 30, 2015

• rule store working

  Show description for da4164a
  msaxena2

  committed
  da4164a

  Copy full SHA for da4164a

• added rule map

  Show description for 9d61db4
  msaxena2

  committed
  9d61db4

  Copy full SHA for 9d61db4

• added hashcodes to relevant classes

  Show description for 0c85528
  msaxena2

  committed
  0c85528

  Copy full SHA for 0c85528

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

  Show description for 5daac8b
  msaxena2

  committed
  5daac8b

  Copy full SHA for 5daac8b

• Getting Concrete Module from injector

  Show description for 3cb9f34
  msaxena2

  committed
  3cb9f34

  Copy full SHA for 3cb9f34

• LTLMC API changes. Printing ProofResults.

  Show description for dd3cc5e
  traiansf

  committed
  dd3cc5e

  Copy full SHA for dd3cc5e

Commits on Jan 29, 2015

• Revert "Symbolic constraint refactoring"

  Show description for 54ab470
  

  dwightguth

  committed
  54ab470

  Copy full SHA for 54ab470