seyyedaliayati

from transformers import AutoModel
import torch

# Load the models
model1 = AutoModel.from_pretrained('bigcode/starcoderbase')  # replace with your model names
model2 = AutoModel.from_pretrained('bigcode/starcoder')

# Retrieve the state dictionaries
state_dict1 = model1.state_dict()
state_dict2 = model2.state_dict()

seyyedaliayati

diff --git a/aptos-move/framework/src/aptos.rs b/aptos-move/framework/src/aptos.rs
index 845756d18f..bc43243adb 100644
--- a/aptos-move/framework/src/aptos.rs
+++ b/aptos-move/framework/src/aptos.rs
@@ -110,6 +110,7 @@ impl ReleaseTarget {
                     include_impl: true,
                     include_specs: true,
                     specs_inlined: false,
+                    include_call_diagrams: false,
                     include_dep_diagram: false,

seyyedaliayati

pub struct BoogieOptions {
    /// Path to the boogie executable.
    pub boogie_exe: String,
    /// Use experimental boogie exe found via env var EXP_BOOGIE_EXE.
    pub use_exp_boogie: bool,
    /// Path to the z3 executable.
    pub z3_exe: String,
    /// Whether to use cvc5.
    pub use_cvc5: bool,
    /// Path to the cvc5 executable.

seyyedaliayati

pub struct ProverOptions {
    /// Whether to only generate backend code.
    pub generate_only: bool,
    /// Whether to generate stubs for native functions.
    pub native_stubs: bool,
    /// Whether to minimize execution traces in errors.
    pub minimize_execution_trace: bool,
    /// Whether to omit debug information in generated model.
    pub omit_model_debug: bool,
    /// Whether output for e.g. diagnosis shall be stable/redacted so it can be used in test

seyyedaliayati

seyyedaliayati

#include <pthread.h>

#include <cstdlib>
#include <iostream>

using namespace std;
int x = 0;

void *PrintHello(void *threadid) {
    long tid;

seyyedaliayati

#include <pthread.h>

int global;
pthread_mutex_t mutex;
int global_locked;

void *foo(void *a) {
  global++;
  pthread_mutex_lock(&mutex);
  global_locked++;