Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Dec 7, 2019

• kernel/Kompile, KBMC, KEq: refactored to Guice injections (#891)

  Show description for 413f849
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  413f849

  Copy full SHA for 413f849

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 Feb 13, 2019

• KProve architecture extension: made pretty printing available to Rewriter (#292)

  Show description for 178c2f6
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  178c2f6

  Copy full SHA for 178c2f6

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

Loading