DieracDelta

{
  description = "nix shell";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
    utils.url = "github:numtide/flake-utils";
    fenix = {
      url = "github:nix-community/fenix";
      inputs.nixpkgs.follows = "nixpkgs";
    };

DieracDelta

error: linking with `cc` failed: exit status: 1
  |
  = note: LC_ALL="C" PATH="/nix/store/q42lsmgr7kbwilihsq4i4ymvzwg1h9yh-rust-stable-with-components-2023-07-13/lib/rustlib/aarch64-apple-darwin/bin:/nix/store/pq0352rl2b9qkcav1mrhkxcvs72yrvb5-clang-wrapper-15.0.7/bin:/nix/store/7ywqmdccjpfl13kxr3gvmr02mq5ygij2-clang-15.0.7/bin:/nix/store/n2qigpad2qj3fqnjq86ldlwzjy5fcy0i-coreutils-9.3/bin:/nix/store/14ria8fq245s4dlmhxkfrvfrjrasqx7s-cctools-binutils-darwin-wrapper-11.1.0-973.0.1/bin:/nix/store/azq4p19mg4gmin35s9cc73xy9vmqmhxv-cctools-binutils-darwin-11.1.0-973.0.1/bin:/nix/store/q42lsmgr7kbwilihsq4i4ymvzwg1h9yh-rust-stable-with-components-2023-07-13/bin:/nix/store/xbah3xx8229q8nnnv2nv6avgf1rdifyl-pkg-config-wrapper-0.29.2/bin:/nix/store/x8f782cfz6bh6k8yrj2r294whanhcdmi-rust-analyzer-nightly-899dd84/bin:/nix/store/2aaqy1y1ahrpvj8ygwwrrlg0dvjda75j-just-1.14.0/bin:/nix/store/2xx11jwqaga15rnz4a2sdkrrkclgcdjr-cargo-expand-1.0.62/bin:/nix/store/mhajpvliapaa4dcmnxr0fjyk5f2g3gyk-nix-2.17.0/bin:/nix/store/737lcp5y3d3nik

DieracDelta

use std::rc::*;
use std::cell::*;
use std::collections::HashMap;

#[derive(Debug)]
struct Node {
    pub key: i32,
    pub val: i32,
    pub prev: Option<Rc<RefCell<Node>>>,
    pub next: Option<Rc<RefCell<Node>>>,

DieracDelta

  Undefined symbols for architecture arm64:
  "__DefaultRuneLocale", referenced from:
      __ZN3nix24string2IntWithUnitPrefixIyEET_NSt3__117basic_string_viewIcNS2_11char_traitsIcEEEE in shared.o
  "__Unwind_Resume", referenced from:
      __ZN3nix13MixCommonArgsC2ERKNSt3__112basic_stringIcNS1_11char_traitsIcEENS1_9allocatorIcEEEE in common-args.o
      __ZN3nix13MixCommonArgsC1ERKNSt3__112basic_stringIcNS1_11char_traitsIcEENS1_9allocatorIcEEEE in common-args.o
      __ZN3nix4Args7HandlerC2EONSt3__18functionIFvvEEE in common-args.o
      __ZNSt3__120__throw_length_errorEPKc in common-args.o
      __ZNKSt3__110__function6__funcIZN3nix4Args7HandlerC1EONS_8functionIFvvEEEEUlNS_6vectorINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEENSD_ISF_EEEEE_NSD_ISI_EEFvSH_EE7__cloneEv in common-args.o
      __ZNSt3__128__invoke_void_return_wrapperIvE6__callIJRZN3nix4Args7HandlerC1EONS_8functionIFvvEEEEUlNS_6vectorINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEENSE_ISG_EEEEE_SI_EEEvDpOT_ in common-args.o

DieracDelta

{
  description = "Nyxt flake";

  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
    utils.url = "github:numtide/flake-utils";
  };

  outputs = {self, nixpkgs, utils}:
    utils.lib.eachDefaultSystem (system:

DieracDelta

Comparing

0012887c: sub hash_get_n_entries(hash_get_n_entries_result)
0012a6a6: hash_get_n_entries_result :: out u32 = RAX

00048360:
00048365: RAX := mem[RDI + 0x20, el]:u64
0004836e: #10298 := mem[RSP, el]:u64
00048371: RSP := RSP + 8

DieracDelta

Evaluating precondition.
Call graph 'bap wp --func=encode_nqueens_net --trip-asserts --num-unroll=0 -- bin/main_4':
------------------------------------------------------------------------------------------
[  198.32G cycles in        1 calls ]     - 98.89% : Src/precondition.check
[  198.32G cycles in        1 calls ]     |   - 100.00% : Src/constraint.eval
[  198.32G cycles in        1 calls ]     |   |   - 100.00% : Src/constraint.eval_aux
[   13.50G cycles in 20546138 calls ]     |   |   |   -  6.81% : Src/constraint.update_stats

Note: Nodes accounting for less than 1.00% of their parent have been ignored.

DieracDelta

#include <assert.h>
#include <stdint.h>
#include <stdbool.h>
#include <stdio.h>

#define GET_ELEMENT(index, input) (( (input) >> (2 * (index))) & 0x3)

void print_board(uint32_t board){
  for(int row = 0; row < 4; row++){
    for(int col = 0; col < 4; col++){

DieracDelta

real	0m31.460s
user	0m28.338s
sys	0m3.103s
dir_result)
0012a6c7: is_dumpdir_result :: out u32 = RAX
000ccd2c: 
000ccd31: RAX := pad:64[pad:32[mem[RDI + 0x188]]]
000ccd3e: #27613 := low:8[RAX]
000ccd41: OF := 0

DieracDelta

real	1m3.016s
user	0m59.842s
sys	0m3.154s
esult)
0012a704: mb_copy_result :: out u32 = RAX
0000196e: 
00001975: #259 := RBP
00001978: RSP := RSP - 8
0000197b: mem := mem with [RSP, el]:u64 <- #259