Commits

Branch selector

 cvc5_support

User selector

All users

All time

Commit History

Commits on Dec 3, 2022

• on separation logic support in smt solvers as of the 2022's end

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  0062a0e

  Copy full SHA for 0062a0e

Commits on Nov 28, 2022

• tests(excpet for one that hangs) are passing for cvc5

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  3c4e8bc

  Copy full SHA for 3c4e8bc

• exception typing

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  a58588e

  Copy full SHA for a58588e

• exception typing

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  9c16543

  Copy full SHA for 9c16543

• small fix and proper exception typing

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  9e9f761

  Copy full SHA for 9e9f761

• correctPrimitiveNumbersTypes hangs for more then 30 minutes

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  c97bade

  Copy full SHA for c97bade

Commits on Nov 12, 2022

• getting cvc5 api related errors in tests

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  a8eb673

  Copy full SHA for a8eb673

• jini files handling

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  6434159

  Copy full SHA for 6434159

• z3 translate and drafts for cvc5

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  c401924

  Copy full SHA for c401924

• accept for expersstion visitor

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  8321552

  Copy full SHA for 8321552

• visitors and cleanup

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  314e406

  Copy full SHA for 314e406

• abstract visitor

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e572645

  Copy full SHA for e572645

• abstract visitor

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  51521f0

  Copy full SHA for 51521f0

• visitor darft

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  b50c2e1

  Copy full SHA for b50c2e1

Commits on Oct 29, 2022

• better dependecies

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  5c38377

  Copy full SHA for 5c38377

• local file instead of system dependency

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  4284c0e

  Copy full SHA for 4284c0e

• to solver anglostic expresstion

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  6e9b572

  Copy full SHA for 6e9b572

• call site fix

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  20bef8d

  Copy full SHA for 20bef8d

• solver agnostic api

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e90d42b

  Copy full SHA for e90d42b

• formatting

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  8abce72

  Copy full SHA for 8abce72

Commits on Oct 27, 2022

• overview of cvc5 setup

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e754efe

  Copy full SHA for e754efe

• inital cvc5 support

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  24e4c3b

  Copy full SHA for 24e4c3b

Commits on Oct 10, 2022

• Revamped Readme

  alcides

  committed
  d0cd063

  Copy full SHA for d0cd063

• Removed .DS_Store

  alcides

  committed
  d79184a

  Copy full SHA for d79184a

• Moved folders

  alcides

  committed
  224c426

  Copy full SHA for 224c426

• Merge pull request #10 from CatarinaGamboa/refactoring

  Show description for 618a3f8
  alcides

  authored
  618a3f8

  Copy full SHA for 618a3f8

• Merge pull request #9 from CatarinaGamboa/field_updates

  Show description for 218ee88
  alcides

  authored
  218ee88

  Copy full SHA for 218ee88

• ignored spoon

  alcides

  committed
  f6f781a

  Copy full SHA for f6f781a

• comments

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  f7d2776

  Copy full SHA for f7d2776

• tests are working again

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  73a54a6

  Copy full SHA for 73a54a6

• logging

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  9c54eee

  Copy full SHA for 9c54eee

• typo

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  7268557

  Copy full SHA for 7268557

• loops to streams

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  ca3d090

  Copy full SHA for ca3d090

• call to method reference

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  cdf7467

  Copy full SHA for cdf7467

• loop to stream and final addition

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  6070d11

  Copy full SHA for 6070d11

Pagination

Previous

Next