Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Nov 14, 2019

• kernel: refactoring KPrint and dependencies to Guice injections (#877)

  Show description for 6e969ee
  denis-bogdanas

  authored
  6e969ee

  Copy full SHA for 6e969ee

Commits on Sep 3, 2019

• update --debugger to use gdb (#740)

  Show description for ab8836c
  

  dwightguth

  authored
  ab8836c

  Copy full SHA for ab8836c

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 Aug 20, 2018

• [REFACTORING] Kprint (#117)

  Show description for 10ee906
  

  ehildenb

  authored and

  dwightguth

  committed
  10ee906

  Copy full SHA for 10ee906

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

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

• delete code reference

  

  Dwight Guth

  committed
  bc7a16f

  Copy full SHA for bc7a16f

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 Sep 11, 2015

• seachtype capability

  Show description for 9d03fa5
  msaxena2

  committed
  9d03fa5

  Copy full SHA for 9d03fa5

Commits on Sep 2, 2015

• pre-summer changes

  Show description for abb952d
  cos

  committed
  abb952d

  Copy full SHA for abb952d

Commits on Aug 18, 2015

• Revert "Revert "Kore Based Rewriter API's Search Functionality Related Code""

  Show description for bb19fff
  msaxena2

  committed
  bb19fff

  Copy full SHA for bb19fff

• Revert "Kore Based Rewriter API's Search Functionality Related Code"

  Show description for 000ffa1
  msaxena2

  committed
  000ffa1

  Copy full SHA for 000ffa1

Commits on Jul 22, 2015

• working to make tui work with new parser

  Show description for 9d12ec8
  msaxena2

  committed
  9d12ec8

  Copy full SHA for 9d12ec8

Commits on Jul 14, 2015

• improvements to debugger performance

  Show description for ce5b9b9
  msaxena2

  committed
  ce5b9b9

  Copy full SHA for ce5b9b9

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 Jun 16, 2015

• small changes

  Show description for d045a42
  msaxena2

  committed
  d045a42

  Copy full SHA for d045a42

• changes to execution mode methodology

  Show description for 3fb9b4a
  msaxena2

  committed
  3fb9b4a

  Copy full SHA for 3fb9b4a

Commits on Jun 10, 2015

• final touches before PR

  Show description for 1da5ba1
  msaxena2

  committed
  1da5ba1

  Copy full SHA for 1da5ba1

• fixed some formatting issues

  Show description for 555316c
  msaxena2

  committed
  555316c

  Copy full SHA for 555316c

• new files added

  Show description for 4ecd4ab
  msaxena2

  committed
  4ecd4ab

  Copy full SHA for 4ecd4ab

Commits on May 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258

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

• Revert "once again, try to merge by reverting use of DefinitionScoped"

  Show description for 0facfb8
  

  Dwight Guth

  committed
  0facfb8

  Copy full SHA for 0facfb8

• once again, try to merge by reverting use of DefinitionScoped

  Show description for 497c09f
  

  Dwight Guth

  committed
  497c09f

  Copy full SHA for 497c09f

Commits on Feb 4, 2015

• Merge branch 'master' into scope

  Show description for 8a5330b
  

  Dwight Guth

  committed
  8a5330b

  Copy full SHA for 8a5330b

• guice infrastructure for multiple annotation

  Show description for 16de29d
  

  Dwight Guth

  committed
  16de29d

  Copy full SHA for 16de29d

Commits on Jan 15, 2015

• fix sound output mode

  Show description for fe8f421
  

  Dwight Guth

  committed
  fe8f421

  Copy full SHA for fe8f421

Commits on Jan 2, 2015

• add better guice scoping in order to share definition deserialization across invocations in a server

  Show description for 992230d
  

  Dwight Guth

  committed
  992230d

  Copy full SHA for 992230d

• 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 23, 2014

• change output binary to stream output

  Show description for 1494bbc
  

  Dwight Guth

  committed
  1494bbc

  Copy full SHA for 1494bbc

• remove output mode raw

  Show description for 9e10502
  

  Dwight Guth

  committed
  9e10502

  Copy full SHA for 9e10502

Commits on Nov 19, 2014

• rename PrivateKModule to AnnotatedByDefinitionModule

  Show description for 7f6802b
  osa1

  committed
  7f6802b

  Copy full SHA for 7f6802b