Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 28, 2025

• chore: update workflows

  c-cube

  committed
  6c8d684

  Copy full SHA for 6c8d684

• ocamlforamt

  c-cube

  committed
  90a5c7b

  Copy full SHA for 90a5c7b

Commits on Dec 28, 2023

• chore: CI

  c-cube

  committed
  8e6036b

  Copy full SHA for 8e6036b

• chore: CI

  c-cube

  committed
  13440d6

  Copy full SHA for 13440d6

Commits on Dec 27, 2023

• support trace-fuchsia if present

  c-cube

  committed
  eff6016

  Copy full SHA for eff6016

Commits on Dec 7, 2023

• require ocaml 4.08, compat with containers 3.13

  c-cube

  committed
  5407744

  Copy full SHA for 5407744

• faster CI

  c-cube

  committed
  85c39d3

  Copy full SHA for 85c39d3

Commits on Oct 7, 2023

• use `trace` instead of our own custom tracing setup

  c-cube

  committed
  43c8e60

  Copy full SHA for 43c8e60

• comments

  c-cube

  committed
  4bb15f8

  Copy full SHA for 4bb15f8

Commits on Jun 28, 2023

• fix: compute model even if (potentially) new interface eqns are produced

  Show description for c35d721
  c-cube

  committed
  c35d721

  Copy full SHA for c35d721

Commits on Jun 26, 2023

• more tests

  c-cube

  committed
  3ebc532

  Copy full SHA for 3ebc532

• remove debug msg

  c-cube

  committed
  923cbec

  Copy full SHA for 923cbec

• fix sign error

  c-cube

  committed
  8d8ef42

  Copy full SHA for 8d8ef42

• add another bug repro

  c-cube

  committed
  67e9eab

  Copy full SHA for 67e9eab

• CI

  c-cube

  committed
  477c780

  Copy full SHA for 477c780

• doc

  c-cube

  committed
  d8612f8

  Copy full SHA for d8612f8

• fix benchpress config

  c-cube

  committed
  2e29ab2

  Copy full SHA for 2e29ab2

• fix lra: define expressions occurring in subterms properly

  Show description for 3ba2583
  c-cube

  committed
  3ba2583

  Copy full SHA for 3ba2583

• warnings and comments

  c-cube

  committed
  c4d3c44

  Copy full SHA for c4d3c44

• fix warning

  c-cube

  committed
  c64beba

  Copy full SHA for c64beba

• add non reduced test too

  c-cube

  committed
  dcdc55e

  Copy full SHA for dcdc55e

• test: add regression test for LRA bug

  c-cube

  committed
  87f9be7

  Copy full SHA for 87f9be7

Commits on Jun 24, 2023

• fix warnings

  c-cube

  committed
  619da6f

  Copy full SHA for 619da6f

Commits on Apr 21, 2023

• Merge branch 'master' into wip-produce-smtlib-models

  c-cube

  committed
  7fbfb84

  Copy full SHA for 7fbfb84

Commits on Apr 20, 2023

• opam

  c-cube

  committed
  659f69f

  Copy full SHA for 659f69f

Commits on Feb 24, 2023

• update to handle mtime 2.0

  c-cube

  committed
  40a743b

  Copy full SHA for 40a743b

• ocamlformat

  c-cube

  committed
  4c330e4

  Copy full SHA for 4c330e4

Commits on Oct 24, 2022

• add todo

  c-cube

  committed
  f5ccbb4

  Copy full SHA for f5ccbb4

• warnings

  c-cube

  committed
  651f2c1

  Copy full SHA for 651f2c1

• wip: check models

  c-cube

  committed
  7f5c6d4

  Copy full SHA for 7f5c6d4

• wip: check models

  c-cube

  committed
  f905b75

  Copy full SHA for f905b75

Commits on Oct 20, 2022

• warnings

  c-cube

  committed
  173908c

  Copy full SHA for 173908c

• feat(smtlib.model): improve printing of deeply nested ite

  c-cube

  committed
  61f1854

  Copy full SHA for 61f1854

• better error

  c-cube

  committed
  082bfdd

  Copy full SHA for 082bfdd

• fix(main): consistent printing of models

  Show description for cc090a4
  c-cube

  committed
  cc090a4

  Copy full SHA for cc090a4

Pagination

Previous

Next