Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Nov 5, 2023

• Fix incorrect memory handling

  P-p-H-d

  committed
  adcfb67

  Copy full SHA for adcfb67

Commits on Jun 12, 2019

• Fix compact issues in case of MT code

  P-p-H-d

  committed
  8a0bf8d

  Copy full SHA for 8a0bf8d

Commits on Jun 11, 2019

• Update

  P-p-H-d

  committed
  2c90871

  Copy full SHA for 2c90871

• Move code from eval to construc module

  P-p-H-d

  committed
  2e7ebad

  Copy full SHA for 2e7ebad

• Rename file

  P-p-H-d

  committed
  d061c73

  Copy full SHA for d061c73

• Remove fully buggy function may_get_domain

  P-p-H-d

  committed
  a634157

  Copy full SHA for a634157

• Simplify code

  P-p-H-d

  committed
  39fdec2

  Copy full SHA for 39fdec2

• Rename source files to be more coherent

  P-p-H-d

  committed
  e67821d

  Copy full SHA for e67821d

• Update comment

  P-p-H-d

  committed
  3b199a5

  Copy full SHA for 3b199a5

Commits on Jun 8, 2019

• 1) Extraction takes an optional argument to test or not for independence of the remainings expression of the variable

  Show description for 2207ba1
  P-p-H-d

  committed
  2207ba1

  Copy full SHA for 2207ba1

• Minor optimization

  P-p-H-d

  committed
  c687fa9

  Copy full SHA for c687fa9

Commits on Jun 7, 2019

• Minor optimization

  P-p-H-d

  committed
  4406ce4

  Copy full SHA for 4406ce4

Commits on Jun 2, 2019

• Fix a bug (reuse num after being evaluated) and separate factor / sum case for better performance

  P-p-H-d

  committed
  08c00ed

  Copy full SHA for 08c00ed

Commits on May 26, 2019

• Rename files

  P-p-H-d

  committed
  1b2bf7f

  Copy full SHA for 1b2bf7f

• Rename file

  P-p-H-d

  committed
  32a4321

  Copy full SHA for 32a4321

• Update'

  P-p-H-d

  committed
  058b603

  Copy full SHA for 058b603

• Update comments

  P-p-H-d

  committed
  fa9f88b

  Copy full SHA for fa9f88b

• Update

  P-p-H-d

  committed
  bce1328

  Copy full SHA for bce1328

• Update TODO

  P-p-H-d

  committed
  f0e77ea

  Copy full SHA for f0e77ea

Commits on May 25, 2019

• Update

  P-p-H-d

  committed
  c16d0ec

  Copy full SHA for c16d0ec

• Fix version

  P-p-H-d

  committed
  3bfce57

  Copy full SHA for 3bfce57

• Fix warning

  P-p-H-d

  committed
  b53c365

  Copy full SHA for b53c365

• Fix compilation issue

  P-p-H-d

  committed
  448a1eb

  Copy full SHA for 448a1eb

• Update environement

  P-p-H-d

  committed
  7991c80

  Copy full SHA for 7991c80

• Fix comment

  P-p-H-d

  committed
  56ab74a

  Copy full SHA for 56ab74a

• Port to newer clang

  P-p-H-d

  committed
  9208816

  Copy full SHA for 9208816

Commits on Aug 22, 2018

• Simplify the code and use higher level API.

  Show description for da0d51a
  P-p-H-d

  committed
  da0d51a

  Copy full SHA for da0d51a

• Rewrite so that it doesn't depend as much on internal low level API.

  P-p-H-d

  committed
  7973e4b

  Copy full SHA for 7973e4b

Commits on Aug 19, 2018

• Reformat

  P-p-H-d

  committed
  f2caef7

  Copy full SHA for f2caef7

• Update copyright year.

  P-p-H-d

  committed
  6e0faae

  Copy full SHA for 6e0faae

Commits on Aug 17, 2018

• Simplify & add more valid (?) pre-transformation before evaluation

  Show description for a392fdf
  P-p-H-d

  committed
  a392fdf

  Copy full SHA for a392fdf

• Add macro for testing against exact ZERO & exact ONE.

  P-p-H-d

  committed
  6fa0637

  Copy full SHA for 6fa0637

• Transform LL API to HL API.

  P-p-H-d

  committed
  efba091

  Copy full SHA for efba091

• Transform Low Level API access to High Level API access.

  P-p-H-d

  committed
  d5edcae

  Copy full SHA for d5edcae

• Use latest extract functions.

  P-p-H-d

  committed
  7685ba9

  Copy full SHA for 7685ba9