Code

Lib Additions#627

Code

Merged

MichaelRawson merged 24 commits intomastervprover/vampire:masterfrom lib-additionsvprover/vampire:lib-additionsCopy head branch name to clipboardDec 11, 2024

+690-214

Commits

Commits on Dec 10, 2024

• output operator

  joe-hauns

  committed
  00a8a72

  Copy full SHA for 00a8a72

• extended coproduct with new utility functions

  joe-hauns

  committed
  1e29a14

  Copy full SHA for 1e29a14

• tidy

  joe-hauns

  committed
  71bb649

  Copy full SHA for 71bb649

• extended typelist with some new utility functions

  joe-hauns

  committed
  e39739b

  Copy full SHA for e39739b

• new helper iterator combinators

  joe-hauns

  committed
  8fb3bba

  Copy full SHA for 8fb3bba

• tidy

  joe-hauns

  committed
  dcc6962

  Copy full SHA for dcc6962

• added iterator functionality to List

  joe-hauns

  committed
  a05d361

  Copy full SHA for a05d361

• added recycler functionality

  joe-hauns

  committed
  11ec050

  Copy full SHA for 11ec050

• option flattening

  joe-hauns

  committed
  6616949

  Copy full SHA for 6616949

• operator overloading for Perfect shared pointer

  joe-hauns

  committed
  c071495

  Copy full SHA for c071495

• prevent implicit copying

  joe-hauns

  committed
  629f8a5

  Copy full SHA for 629f8a5

• helper functions for std::shared_ptr constructing

  joe-hauns

  committed
  af9f184

  Copy full SHA for af9f184

• using the right new operator that is in scope

  joe-hauns

  committed
  1cfa777

  Copy full SHA for 1cfa777

• making smart ptr ditsinguishable from normal ptr in output

  joe-hauns

  committed
  87de7f3

  Copy full SHA for 87de7f3

• fixed stack sorting to use correct default argument

  joe-hauns

  committed
  f96a4f9

  Copy full SHA for f96a4f9

• moved string distance to StringUtils from Options.hpp

  joe-hauns

  committed
  b705d79

  Copy full SHA for b705d79

• Merge branch 'output-refactor' into lib-additions

  joe-hauns

  committed
  bd77ad6

  Copy full SHA for bd77ad6

• overrides and move constructors

  joe-hauns

  committed
  9499127

  Copy full SHA for 9499127

• explicit std namespace

  joe-hauns

  committed
  9bb39ce

  Copy full SHA for 9bb39ce

• minor fixes

  joe-hauns

  committed
  b1fa019

  Copy full SHA for b1fa019

• removed import

  joe-hauns

  committed
  192b0ee

  Copy full SHA for 192b0ee

• explicit namespace std

  joe-hauns

  committed
  185e2f7

  Copy full SHA for 185e2f7

Commits on Dec 11, 2024

• Merge branch 'master' into lib-additions

  joe-hauns

  committed
  dfa8711

  Copy full SHA for dfa8711

• explicit copy constructor for DArray

  joe-hauns

  committed
  2ea022e

  Copy full SHA for 2ea022e