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

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

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

• another small fix

  Show description for 984d6c6
  msaxena2

  committed
  984d6c6

  Copy full SHA for 984d6c6

Commits on Aug 24, 2015

• work on some other trivial stuff

  Show description for 6df37a1
  msaxena2

  committed
  6df37a1

  Copy full SHA for 6df37a1

Commits on Aug 20, 2015

• added support for watches

  Show description for 085df82
  msaxena2

  committed
  085df82

  Copy full SHA for 085df82

Commits on Aug 19, 2015

• fixed some stuff regarding pattern handling and printing

  Show description for d3ee606
  msaxena2

  committed
  d3ee606

  Copy full SHA for d3ee606

Commits on Aug 17, 2015

• small fixes

  Show description for 4fa2e80
  msaxena2

  committed
  4fa2e80

  Copy full SHA for 4fa2e80

• WIP on watch command'

  Show description for 48505a4
  msaxena2

  committed
  48505a4

  Copy full SHA for 48505a4

• fixed comments

  Show description for 7e2033e
  msaxena2

  committed
  7e2033e

  Copy full SHA for 7e2033e

Commits on Aug 14, 2015

• fixed to back step command

  Show description for 322c5b5
  msaxena2

  committed
  322c5b5

  Copy full SHA for 322c5b5

Commits on Aug 13, 2015

• more commands working

  Show description for 02091a1
  msaxena2

  committed
  02091a1

  Copy full SHA for 02091a1

• experimenting with TUI

  Show description for 80ae5c6
  msaxena2

  committed
  80ae5c6

  Copy full SHA for 80ae5c6

Commits on Aug 12, 2015

• changes to the API Implementation and the way states are handled

  Show description for ef9c8b2
  msaxena2

  committed
  ef9c8b2

  Copy full SHA for ef9c8b2

• changes to the API Implementation and the way states are handled

  Show description for 9b75604
  msaxena2

  committed
  9b75604

  Copy full SHA for 9b75604

• working on making states work as anticipated

  Show description for fa0bc67
  msaxena2

  committed
  fa0bc67

  Copy full SHA for fa0bc67

Commits on Jul 29, 2015

• changes to the way active states are handled

  Show description for fb5b76e
  msaxena2

  committed
  fb5b76e

  Copy full SHA for fb5b76e

Commits on Jul 23, 2015

• channges

  Show description for 18bf5e3
  msaxena2

  committed
  18bf5e3

  Copy full SHA for 18bf5e3

Commits on Jul 16, 2015

• changed the way states are handled"

  Show description for bf9e3b4
  msaxena2

  committed
  bf9e3b4

  Copy full SHA for bf9e3b4

Commits on Jul 15, 2015

• made small changs

  Show description for 1bed641
  msaxena2

  committed
  1bed641

  Copy full SHA for 1bed641

• added support for printing paths

  Show description for 0b9c4bd
  msaxena2

  committed
  0b9c4bd

  Copy full SHA for 0b9c4bd

• WIP on adding some more functionality

  Show description for 74202ab
  msaxena2

  committed
  74202ab

  Copy full SHA for 74202ab

Commits on Jul 10, 2015

• WIP on making the debugger work with the ocaml backend

  Show description for f88ad92
  msaxena2

  committed
  f88ad92

  Copy full SHA for f88ad92

Commits on Jul 9, 2015

• WIP on making search work with rewriter

  Show description for 3edbe18
  msaxena2

  committed
  3edbe18

  Copy full SHA for 3edbe18

• WIP

  Show description for cb0358c
  msaxena2

  committed
  cb0358c

  Copy full SHA for cb0358c

Commits on Jun 18, 2015

• jump to complete

  Show description for 9ff3647
  msaxena2

  committed
  9ff3647

  Copy full SHA for 9ff3647

• added infrastructure for backstep

  Show description for 962f9dc
  msaxena2

  committed
  962f9dc

  Copy full SHA for 962f9dc

Commits on Jun 17, 2015

• added some more files

  Show description for 7d9bb6b
  msaxena2

  committed
  7d9bb6b

  Copy full SHA for 7d9bb6b

• small changes

  Show description for 5c5dfb6
  msaxena2

  committed
  5c5dfb6

  Copy full SHA for 5c5dfb6

Commits on Jun 16, 2015

• setting up something for testing debugger

  Show description for ad22d7b
  msaxena2

  committed
  ad22d7b

  Copy full SHA for ad22d7b

• added step

  Show description for 27b3fc7
  msaxena2

  committed
  27b3fc7

  Copy full SHA for 27b3fc7

• fixing small issues

  Show description for 9aa9d98
  msaxena2

  committed
  9aa9d98

  Copy full SHA for 9aa9d98

• beginning testing on step

  Show description for 9aefd87
  msaxena2

  committed
  9aefd87

  Copy full SHA for 9aefd87