Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2021

• reorder fields of context_params to save memory

  Show description for 524dcd3
  nunoplopes

  committed
  524dcd3

  Copy full SHA for 524dcd3

Commits on Mar 15, 2021

• remove dependency on ast from params

  NikolajBjorner

  committed
  4b3fecc

  Copy full SHA for 4b3fecc

Commits on Mar 14, 2021

• fixes to new solver, add mode for using nlsat solver eagerly from nla_core

  NikolajBjorner

  committed
  8412ecb

  Copy full SHA for 8412ecb

Commits on Jan 31, 2021

• use unicode by default

  Show description for 3f93cc3
  NikolajBjorner

  committed
  3f93cc3

  Copy full SHA for 3f93cc3

Commits on Jan 21, 2021

• reshuffle unicode support to use global parameter, and use bit-vectors on demand

  NikolajBjorner

  committed
  dafee71

  Copy full SHA for dafee71

Commits on Nov 21, 2020

• fix Z3Prover#4808

  Show description for 299e178
  NikolajBjorner

  committed
  299e178

  Copy full SHA for 299e178

Commits on Oct 30, 2020

• add parameter for scenario from Z3Prover#4743

  NikolajBjorner

  committed
  f354671

  Copy full SHA for f354671

Commits on Aug 29, 2020

• move fpa

  Show description for 35e3d84
  NikolajBjorner

  committed
  35e3d84

  Copy full SHA for 35e3d84

• move parameters from ast/rewriter to params

  Show description for 11c90cc
  NikolajBjorner

  committed
  11c90cc

  Copy full SHA for 11c90cc

• missing cmakelists

  Show description for 455d53e
  NikolajBjorner

  committed
  455d53e

  Copy full SHA for 455d53e

• shuffle dependencies

  Show description for b9cbb08
  NikolajBjorner

  committed
  b9cbb08

  Copy full SHA for b9cbb08

Loading