Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 5, 2022

• fix elina_scalar_{max,min}

  Prince781

  committed
  83a65b4

  Copy full SHA for 83a65b4

Commits on May 6, 2022

• guard against buffer overruns with snprint

  Prince781

  committed
  14b9844

  Copy full SHA for 14b9844

Commits on Mar 20, 2022

• add more string print routines

  Prince781

  committed
  73a7f05

  Copy full SHA for 73a7f05

Commits on Mar 7, 2022

• add elina_linexpr0_snprint()

  Prince781

  committed
  b56b989

  Copy full SHA for b56b989

• fix elina_interval_cmp_int()

  Prince781

  committed
  6ad83de

  Copy full SHA for 6ad83de

• add string printing routines

  Prince781

  committed
  7df8c60

  Copy full SHA for 7df8c60

Commits on Mar 2, 2022

• lincons0: add some variants for Vala bindings

  Prince781

  committed
  efed548

  Copy full SHA for efed548

• don't redefine bool

  Prince781

  committed
  b3f8951

  Copy full SHA for b3f8951

• Add Meson build system

  Prince781

  committed
  330315e

  Copy full SHA for 330315e

• [port] Elimination of variadic function ptrs - 2nd pass.

  Show description for 0546331
  

  corwin-of-amber

  authored and

  Prince781

  committed
  0546331

  Copy full SHA for 0546331

• [port] Elimination of variadic function ptrs - 1st pass.

  Show description for 4c02e28
  

  corwin-of-amber

  authored and

  Prince781

  committed
  4c02e28

  Copy full SHA for 4c02e28

• [port] Respect (absence of) `-DTIMING` everywhere.

  Show description for ccd19f8
  

  corwin-of-amber

  authored and

  Prince781

  committed
  ccd19f8

  Copy full SHA for ccd19f8

Commits on Jan 26, 2022

• Fixed a bug spotted by Shachar Itzhaky

  GgnDpSngh

  authored
  354e3d4

  Copy full SHA for 354e3d4

Commits on Nov 29, 2021

• Fixed a bug in projection, thanks to Alexandra Bugariu for spotting it

  GgnDpSngh

  authored
  20019fe

  Copy full SHA for 20019fe

Commits on Nov 18, 2021

• fix lait bugs

  

  hej

  committed
  5d0e015

  Copy full SHA for 5d0e015

Commits on Nov 13, 2021

• Fixed double pointer free

  GgnDpSngh

  authored
  49d5948

  Copy full SHA for 49d5948

Commits on Nov 12, 2021

• fix seg faults for Lait

  

  hej

  committed
  51f4e81

  Copy full SHA for 51f4e81

Commits on Sep 17, 2021

• changed opam

  GgnDpSngh

  committed
  52d6723

  Copy full SHA for 52d6723

• modify ocaml makefile

  GgnDpSngh

  committed
  8186559

  Copy full SHA for 8186559

• changed opam file

  GgnDpSngh

  committed
  b6c3e7f

  Copy full SHA for b6c3e7f

• changed opam file

  GgnDpSngh

  committed
  a02a1bf

  Copy full SHA for a02a1bf

• changed opam file

  GgnDpSngh

  committed
  42a892a

  Copy full SHA for 42a892a

• changed meta

  GgnDpSngh

  committed
  6bc90ca

  Copy full SHA for 6bc90ca

• changed meta

  GgnDpSngh

  committed
  170ac21

  Copy full SHA for 170ac21

• changed makefile

  GgnDpSngh

  committed
  ec385f2

  Copy full SHA for ec385f2

Commits on Sep 15, 2021

• corrected md5 hash

  GgnDpSngh

  committed
  7e0e6fe

  Copy full SHA for 7e0e6fe

• corrected md5 hash

  GgnDpSngh

  committed
  29c5d06

  Copy full SHA for 29c5d06

Commits on Sep 14, 2021

• changed opam

  GgnDpSngh

  committed
  9a6ca7c

  Copy full SHA for 9a6ca7c

• changed tar file name

  GgnDpSngh

  committed
  eebb006

  Copy full SHA for eebb006

Commits on Sep 13, 2021

• update ocaml meta

  

  GgnDpSngh

  committed
  b1f6f15

  Copy full SHA for b1f6f15

Commits on Aug 1, 2021

• added octagon files to META

  GgnDpSngh

  committed
  e22b023

  Copy full SHA for e22b023

Commits on Jul 31, 2021

• updated opam

  GgnDpSngh

  committed
  73fcd9b

  Copy full SHA for 73fcd9b

• updated opam

  GgnDpSngh

  committed
  06dd2c5

  Copy full SHA for 06dd2c5

• Delete mnist_crown_large_0.2.onnx

  GgnDpSngh

  authored
  6ccb967

  Copy full SHA for 6ccb967

Commits on Jul 7, 2021

• gurobi 9.1 in fppoly

  GgnDp

  committed
  9737c11

  Copy full SHA for 9737c11

Pagination

Previous

Next