Code

Changes to proof_trace_writer.h#1183

Code

Closed

dmitry-vlasov wants to merge 216 commits intoruntimeverification:developruntimeverification/llvm-backend:developfrom dmitry-vlasov:dev/dmitry/10J24/proof_trace_callback_writer_virtual_callbacksdmitry-vlasov/llvm-backend:dev/dmitry/10J24/proof_trace_callback_writer_virtual_callbacksCopy head branch name to clipboard

+11-11

Commits

Commits on May 7, 2024

• Set Version: 0.1.6

  

  devops

  committed
  65cd137

  Copy full SHA for 65cd137

Commits on May 8, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  453cf1b

  Copy full SHA for 453cf1b

• Set Version: 0.1.7

  

  devops

  committed
  b6a1b07

  Copy full SHA for b6a1b07

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  2116723

  Copy full SHA for 2116723

• Set Version: 0.1.8

  

  devops

  committed
  db1784e

  Copy full SHA for db1784e

Commits on May 9, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  04ed7bc

  Copy full SHA for 04ed7bc

• Set Version: 0.1.9

  

  devops

  committed
  245bf95

  Copy full SHA for 245bf95

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  b54fa4c

  Copy full SHA for b54fa4c

• Set Version: 0.1.10

  

  devops

  committed
  ece4d09

  Copy full SHA for ece4d09

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ec1ac35

  Copy full SHA for ec1ac35

• Set Version: 0.1.11

  

  devops

  committed
  016e130

  Copy full SHA for 016e130

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  5928e31

  Copy full SHA for 5928e31

• Set Version: 0.1.12

  

  devops

  committed
  da09d4e

  Copy full SHA for da09d4e

Commits on May 13, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  b589be2

  Copy full SHA for b589be2

• Set Version: 0.1.13

  

  devops

  committed
  6ddebf8

  Copy full SHA for 6ddebf8

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e0dcd6d

  Copy full SHA for e0dcd6d

• Set Version: 0.1.14

  

  devops

  committed
  872a278

  Copy full SHA for 872a278

Commits on May 14, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  880145e

  Copy full SHA for 880145e

• Set Version: 0.1.15

  

  devops

  committed
  553f3d4

  Copy full SHA for 553f3d4

Commits on May 15, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  4807b04

  Copy full SHA for 4807b04

• Set Version: 0.1.16

  

  devops

  committed
  0e2b646

  Copy full SHA for 0e2b646

Commits on May 16, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  2d4ab32

  Copy full SHA for 2d4ab32

• Set Version: 0.1.17

  

  devops

  committed
  f2460e3

  Copy full SHA for f2460e3

Commits on May 17, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e5e7562

  Copy full SHA for e5e7562

• Set Version: 0.1.18

  

  devops

  committed
  bd5baac

  Copy full SHA for bd5baac

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  f60dd9a

  Copy full SHA for f60dd9a

• Set Version: 0.1.19

  

  devops

  committed
  0a117e0

  Copy full SHA for 0a117e0

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  804424e

  Copy full SHA for 804424e

• Set Version: 0.1.20

  

  devops

  committed
  f52eaba

  Copy full SHA for f52eaba

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  1ecb265

  Copy full SHA for 1ecb265

• Set Version: 0.1.21

  

  devops

  committed
  cd3c756

  Copy full SHA for cd3c756

Commits on May 20, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  3e26a6d

  Copy full SHA for 3e26a6d

• Set Version: 0.1.22

  

  devops

  committed
  58d1328

  Copy full SHA for 58d1328

Commits on May 21, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  1049279

  Copy full SHA for 1049279

• Set Version: 0.1.23

  

  devops

  committed
  b7069c4

  Copy full SHA for b7069c4

Commits on May 22, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  757aca4

  Copy full SHA for 757aca4

• Set Version: 0.1.24

  

  devops

  committed
  be6fcbf

  Copy full SHA for be6fcbf

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  cac6a20

  Copy full SHA for cac6a20

• Set Version: 0.1.25

  

  devops

  committed
  4859270

  Copy full SHA for 4859270

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  a71f397

  Copy full SHA for a71f397

• Set Version: 0.1.26

  

  devops

  committed
  0f10a29

  Copy full SHA for 0f10a29

Commits on May 23, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c588ca6

  Copy full SHA for c588ca6

• Set Version: 0.1.27

  

  devops

  committed
  cb6a770

  Copy full SHA for cb6a770

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  2c7202b

  Copy full SHA for 2c7202b

• Set Version: 0.1.28

  

  devops

  committed
  765f930

  Copy full SHA for 765f930

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  d94a182

  Copy full SHA for d94a182

• Set Version: 0.1.29

  

  devops

  committed
  cd15a54

  Copy full SHA for cd15a54

Commits on May 24, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  3ce690b

  Copy full SHA for 3ce690b

• Set Version: 0.1.30

  

  devops

  committed
  7a0e64a

  Copy full SHA for 7a0e64a

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ce7673e

  Copy full SHA for ce7673e

• Set Version: 0.1.31

  

  devops

  committed
  0b0bdae

  Copy full SHA for 0b0bdae

Commits on May 31, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e35c119

  Copy full SHA for e35c119

• Set Version: 0.1.32

  

  devops

  committed
  33bb26a

  Copy full SHA for 33bb26a

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ca0916f

  Copy full SHA for ca0916f

• Set Version: 0.1.33

  

  devops

  committed
  2983a01

  Copy full SHA for 2983a01

Commits on Jun 3, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ed32fbc

  Copy full SHA for ed32fbc

• Set Version: 0.1.34

  

  devops

  committed
  ff7f89b

  Copy full SHA for ff7f89b

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  a6a39c7

  Copy full SHA for a6a39c7

• Set Version: 0.1.35

  

  devops

  committed
  936e2d7

  Copy full SHA for 936e2d7

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  7b8900d

  Copy full SHA for 7b8900d

• Set Version: 0.1.36

  

  devops

  committed
  10bc556

  Copy full SHA for 10bc556

Commits on Jun 4, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  370972c

  Copy full SHA for 370972c

• Set Version: 0.1.37

  

  devops

  committed
  679b13f

  Copy full SHA for 679b13f

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ca735ef

  Copy full SHA for ca735ef

• Set Version: 0.1.38

  

  devops

  committed
  00f2d59

  Copy full SHA for 00f2d59

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e711679

  Copy full SHA for e711679

• Set Version: 0.1.39

  

  devops

  committed
  9b84828

  Copy full SHA for 9b84828

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  29d9dbd

  Copy full SHA for 29d9dbd

• Set Version: 0.1.40

  

  devops

  committed
  e0c848f

  Copy full SHA for e0c848f

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  be50c0b

  Copy full SHA for be50c0b

• Set Version: 0.1.41

  

  devops

  committed
  490ccfc

  Copy full SHA for 490ccfc

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  2588b0f

  Copy full SHA for 2588b0f

• Set Version: 0.1.42

  

  devops

  committed
  caca83f

  Copy full SHA for caca83f

Commits on Jun 5, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  00e1cfa

  Copy full SHA for 00e1cfa

• Set Version: 0.1.43

  

  devops

  committed
  6051aaa

  Copy full SHA for 6051aaa

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  722605a

  Copy full SHA for 722605a

• Set Version: 0.1.44

  

  devops

  committed
  744a615

  Copy full SHA for 744a615

Commits on Jun 6, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  6aa3ed2

  Copy full SHA for 6aa3ed2

• Set Version: 0.1.45

  

  devops

  committed
  efd2647

  Copy full SHA for efd2647

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  76c5757

  Copy full SHA for 76c5757

• Set Version: 0.1.46

  

  devops

  committed
  8f15667

  Copy full SHA for 8f15667

Commits on Jun 7, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  2b617d6

  Copy full SHA for 2b617d6

• Set Version: 0.1.47

  

  devops

  committed
  0ac6525

  Copy full SHA for 0ac6525

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  5147d42

  Copy full SHA for 5147d42

• Set Version: 0.1.48

  

  devops

  committed
  b22795d

  Copy full SHA for b22795d

Commits on Jun 10, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  0ecc3f5

  Copy full SHA for 0ecc3f5

• Set Version: 0.1.49

  

  devops

  committed
  2a33228

  Copy full SHA for 2a33228

Commits on Jun 18, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e25cf7d

  Copy full SHA for e25cf7d

• Set Version: 0.1.50

  

  devops

  committed
  a7e3213

  Copy full SHA for a7e3213

Commits on Jun 20, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  be8565e

  Copy full SHA for be8565e

• Set Version: 0.1.51

  

  devops

  committed
  6671fe4

  Copy full SHA for 6671fe4

Commits on Jun 27, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  8592ae8

  Copy full SHA for 8592ae8

• Set Version: 0.1.52

  

  devops

  committed
  9dfc379

  Copy full SHA for 9dfc379

Commits on Jul 5, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c655100

  Copy full SHA for c655100

• Set Version: 0.1.53

  

  devops

  committed
  3bfb6db

  Copy full SHA for 3bfb6db

Commits on Jul 9, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  edbb34d

  Copy full SHA for edbb34d

• Set Version: 0.1.54

  

  devops

  committed
  4a2b609

  Copy full SHA for 4a2b609

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e244c97

  Copy full SHA for e244c97

• Set Version: 0.1.55

  

  devops

  committed
  faf2ce6

  Copy full SHA for faf2ce6

Commits on Jul 10, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  310dbf1

  Copy full SHA for 310dbf1

• Set Version: 0.1.56

  

  devops

  committed
  bd12ae4

  Copy full SHA for bd12ae4

Commits on Jul 12, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  df88006

  Copy full SHA for df88006

• Set Version: 0.1.57

  

  devops

  committed
  66f9273

  Copy full SHA for 66f9273

Commits on Jul 19, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  4b95ff7

  Copy full SHA for 4b95ff7

• Set Version: 0.1.58

  

  devops

  committed
  038a6fe

  Copy full SHA for 038a6fe

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c140fff

  Copy full SHA for c140fff

• Set Version: 0.1.59

  

  devops

  committed
  ed79b7e

  Copy full SHA for ed79b7e

Commits on Jul 20, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  3602278

  Copy full SHA for 3602278

• Set Version: 0.1.60

  

  devops

  committed
  548a54c

  Copy full SHA for 548a54c

Commits on Jul 23, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  0e5c5ce

  Copy full SHA for 0e5c5ce

• Set Version: 0.1.61

  

  devops

  committed
  a77c3ec

  Copy full SHA for a77c3ec

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  f55a357

  Copy full SHA for f55a357

• Set Version: 0.1.62

  

  devops

  committed
  9b505ea

  Copy full SHA for 9b505ea

Commits on Jul 24, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  6498c52

  Copy full SHA for 6498c52

• Set Version: 0.1.63

  

  devops

  committed
  f5c71ff

  Copy full SHA for f5c71ff

Commits on Jul 26, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  50f97aa

  Copy full SHA for 50f97aa

• Set Version: 0.1.64

  

  devops

  committed
  79011ff

  Copy full SHA for 79011ff

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  66d1cfc

  Copy full SHA for 66d1cfc

• Set Version: 0.1.65

  

  devops

  committed
  4c15186

  Copy full SHA for 4c15186

Commits on Jul 29, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  65b1dfc

  Copy full SHA for 65b1dfc

• Set Version: 0.1.66

  

  devops

  committed
  e0aeeb5

  Copy full SHA for e0aeeb5

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  af135b6

  Copy full SHA for af135b6

• Set Version: 0.1.67

  

  devops

  committed
  5f84f0c

  Copy full SHA for 5f84f0c

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  6932a41

  Copy full SHA for 6932a41

• Set Version: 0.1.68

  

  devops

  committed
  7ad5d2c

  Copy full SHA for 7ad5d2c

Commits on Jul 31, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  00ab7bb

  Copy full SHA for 00ab7bb

• Set Version: 0.1.69

  

  devops

  committed
  5be14fe

  Copy full SHA for 5be14fe

Commits on Aug 1, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  1cf325d

  Copy full SHA for 1cf325d

• Set Version: 0.1.70

  

  devops

  committed
  3968914

  Copy full SHA for 3968914

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  deb7967

  Copy full SHA for deb7967

• Set Version: 0.1.71

  

  devops

  committed
  9fb93cf

  Copy full SHA for 9fb93cf

Commits on Aug 5, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  74fad20

  Copy full SHA for 74fad20

• Set Version: 0.1.72

  

  devops

  committed
  9ed61d6

  Copy full SHA for 9ed61d6

Commits on Aug 6, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  3f0686d

  Copy full SHA for 3f0686d

• Set Version: 0.1.73

  

  devops

  committed
  6f622c8

  Copy full SHA for 6f622c8

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  930211c

  Copy full SHA for 930211c

• Set Version: 0.1.74

  

  devops

  committed
  647f0ed

  Copy full SHA for 647f0ed

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  37bcb32

  Copy full SHA for 37bcb32

• Set Version: 0.1.75

  

  devops

  committed
  9cb2137

  Copy full SHA for 9cb2137

Commits on Aug 8, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  353ef9d

  Copy full SHA for 353ef9d

• Set Version: 0.1.76

  

  devops

  committed
  1bfee4d

  Copy full SHA for 1bfee4d

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  f5f7b3e

  Copy full SHA for f5f7b3e

• Set Version: 0.1.77

  

  devops

  committed
  e7266f7

  Copy full SHA for e7266f7

Commits on Aug 9, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c578d04

  Copy full SHA for c578d04

• Set Version: 0.1.78

  

  devops

  committed
  9f340e1

  Copy full SHA for 9f340e1

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  f172c61

  Copy full SHA for f172c61

• Set Version: 0.1.79

  

  devops

  committed
  3f9ce24

  Copy full SHA for 3f9ce24

Commits on Aug 20, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  17d47ce

  Copy full SHA for 17d47ce

• Set Version: 0.1.80

  

  devops

  committed
  5b77750

  Copy full SHA for 5b77750

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  aa26093

  Copy full SHA for aa26093

• Set Version: 0.1.81

  

  devops

  committed
  b9dc4ff

  Copy full SHA for b9dc4ff

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  dfad14f

  Copy full SHA for dfad14f

• Set Version: 0.1.82

  

  devops

  committed
  5f712a6

  Copy full SHA for 5f712a6

Commits on Aug 21, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e0be53f

  Copy full SHA for e0be53f

• Set Version: 0.1.83

  

  devops

  committed
  430353d

  Copy full SHA for 430353d

Commits on Aug 22, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  bea1be6

  Copy full SHA for bea1be6

• Set Version: 0.1.84

  

  devops

  committed
  b9d2a6d

  Copy full SHA for b9d2a6d

Commits on Sep 3, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  02e50b5

  Copy full SHA for 02e50b5

• Set Version: 0.1.85

  

  devops

  committed
  04b0ba0

  Copy full SHA for 04b0ba0

Commits on Sep 9, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  eaf43b8

  Copy full SHA for eaf43b8

• Set Version: 0.1.86

  

  devops

  committed
  fae460b

  Copy full SHA for fae460b

Commits on Sep 11, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  b3588d7

  Copy full SHA for b3588d7

• Set Version: 0.1.87

  

  devops

  committed
  bc4a184

  Copy full SHA for bc4a184

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  3657b71

  Copy full SHA for 3657b71

• Set Version: 0.1.88

  

  devops

  committed
  344d133

  Copy full SHA for 344d133

Commits on Sep 13, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  f5a5091

  Copy full SHA for f5a5091

• Set Version: 0.1.89

  

  devops

  committed
  a1459e3

  Copy full SHA for a1459e3

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  f85b115

  Copy full SHA for f85b115

• Set Version: 0.1.90

  

  devops

  committed
  cdf4c3b

  Copy full SHA for cdf4c3b

Commits on Sep 17, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  a1b4a2a

  Copy full SHA for a1b4a2a

• Set Version: 0.1.91

  

  devops

  committed
  bb6c1a6

  Copy full SHA for bb6c1a6

Commits on Sep 18, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  4cdd700

  Copy full SHA for 4cdd700

• Set Version: 0.1.92

  

  devops

  committed
  bf51ee4

  Copy full SHA for bf51ee4

Commits on Sep 19, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c00b6a7

  Copy full SHA for c00b6a7

• Set Version: 0.1.93

  

  devops

  committed
  8b860f9

  Copy full SHA for 8b860f9

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  444e9ee

  Copy full SHA for 444e9ee

• Set Version: 0.1.94

  

  devops

  committed
  c023bc5

  Copy full SHA for c023bc5

Commits on Sep 23, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  c262351

  Copy full SHA for c262351

• Set Version: 0.1.95

  

  devops

  committed
  b830daa

  Copy full SHA for b830daa

Commits on Sep 30, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e829263

  Copy full SHA for e829263

• Set Version: 0.1.96

  

  devops

  committed
  0947635

  Copy full SHA for 0947635

Commits on Oct 1, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  bc339d6

  Copy full SHA for bc339d6

• Set Version: 0.1.97

  

  devops

  committed
  9b362e5

  Copy full SHA for 9b362e5

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  2b9c79f

  Copy full SHA for 2b9c79f

• Set Version: 0.1.98

  

  devops

  committed
  812ea2a

  Copy full SHA for 812ea2a

Commits on Oct 11, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  61d117a

  Copy full SHA for 61d117a

• Set Version: 0.1.99

  

  devops

  committed
  3db6947

  Copy full SHA for 3db6947

Commits on Oct 16, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  1b6d81d

  Copy full SHA for 1b6d81d

• Set Version: 0.1.100

  

  devops

  committed
  84a419e

  Copy full SHA for 84a419e

Commits on Oct 17, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  035c600

  Copy full SHA for 035c600

• Set Version: 0.1.101

  

  devops

  committed
  37b1dd9

  Copy full SHA for 37b1dd9

Commits on Oct 23, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  409ec0f

  Copy full SHA for 409ec0f

• Set Version: 0.1.102

  

  devops

  committed
  3189cbc

  Copy full SHA for 3189cbc

Commits on Oct 29, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  df6d4de

  Copy full SHA for df6d4de

• Set Version: 0.1.103

  

  devops

  committed
  d5eab4b

  Copy full SHA for d5eab4b

Commits on Nov 25, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ecbe5ea

  Copy full SHA for ecbe5ea

• Set Version: 0.1.104

  

  devops

  committed
  8e774d2

  Copy full SHA for 8e774d2

Commits on Nov 26, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  5c6cb70

  Copy full SHA for 5c6cb70

• Set Version: 0.1.105

  

  devops

  committed
  ed75d34

  Copy full SHA for ed75d34

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  319e0bc

  Copy full SHA for 319e0bc

• Set Version: 0.1.106

  

  devops

  committed
  f6c3bdb

  Copy full SHA for f6c3bdb

Commits on Nov 27, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  a29e1fe

  Copy full SHA for a29e1fe

• Set Version: 0.1.107

  

  devops

  committed
  e7d5b04

  Copy full SHA for e7d5b04

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  38cc6e4

  Copy full SHA for 38cc6e4

• Set Version: 0.1.108

  

  devops

  committed
  7230a44

  Copy full SHA for 7230a44

Commits on Dec 2, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  1db4dcb

  Copy full SHA for 1db4dcb

• Set Version: 0.1.109

  

  devops

  committed
  19cc319

  Copy full SHA for 19cc319

Commits on Dec 5, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  ea3f2f4

  Copy full SHA for ea3f2f4

• Set Version: 0.1.110

  

  devops

  committed
  43558bf

  Copy full SHA for 43558bf

Commits on Dec 6, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e84edee

  Copy full SHA for e84edee

• Set Version: 0.1.111

  

  devops

  committed
  e919a86

  Copy full SHA for e919a86

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  38e88f9

  Copy full SHA for 38e88f9

• Set Version: 0.1.112

  

  devops

  committed
  79eb970

  Copy full SHA for 79eb970

Commits on Dec 9, 2024

• Merge remote-tracking branch 'origin/develop'

  

  devops

  committed
  e595e03

  Copy full SHA for e595e03

• Set Version: 0.1.113

  

  devops

  committed
  b16e56c

  Copy full SHA for b16e56c

Commits on Dec 10, 2024

• Changes to proof_trace_writer.h

  Show description for 327e2ae
  dmitry-vlasov

  committed
  327e2ae

  Copy full SHA for 327e2ae