Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 10, 2025

• fix small error

  yangziyiiii

  committed
  a1ddcc1

  Copy full SHA for a1ddcc1

• Merge pull request #7 from yangziyiiii/btor-sweep-rev

  Show description for 94be255
  yangziyiiii

  authored
  94be255

  Copy full SHA for 94be255

Commits on Jan 9, 2025

• rev

  zhanghongce

  committed
  b7f4167

  Copy full SHA for b7f4167

• update strash

  yangziyiiii

  committed
  54006c2

  Copy full SHA for 54006c2

Commits on Jan 8, 2025

• logging solver, remove incremental solving

  yangziyiiii

  committed
  b887a5f

  Copy full SHA for b887a5f

Commits on Jan 7, 2025

• add strash and depth before substitution

  yangziyiiii

  committed
  2d38f42

  Copy full SHA for 2d38f42

• result is UNSAT

  yangziyiiii

  committed
  3b8396e

  Copy full SHA for 3b8396e

Commits on Jan 4, 2025

• TODO: all equal branch use more than 30s

  yangziyiiii

  committed
  70a8761

  Copy full SHA for 70a8761

Commits on Jan 1, 2025

• TODO: array error, maybe solver problem

  yangziyiiii

  committed
  8993995

  Copy full SHA for 8993995

• TODO: fix array error

  yangziyiiii

  committed
  f50f506

  Copy full SHA for f50f506

Commits on Dec 15, 2024

• fix substitution more than 2 nodes

  yangziyiiii

  committed
  cbf0e8e

  Copy full SHA for cbf0e8e

Commits on Dec 13, 2024

• result SAT

  yangziyiiii

  committed
  c029cff

  Copy full SHA for c029cff

Commits on Dec 12, 2024

• todo: error sat result

  yangziyiiii

  committed
  ce797be

  Copy full SHA for ce797be

Commits on Dec 11, 2024

• existing error

  yangziyiiii

  committed
  818eddb

  Copy full SHA for 818eddb

Commits on Dec 9, 2024

• finish substitute

  yangziyiiii

  committed
  d08fedc

  Copy full SHA for d08fedc

• unfinished substitute

  yangziyiiii

  committed
  bd3c213

  Copy full SHA for bd3c213

Commits on Dec 5, 2024

• error in select op

  yangziyiiii

  committed
  1de76f6

  Copy full SHA for 1de76f6

• Merge pull request #6 from Gy-Hu/btor-sweeping

  Show description for 45ff3ad
  yangziyiiii

  authored
  45ff3ad

  Copy full SHA for 45ff3ad

• add lut table

  Gy-Hu

  committed
  0e8104d

  Copy full SHA for 0e8104d

Commits on Dec 4, 2024

• ERROR in store loop

  yangziyiiii

  committed
  dd96979

  Copy full SHA for dd96979

Commits on Dec 2, 2024

• ERROR in array

  yangziyiiii

  committed
  b31b679

  Copy full SHA for b31b679

Commits on Nov 29, 2024

• new version of btor sweeping

  yangziyiiii

  committed
  c24c84b

  Copy full SHA for c24c84b

Commits on Nov 26, 2024

• ERROR in op_type

  yangziyiiii

  committed
  00f0361

  Copy full SHA for 00f0361

Commits on Nov 25, 2024

• unknown op type (_ extract 39 32)

  yangziyiiii

  committed
  a95888b

  Copy full SHA for a95888b

Commits on Nov 23, 2024

• FIXME: random sim time

  yangziyiiii

  committed
  9dea611

  Copy full SHA for 9dea611

Commits on Nov 20, 2024

• FIXME: two parents -> one child problem

  yangziyiiii

  committed
  dbdc007

  Copy full SHA for dbdc007

Commits on Nov 19, 2024

• Rewrite btor.h: add GMP

  yangziyiiii

  committed
  e8b42be

  Copy full SHA for e8b42be

Commits on Nov 18, 2024

• todo: add btor.h

  yangziyiiii

  committed
  c375b6b

  Copy full SHA for c375b6b

Commits on Nov 14, 2024

• todo: function bv->btorbitvector

  yangziyiiii

  committed
  9044092

  Copy full SHA for 9044092

Commits on Nov 11, 2024

• fix post order traversal, add pruning

  yangziyiiii

  committed
  5eb0061

  Copy full SHA for 5eb0061

Commits on Nov 10, 2024

• post order traversal

  yangziyiiii

  committed
  67a28ea

  Copy full SHA for 67a28ea

Commits on Nov 8, 2024

• TODO: post order traversal error

  yangziyiiii

  committed
  2cb6388

  Copy full SHA for 2cb6388

Commits on Nov 7, 2024

• fix hash_term_map

  yangziyiiii

  committed
  f820f08

  Copy full SHA for f820f08

Commits on Nov 6, 2024

• fix num_ite loop

  yangziyiiii

  committed
  b436dcf

  Copy full SHA for b436dcf

• change hash term map

  yangziyiiii

  committed
  a90dca8

  Copy full SHA for a90dca8

Pagination

Previous

Next