Code

Unsat core#91

Code

Merged

alex-ozdemir merged 44 commits intocvc5:maincvc5/cvc5_pythonic_api:mainfrom LaorS:unsat_coreLaorS/cvc5_pythonic_api:unsat_coreCopy head branch name to clipboardMay 8, 2024

+179-2

Commits

Commits on Apr 23, 2023

• added strings

  LaorS

  committed
  d69cde3

  Copy full SHA for d69cde3

Commits on Apr 25, 2023

• changes in printer

  LaorS

  committed
  7cbc628

  Copy full SHA for 7cbc628

Commits on May 3, 2023

• added more string functions

  LaorS

  committed
  1a9a634

  Copy full SHA for 1a9a634

• added le,lt,ge,gr

  LaorS

  committed
  9881934

  Copy full SHA for 9881934

Commits on May 4, 2023

• added string printing

  LaorS

  committed
  c59b7fe

  Copy full SHA for c59b7fe

Commits on May 10, 2023

• added string tests

  LaorS

  committed
  8bd8860

  Copy full SHA for 8bd8860

Commits on May 17, 2023

• added string tests

  LaorS

  committed
  11542cf

  Copy full SHA for 11542cf

Commits on May 31, 2023

• added regular expressions

  LaorS

  committed
  036fc13

  Copy full SHA for 036fc13

Commits on Jun 4, 2023

• fixed Plus

  LaorS

  committed
  06bd219

  Copy full SHA for 06bd219

Commits on Jun 15, 2023

• added sequences

  LaorS

  committed
  a66afae

  Copy full SHA for a66afae

• small fixes

  LaorS

  committed
  beebc9f

  Copy full SHA for beebc9f

Commits on Jun 18, 2023

• fixed Empty

  LaorS

  committed
  1b69d40

  Copy full SHA for 1b69d40

• Update test/pgms/example_string_comparison.py

  Show description for 755685d
  

  LaorS

  and

  yoni206

  authored
  755685d

  Copy full SHA for 755685d

Commits on Jun 20, 2023

• added tests

  LaorS

  committed
  46620c7

  Copy full SHA for 46620c7

• added tests

  LaorS

  committed
  49c10be

  Copy full SHA for 49c10be

Commits on Jun 25, 2023

• removed cvc5-Linux

  LaorS

  committed
  87226c4

  Copy full SHA for 87226c4

• Update cvc5_pythonic_api/cvc5_pythonic_printer.py

  Show description for d1a2d89
  

  LaorS

  and

  yoni206

  authored
  d1a2d89

  Copy full SHA for d1a2d89

• added SeqUpdate

  LaorS

  committed
  c73ba74

  Copy full SHA for c73ba74

Commits on Jun 26, 2023

• more documentation

  LaorS

  committed
  96b30aa

  Copy full SHA for 96b30aa

• SubSeq on sequence only

  LaorS

  committed
  532adfd

  Copy full SHA for 532adfd

Commits on Jun 28, 2023

• added re concat

  LaorS

  committed
  d40cc29

  Copy full SHA for d40cc29

Commits on Jul 4, 2023

• added missing functions

  LaorS

  committed
  a4271a6

  Copy full SHA for a4271a6

Commits on Jul 6, 2023

• added doc-tests

  LaorS

  committed
  f1f7607

  Copy full SHA for f1f7607

Commits on Jul 12, 2023

• reverting formatting

  LaorS

  committed
  c379962

  Copy full SHA for c379962

• Merge branch 'main' into strings_new

  LaorS

  committed
  12cf47b

  Copy full SHA for 12cf47b

• format

  LaorS

  committed
  dfc5fcc

  Copy full SHA for dfc5fcc

• removed cvc5

  LaorS

  committed
  ebdf7eb

  Copy full SHA for ebdf7eb

Commits on Jul 17, 2023

• fixed tests,cast and string format + comment

  LaorS

  committed
  9ad8db5

  Copy full SHA for 9ad8db5

Commits on Aug 3, 2023

• fixed as_string

  LaorS

  committed
  66fa4d4

  Copy full SHA for 66fa4d4

• reformatted

  LaorS

  committed
  968e77a

  Copy full SHA for 968e77a

Commits on Oct 24, 2023

• unsat

  LaorS

  committed
  983fcc4

  Copy full SHA for 983fcc4

• merge

  LaorS

  committed
  2a42a46

  Copy full SHA for 2a42a46

Commits on Nov 5, 2023

• fixed tests

  LaorS

  committed
  545a073

  Copy full SHA for 545a073

Commits on Nov 7, 2023

• Update cvc5_pythonic_api/cvc5_pythonic.py

  Show description for 550785a
  

  LaorS

  and

  yoni206

  authored
  550785a

  Copy full SHA for 550785a

• Update cvc5_pythonic_api/cvc5_pythonic.py

  Show description for d2364bd
  

  LaorS

  and

  yoni206

  authored
  d2364bd

  Copy full SHA for d2364bd

• Update cvc5_pythonic_api/cvc5_pythonic.py

  Show description for b92b773
  

  LaorS

  and

  yoni206

  authored
  b92b773

  Copy full SHA for b92b773

• Update cvc5_pythonic_api/cvc5_pythonic.py

  Show description for 9ce80b8
  

  LaorS

  and

  yoni206

  authored
  9ce80b8

  Copy full SHA for 9ce80b8

• Update cvc5_pythonic_api/cvc5_pythonic.py

  Show description for e67c8d1
  

  LaorS

  and

  yoni206

  authored
  e67c8d1

  Copy full SHA for e67c8d1

• Update cvc5_pythonic_api/cvc5_pythonic.py

  Show description for 5be0b73
  

  LaorS

  and

  yoni206

  authored
  5be0b73

  Copy full SHA for 5be0b73

• Update test/pgms/unsat_core.py

  Show description for bfda30b
  

  LaorS

  and

  yoni206

  authored
  bfda30b

  Copy full SHA for bfda30b

Commits on Nov 12, 2023

• PR changes

  LaorS

  committed
  5538a22

  Copy full SHA for 5538a22

Commits on May 8, 2024

• test

  yoni206

  committed
  bff21e7

  Copy full SHA for bff21e7

• revert

  yoni206

  committed
  902ee60

  Copy full SHA for 902ee60

• fix

  yoni206

  committed
  d636a15

  Copy full SHA for d636a15