Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 28, 2024

• Change the name of the default array element parameter to defaultElement, reflecting what it does

  

  BaierD

  committed
  cbd8e87

  Copy full SHA for cbd8e87

Commits on Apr 4, 2024

• ArrayFormulaManager: add creation of array-literals to API and implement it for several solvers.

  Show description for 5f15780
  kfriedberger

  committed
  5f15780

  Copy full SHA for 5f15780

• ArrayFormulaManager: use default methods in the interface to simplify code in the implementation.

  kfriedberger

  committed
  68631d2

  Copy full SHA for 68631d2

Commits on May 13, 2022

• more documentation

  kfriedberger

  committed
  f8103fd

  Copy full SHA for f8103fd

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 16, 2019

• fixes for CheckStyle: Ignore all malformed class and method type parameter names.

  Show description for a05f0ba
  kfriedberger

  committed
  a05f0ba

  Copy full SHA for a05f0ba

Commits on Jun 18, 2018

• next try to get 'isValidName' into our API.

  Show description for 87bc458
  kfriedberger

  committed
  87bc458

  Copy full SHA for 87bc458

Commits on Jun 15, 2018

• move constants representing invalid names from Formula into FormulaManager.

  Show description for 55d8f86
  kfriedberger

  committed
  55d8f86

  Copy full SHA for 55d8f86

Commits on Jun 7, 2018

• add some documentation about valid symbol names.

  kfriedberger

  committed
  5d8039d

  Copy full SHA for 5d8039d

Commits on May 28, 2018

• improve documentation.

  kfriedberger

  committed
  d2f23e4

  Copy full SHA for d2f23e4

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