Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 14, 2023

• Update README.md

  nicolasAmat

  authored
  3bf6c10

  Copy full SHA for 3bf6c10

Commits on Nov 9, 2023

• Fix for MiniZinc (deprecated)

  nicolasAmat

  committed
  571bf8a

  Copy full SHA for 571bf8a

Commits on Nov 8, 2023

• Fix method selection in non-MCC mode when fully reduced

  nicolasAmat

  committed
  6feb90b

  Copy full SHA for 6feb90b

Commits on Oct 20, 2023

• Update README

  nicolasAmat

  committed
  1b61dab

  Copy full SHA for 1b61dab

• Update README

  nicolasAmat

  committed
  9f9fa19

  Copy full SHA for 9f9fa19

• Update README

  nicolasAmat

  committed
  8aade15

  Copy full SHA for 8aade15

Commits on Oct 11, 2023

• Fix for PDR-REACH (without saturation)

  nicolasAmat

  committed
  c6242e8

  Copy full SHA for c6242e8

Commits on Sep 15, 2023

• Add fix for octant

  nicolasAmat

  committed
  9891f36

  Copy full SHA for 9891f36

Commits on May 12, 2023

• Check tautologies only with mcc mode

  nicolasAmat

  committed
  db53a1c

  Copy full SHA for db53a1c

Commits on May 10, 2023

• Add suffix when saving projected formula

  nicolasAmat

  committed
  19e7d1c

  Copy full SHA for 19e7d1c

• Disable state-equation with PDR and k-ind if mcc mode disabled

  nicolasAmat

  committed
  0a9eefc

  Copy full SHA for 0a9eefc

Commits on Apr 29, 2023

• Remove temp files

  nicolasAmat

  committed
  e2fac5b

  Copy full SHA for e2fac5b

• Add options for projection management

  nicolasAmat

  committed
  d6247ee

  Copy full SHA for d6247ee

• Update LTL parser

  nicolasAmat

  committed
  4b6d236

  Copy full SHA for 4b6d236

Commits on Apr 27, 2023

• Merge pull request #1 from Perevalov/patch-1

  Show description for 723ad24
  nicolasAmat

  authored
  723ad24

  Copy full SHA for 723ad24

Commits on Apr 26, 2023

• fix wrong link cx_Freeze

  Perevalov

  authored
  275de12

  Copy full SHA for 275de12

Commits on Apr 20, 2023

• Fix Octant support

  nicolasAmat

  committed
  85cb7ea

  Copy full SHA for 85cb7ea

• Project (even without --auto-reduce enabled)

  nicolasAmat

  committed
  c4886c1

  Copy full SHA for c4886c1

• Move fireability option

  nicolasAmat

  committed
  ffb1f46

  Copy full SHA for ffb1f46

Commits on Apr 19, 2023

• Fix bug (formula simplification)

  nicolasAmat

  committed
  d7ad54d

  Copy full SHA for d7ad54d

• TiPX becomes Octant

  nicolasAmat

  committed
  42a829a

  Copy full SHA for 42a829a

Commits on Mar 30, 2023

• Fix parser

  nicolasAmat

  committed
  6b555ad

  Copy full SHA for 6b555ad

Commits on Mar 13, 2023

• Revert last commit

  nicolasAmat

  committed
  61da26b

  Copy full SHA for 61da26b

• Fix duplicated with colored walk

  nicolasAmat

  committed
  25b54e5

  Copy full SHA for 25b54e5

Commits on Mar 8, 2023

• Update version

  nicolasAmat

  committed
  01b53a3

  Copy full SHA for 01b53a3

Commits on Mar 1, 2023

• Update BenKit_head.sh

  nicolasAmat

  committed
  c351a00

  Copy full SHA for c351a00

• Do not slice if SMT method enabled

  nicolasAmat

  committed
  11c9cf3

  Copy full SHA for 11c9cf3

• Update walk slicing

  nicolasAmat

  committed
  d944d94

  Copy full SHA for d944d94

• Update techniques

  nicolasAmat

  committed
  c3dc0b1

  Copy full SHA for c3dc0b1

Commits on Feb 27, 2023

• Add BenchKit_head.sh (MCC)

  nicolasAmat

  committed
  6f0da16

  Copy full SHA for 6f0da16

• Retry restarting (thx again Bernard)

  nicolasAmat

  committed
  1f4c257

  Copy full SHA for 1f4c257

• Remove useless import

  nicolasAmat

  committed
  3a79d6a

  Copy full SHA for 3a79d6a

• Update mem management when unfolding

  nicolasAmat

  committed
  7bd18e2

  Copy full SHA for 7bd18e2

• Remove walker restarting for the moment

  nicolasAmat

  committed
  dcb5186

  Copy full SHA for dcb5186

• Revert high restart

  nicolasAmat

  committed
  1cfc051

  Copy full SHA for 1cfc051

Pagination

Previous

Next