Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 9, 2020

• apply the reuse tool to change the license info.

  Show description for e211d0a
  kfriedberger

  committed
  e211d0a

  Copy full SHA for e211d0a

Commits on Dec 2, 2018

• Declare all Formula and FormulaType classes as @immutable

  Show description for b73beb5
  PhilippWendler

  committed
  b73beb5

  Copy full SHA for b73beb5

Commits on Oct 10, 2016

• Reformat Javadoc with next version of google-java-format.

  Show description for 9dc8213
  kfriedberger

  committed
  9dc8213

  Copy full SHA for 9dc8213

Commits on Aug 17, 2016

• Restructure JavaSMT package.

  Show description for 1ace8bd
  cheshire

  committed
  1ace8bd

  Copy full SHA for 1ace8bd

Loading