SRI-CSL/yices2

Issues

• debian apt instruction fail

  #399 opened 3 years ago by Matafou
  5

• Issues on bool-ranged array

  #536 opened 2 months ago by r0ayane
  0

• E: Unable to locate package yices2

  #408 opened 2 years ago by abc767234318
  3

• E: Unable to locate package yices2

  #535 opened 2 months ago by ctark7
  0

• Linking problems on Windows (msys2+ucrt64)

  #532 opened 3 months ago by Febbe
  2

• yices_term_to_string() does not escape illegal variable names

  #534 opened 3 months ago by daniel-raffler
  0

• Tests fail to compile: no member named 'nelems' in 'struct term_table_s'

  #523 opened 4 months ago by yurivict
  0

• C++ interface for parsing ys files into formulas

  #526 opened 4 months ago by dyd1024
  0

• Segmentation Fault when calling get-value

  #403 opened 2 years ago by ekiwi
  0

• Bug in check-sat-assuming

  #433 opened 2 years ago by georgerennie
  1

• Assertion failure at solvers/simplex/simplex.c:10349

  #396 opened 3 years ago by mpreiner
  0

• Feature request : please support Finite Field simplification.

  #521 opened 6 months ago by ytrezq
  0

• Add support for QF_BVLRA

  #514 opened 6 months ago by ahmed-irfan
  0

• `pprod_term` may return incorrect pprod on hash collision

  #519 opened 6 months ago by Ovascos
  0

• The exists/forall solver failed: unsupported term

  #517 opened 7 months ago by Heaven2024
  0

• Bug in model construction from API, in Yices/CDCL(T)

  #451 opened 9 months ago by disteph
  1

• assertion failure in src/mcsat/value.c: Could be a duplicate of #451

  #486 opened 9 months ago by disteph
  1

• Segment fault in mcsat_process_registeration_queue

  #400 opened 9 months ago by merlinsun
  2

• yices_new_config() leads to segmentation fault.

  #493 opened 9 months ago by jparsert
  2

• Major performance difference between Yices2 and Z3 on BV benchmarks

  #492 opened 10 months ago by ThomasHaas
  0

• Yices global lock in egraph final check

  #487 opened a year ago by Saloed
  0

• To do: upgrade per-thread-state

  #454 opened a year ago by disteph
  8

• fix thread-safe timeouts to work on Windows

  #462 opened a year ago by ahmed-irfan
  0

• Cannot build per-thread-state branch with mingw64

  #418 opened a year ago by isanych
  2

• Merge the per-thread-state branch into master

  #469 opened a year ago by ahmed-irfan
  0

• Feature request: making delegates available when solving from a Yices context

  #453 opened a year ago by disteph
  0

• Displaying solving results when using --dimacs on trivial sat/unsat formulas

  #432 opened 2 years ago by rainoftime
  1

• API: Could yices_assert_blocking_clause return the clause?

  #393 opened 3 years ago by disteph
  0

• yices_model_set_<type> api in 2.6.4

  #392 opened 3 years ago by ianamason
  4

• yices_new_uninterpreted_term does not produce an uninterpreted term

  #414 opened 2 years ago by disteph
  1

• UNSAT cores support in mcSAT

  #455 opened a year ago by ahmed-irfan
  0

• Obviously incorrect model

  #440 opened 2 years ago by nafur
  0

• fatal: remote end hung up unexpectedly

  #423 opened 2 years ago by shanmukh2607
  5

• Poor test results on PowerPC: how to improve/fix?

  #424 opened 2 years ago by barracuda156
  6

• "" escape sequence not supported in strings

  #417 opened 2 years ago by stevenmeker
  0

• Double quotes omitted in echo command response

  #416 opened 2 years ago by stevenmeker
  0

• Doesn't always exit immediately on error

  #415 opened 2 years ago by stevenmeker
  0

• QF_LIA performance issue with mod/div

  #410 opened 2 years ago by unosalt
  0

• Is there any C API for me to extract value of a function?

  #407 opened 2 years ago by MrWater98
  2

• (get-value (0.0)) gives ((0.0 0)) , missing decimal point

  #406 opened 2 years ago by jwaldmann
  0

• Context cloning

  #405 opened 2 years ago by degrigis
  2

• Internal Yices Bug

  #404 opened 2 years ago by ekiwi
  0

• `get-value` on array does not inline function

  #402 opened 2 years ago by ekiwi
  2

• "FATAL ERROR: unexpected context status" when using (get-model) on an 'unknown' result

  #401 opened 2 years ago by GabrielVDSchot
  2

• The Source Code link is broken

  #397 opened 3 years ago by yurivict
  2

• Makefile.build:56: [...]/configs/make.include.amd64-portbld-freebsd13.0: No such file or directory

  #398 opened 3 years ago by yurivict
  2

• Invalid term with get-value on array constant.

  #395 opened 3 years ago by aniemetz
  2

• Requesting improved smt2 array support

  #390 opened 3 years ago by GreenBeard
  5

• Website Certificate Expiry

  #394 opened 3 years ago by DominicDams
  1

• SMT2 frontend does not flush output after responding to some commands

  #391 opened 3 years ago by greedy
  2