z3: 4.8.17 -> 4.13.3; z3_4_12: 4.12.5 -> 4.12.6

Description of changes

nixpkgs z3 default is now 4.13 instead of 4.8.
Fixing breakage due to setuptools removal in #320924 for z3 4.8
Adding more z3 versions and updating existing ones
Making the checkPhase go faster

Resolves #326120.
Things done

Built on platform(s)

[x] x86_64-linux
[ ] aarch64-linux
[ ] x86_64-darwin
[ ] aarch64-darwin

For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)

[ ] sandbox = relaxed
[ ] sandbox = true

[ ] Tested, as applicable:

NixOS test(s) (look inside nixos/tests)
and/or package tests
or, for functions and "core" functionality, tests in lib/tests or pkgs/test
made sure NixOS tests are linked to the relevant packages

[x] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
[x] Tested basic functionality of all binary files (usually in ./result/bin/)
24.11 Release Notes (or backporting 23.11 and 24.05 Release notes)

[x] (Package updates) Added a release notes entry if the change is major or breaking
[ ] (Module updates) Added a release notes entry if the change is significant
[ ] (Module addition) Added a release notes entry if adding a new NixOS module

[x] Fits CONTRIBUTING.md.

Add a :+1: reaction to pull requests you find important.

Rebased.

ofborg complains about a test failure on Mac:
       > xxx
       > (or (and true (not (not true))) (and true (not (not false)))) true
       > /nix/store/qkjcgnzm56frvkvsm4q66bf75bq9z6v2-stdenv-darwin/setup: line 1720: 71274 Segmentation fault: 11  ./test-z3 -a
       For full logs, run 'nix log /nix/store/yhglasr16smlyilskm2wy1s4n62bkqz6-z3-4.8.17.drv'.
error: building of '/nix/store/5jynspwpzb77mmgsl93amdrjj5s6m7jf-z3-4.13.3.drv^out' from .drv file timed out after 3600 seconds
error: build of '/nix/store/5jynspwpzb77mmgsl93amdrjj5s6m7jf-z3-4.13.3.drv', '/nix/store/yhglasr16smlyilskm2wy1s4n62bkqz6-z3-4.8.17.drv' failed

Weird. Technically the only way I affected that build was adding the -j $NIX_BUILD_CORES to checkPhase...

I'll try another approach, probably just going to disable the parallel test build on MacOS.

Wait, that doesn't seem like the problem:
/nix/store/qkjcgnzm56frvkvsm4q66bf75bq9z6v2-stdenv-darwin/setup: line 1720: 71274 Segmentation fault: 11  ./test-z3 -a
The actual test runner isn't even run in parallel!

https://github.com/NixOS/nixpkgs/pull/327052/commits/8e5e9e97316ee87b33c395db0d4ffb0478f69297
Presumably this problem is only for legacy versions. One would hope. :upside_down_face:

Well it still fails after 3 retries. It is odd that it still passes on Linux.

Let's find out whether it's the ordering of test source files that's causing an only-on-Darwin segfault...

Now I wonder if the previous success was spurious...

Reworking this PR. We have been on Z3 4.8 for a while, I'd like to see what breaks. F* is one, but it is hardcoded to a new z3 version anyway/

Looks less broken than I assumed.
ponyc is seemingly broken, I'll see what I can do in another PR.
12 packages marked as broken and skipped:
python311Packages.angr python311Packages.angr.dist python311Packages.angrcli python311Packages.angrcli.dist python311Packages.angrop python311Packages.angrop.dist python312Packages.angr python312Packages.angr.dist python312Packages.angrcli python312Packages.angrcli.dist python312Packages.angrop python312Packages.angrop.dist
2 packages failed to build:
pony-corral ponyc
91 packages built:
acl2 alive2 boogie circt circt.dev circt.lib dafny fstar glasgow glasgow.dist hal-hardware-analyzer iprover isabelle isabelle-components.isabelle-linter klee libbap ocamlPackages.z3 python311Packages.amaranth python311Packages.amaranth-boards python311Packages.amaranth-boards.dist python311Packages.amaranth-soc python311Packages.amaranth-soc.dist python3
11Packages.amaranth.dist python311Packages.bap python311Packages.bap.dist python311Packages.claripy python311Packages.claripy.dist python311Packages.deal python311Packages.deal-solver python311Packages.deal-solver.dist python311Packages.deal.dist python311Packages.icontract python311Packages.icontract.dist python311Packages.miasm python311Packages.miasm.
dist python311Packages.model-checker python311Packages.model-checker.dist python311Packages.pylddwrap python311Packages.pylddwrap.dist python311Packages.z3-solver python312Packages.amaranth python312Packages.amaranth-boards python312Packages.amaranth-boards.dist python312Packages.amaranth-soc python312Packages.amaranth-soc.dist python312Packages.amaranth
.dist python312Packages.bap python312Packages.bap.dist python312Packages.claripy python312Packages.claripy.dist python312Packages.deal python312Packages.deal-solver python312Packages.deal-solver.dist python312Packages.deal.dist python312Packages.icontract python312Packages.icontract.dist python312Packages.miasm python312Packages.miasm.dist python312Packa
ges.model-checker python312Packages.model-checker.dist python312Packages.pylddwrap python312Packages.pylddwrap.dist python312Packages.z3-solver sail-riscv-rv32 sail-riscv-rv64 sby solc tlaps ugarit vampire z3 z3-tptp z3.dev z3.lib z3.python z3_4_11 z3_4_11.dev z3_4_11.lib z3_4_11.python z3_4_12 z3_4_12.dev z3_4_12.lib z3_4_12.python z3_4_8 z3_4_8.dev z3_
4_8.lib z3_4_8.python z3_4_8_5 z3_4_8_5.dev z3_4_8_5.lib z3_4_8_5.python

Looks good now, one check is still queued on the Darwin aarch64 node.

Should be good.

I still let the review run. Not really useful now.
Result of nixpkgs-review pr 327052 run on x86_64-linux 1

12 packages marked as broken and skipped:

python311Packages.angr
python311Packages.angr.dist
python311Packages.angrcli
python311Packages.angrcli.dist
python311Packages.angrop
python311Packages.angrop.dist
python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist

2 packages blacklisted:

nixos-install-tools
tests.nixos-functions.nixos-test

46 packages failed to build:

acl2
alive2
boogie (dotnetPackages.Boogie)
circt
circt.dev
circt.lib
dafny
glasgow
glasgow.dist
hal-hardware-analyzer
haskellPackages.hz3
haskellPackages.hz3.doc
haskellPackages.rest-rewrite
haskellPackages.smtlib-backends-z3
haskellPackages.smtlib-backends-z3.doc
haskellPackages.z3
haskellPackages.z3.doc
iprover
isabelle
isabelle-components.isabelle-linter
klee
pony-corral
ponyc
python311Packages.amaranth
python311Packages.amaranth-boards
python311Packages.amaranth-boards.dist
python311Packages.amaranth-soc
python311Packages.amaranth-soc.dist
python311Packages.amaranth.dist
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
sail-riscv-rv32
sail-riscv-rv64
sby
tlaps
ugarit
vampire
z3 (z3_4_13)
z3-tptp
z3.dev (z3_4_13.dev)
z3.lib (z3_4_13.lib)
z3.python (z3_4_13.python)

53 packages built:

fstar
libbap
python311Packages.bap
python311Packages.bap.dist
python311Packages.claripy
python311Packages.claripy.dist
python311Packages.deal
python311Packages.deal-solver
python311Packages.deal-solver.dist
python311Packages.deal.dist
python311Packages.icontract
python311Packages.icontract.dist
python311Packages.miasm
python311Packages.miasm.dist
python311Packages.model-checker
python311Packages.model-checker.dist
python311Packages.pylddwrap
python311Packages.pylddwrap.dist
python311Packages.z3-solver (python311Packages.z3-solver.dev ,python311Packages.z3-solver.lib ,python311Packages.z3-solver.python)
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
solc
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

Thanks for running it anyway, I'll take a look at it locally again.

Hmm.. for some reason the compiler error no longer occurs.
Of the failures below, isabelle seems signifcant.

10 packages failed to build:

acl2
haskellPackages.hz3
haskellPackages.hz3.doc
haskellPackages.z3
haskellPackages.z3.doc
isabelle
isabelle-components.isabelle-linter
pony-corral
ponyc
tlaps

@FliegendeWurst  I think that isabelle and acl2 failure is illusory. Hate for it to come down to a "works on my machine" but the builds of some of these use an obscene amount of memory and acl2 in parallel with everything else using nixpkgs-review was getting OOM killed even though I've gotten acl2 building before.
Rebased against master:
Result of nixpkgs-review run on x86_64-linux 1

12 packages marked as broken and skipped:

python311Packages.angr
python311Packages.angr.dist
python311Packages.angrcli
python311Packages.angrcli.dist
python311Packages.angrop
python311Packages.angrop.dist
python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist

1 package blacklisted:

nixos-install-tools

3 packages failed to build:

acl2
pony-corral
ponyc

90 packages built:

alive2
boogie
circt
circt.dev
circt.lib
dafny
fstar
glasgow
glasgow.dist
hal-hardware-analyzer
iprover
isabelle
isabelle-components.isabelle-linter
klee
libbap
ocamlPackages.z3
python311Packages.amaranth
python311Packages.amaranth-boards
python311Packages.amaranth-boards.dist
python311Packages.amaranth-soc
python311Packages.amaranth-soc.dist
python311Packages.amaranth.dist
python311Packages.bap
python311Packages.bap.dist
python311Packages.claripy
python311Packages.claripy.dist
python311Packages.deal
python311Packages.deal-solver
python311Packages.deal-solver.dist
python311Packages.deal.dist
python311Packages.icontract
python311Packages.icontract.dist
python311Packages.miasm
python311Packages.miasm.dist
python311Packages.model-checker
python311Packages.model-checker.dist
python311Packages.pylddwrap
python311Packages.pylddwrap.dist
python311Packages.z3-solver (python311Packages.z3-solver.dev ,python311Packages.z3-solver.lib ,python311Packages.z3-solver.python)
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
sail-riscv-rv32
sail-riscv-rv64
sby
solc
tlaps
ugarit
vampire
z3
z3-tptp
z3.dev
z3.lib
z3.python
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

I've got a PR open to fix ponyc that fixes it and pony-corral but I need to do some more work on it. So this review would have been all green modulo those.

In any case, the latest changes just rebase this PR against master.

Sample of the error on acl2 which is an OOM:
acl2> Making /nix/store/fv4zgiiwmnwjbyf9dfy2779nizhlajbd-acl2-8.5/share/acl2/books/projects/rp-rewriter/meta/equal-meta.cert on 17-Nov-2024 05:15:28.658
acl2> workxxx.y86.cert.1046041183.SH: line 26: 86401 Killed                  ( /nix/store/fv4zgiiwmnwjbyf9dfy2779nizhlajbd-acl2-8.5/share/acl2/saved_acl2 < 'workxxx.y86.cert.1046041183.LISP' 2>&1 ) >> 'y86.cert.out'
acl2> ls: cannot access 'y86.cert': No such file or directory
acl2>
acl2> **CERTIFICATION FAILED** for /nix/store/fv4zgiiwmnwjbyf9dfy2779nizhlajbd-acl2-8.5/share/acl2/books/models/y86/y86-basic/y86/y86.lisp

Oh, you are right. I should've checked. This sort of thing never happened since I upgraded to 128 gigs of RAM...

[498269.219046] Out of memory: Killed process 2862577 (nix)

I have 192 GB on a 24 core EPYC 9004 and 64 are reserved for hugepages. Even so there is plenty of other stuff running and I'm having this issue too...

Trying this without hugepages on an Ampere Altra Q64-22 (128GB of RAM) 64k page size.

Result of nixpkgs-review pr 327052 run on aarch64-linux 1

12 packages marked as broken and skipped:

python311Packages.angr
python311Packages.angr.dist
python311Packages.angrcli
python311Packages.angrcli.dist
python311Packages.angrop
python311Packages.angrop.dist
python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist

2 packages blacklisted:

nixos-install-tools
tests.nixos-functions.nixos-test

98 packages failed to build:

acl2
alive2
boogie (dotnetPackages.Boogie)
circt
circt.dev
circt.lib
dafny
fstar
glasgow
glasgow.dist
hal-hardware-analyzer
haskellPackages.hz3
haskellPackages.hz3.doc
haskellPackages.rest-rewrite
haskellPackages.smtlib-backends-z3
haskellPackages.smtlib-backends-z3.doc
haskellPackages.z3
haskellPackages.z3.doc
iprover
isabelle
isabelle-components.isabelle-linter
libbap
pony-corral
ponyc
python311Packages.amaranth
python311Packages.amaranth-boards
python311Packages.amaranth-boards.dist
python311Packages.amaranth-soc
python311Packages.amaranth-soc.dist
python311Packages.amaranth.dist
python311Packages.bap
python311Packages.bap.dist
python311Packages.claripy
python311Packages.claripy.dist
python311Packages.deal
python311Packages.deal-solver
python311Packages.deal-solver.dist
python311Packages.deal.dist
python311Packages.icontract
python311Packages.icontract.dist
python311Packages.miasm
python311Packages.miasm.dist
python311Packages.model-checker
python311Packages.model-checker.dist
python311Packages.pylddwrap
python311Packages.pylddwrap.dist
python311Packages.z3-solver (python311Packages.z3-solver.dev ,python311Packages.z3-solver.lib ,python311Packages.z3-solver.python)
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
sail-riscv-rv32
sail-riscv-rv64
sby
solc
tlaps
ugarit
vampire
z3 (z3_4_13)
z3-tptp
z3.dev (z3_4_13.dev)
z3.lib (z3_4_13.lib)
z3.python (z3_4_13.python)
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

Result of nixpkgs-review pr 327052 run on aarch64-linux 1

12 packages marked as broken and skipped:

python311Packages.angr
python311Packages.angr.dist
python311Packages.angrcli
python311Packages.angrcli.dist
python311Packages.angrop
python311Packages.angrop.dist
python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist

2 packages blacklisted:

nixos-install-tools
tests.nixos-functions.nixos-test

98 packages failed to build:

acl2
alive2
boogie (dotnetPackages.Boogie)
circt
circt.dev
circt.lib
dafny
fstar
glasgow
glasgow.dist
hal-hardware-analyzer
haskellPackages.hz3
haskellPackages.hz3.doc
haskellPackages.rest-rewrite
haskellPackages.smtlib-backends-z3
haskellPackages.smtlib-backends-z3.doc
haskellPackages.z3
haskellPackages.z3.doc
iprover
isabelle
isabelle-components.isabelle-linter
libbap
pony-corral
ponyc
python311Packages.amaranth
python311Packages.amaranth-boards
python311Packages.amaranth-boards.dist
python311Packages.amaranth-soc
python311Packages.amaranth-soc.dist
python311Packages.amaranth.dist
python311Packages.bap
python311Packages.bap.dist
python311Packages.claripy
python311Packages.claripy.dist
python311Packages.deal
python311Packages.deal-solver
python311Packages.deal-solver.dist
python311Packages.deal.dist
python311Packages.icontract
python311Packages.icontract.dist
python311Packages.miasm
python311Packages.miasm.dist
python311Packages.model-checker
python311Packages.model-checker.dist
python311Packages.pylddwrap
python311Packages.pylddwrap.dist
python311Packages.z3-solver (python311Packages.z3-solver.dev ,python311Packages.z3-solver.lib ,python311Packages.z3-solver.python)
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
sail-riscv-rv32
sail-riscv-rv64
sby
solc
tlaps
ugarit
vampire
z3 (z3_4_13)
z3-tptp
z3.dev (z3_4_13.dev)
z3.lib (z3_4_13.lib)
z3.python (z3_4_13.python)
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

Result of nixpkgs-review pr 327052 run on aarch64-linux 1

12 packages marked as broken and skipped:

python311Packages.angr
python311Packages.angr.dist
python311Packages.angrcli
python311Packages.angrcli.dist
python311Packages.angrop
python311Packages.angrop.dist
python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist

2 packages blacklisted:

nixos-install-tools
tests.nixos-functions.nixos-test

5 packages failed to build:

fstar
haskellPackages.hz3
haskellPackages.hz3.doc
haskellPackages.z3
haskellPackages.z3.doc

93 packages built:

acl2
alive2
boogie (dotnetPackages.Boogie)
circt
circt.dev
circt.lib
dafny
glasgow
glasgow.dist
hal-hardware-analyzer
haskellPackages.rest-rewrite
haskellPackages.smtlib-backends-z3
haskellPackages.smtlib-backends-z3.doc
iprover
isabelle
isabelle-components.isabelle-linter
libbap
pony-corral
ponyc
python311Packages.amaranth
python311Packages.amaranth-boards
python311Packages.amaranth-boards.dist
python311Packages.amaranth-soc
python311Packages.amaranth-soc.dist
python311Packages.amaranth.dist
python311Packages.bap
python311Packages.bap.dist
python311Packages.claripy
python311Packages.claripy.dist
python311Packages.deal
python311Packages.deal-solver
python311Packages.deal-solver.dist
python311Packages.deal.dist
python311Packages.icontract
python311Packages.icontract.dist
python311Packages.miasm
python311Packages.miasm.dist
python311Packages.model-checker
python311Packages.model-checker.dist
python311Packages.pylddwrap
python311Packages.pylddwrap.dist
python311Packages.z3-solver (python311Packages.z3-solver.dev ,python311Packages.z3-solver.lib ,python311Packages.z3-solver.python)
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
sail-riscv-rv32
sail-riscv-rv64
sby
solc
tlaps
ugarit
vampire
z3 (z3_4_13)
z3-tptp
z3.dev (z3_4_13.dev)
z3.lib (z3_4_13.lib)
z3.python (z3_4_13.python)
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

fstar-ulib> ../bin/fstar.exe --warn_error @271-330@247   --use_hints --cache_dir .cache --hint_dir .cache --silent --cache_checked_modules --odir _output @.depend.rsp --output_deps_to .depend
fstar-ulib> make[1]: Circular .cache/FStar.Real.fsti.checked <- .cache/FStar.Real.fsti.checked dependency dropped.
fstar-ulib>   CHECK     prims.fst
fstar-ulib> Unexpected error; please file a bug report, ideally with a minimized version of the source program that triggered the error.
fstar-ulib> Failure("Empty option")
fstar-ulib> make[1]: *** [Makefile.verify:68: .cache/prims.fst.checked] Error 1
fstar-ulib> make[1]: Leaving directory '/build/source/ulib'
fstar-ulib> make: *** [Makefile:10: all] Error 2

The z3 version fstar requests didn't change, so that must have been an existing failure...
Also, can confirm that acl2 takes something like 120 GB of RAM to build.

What about haskellPackages.hz3?
hz3> error: In file included from dist/build/Z3/Base/C_hsc_make.c:1:
hz3> C.hsc: In function ‘main’:
hz3> C.hsc:95:16: error: ‘Z3_TRUE’ undeclared (first use in this function); did you mean ‘Z3_L_TRUE’?
hz3> /nix/store/vpvh48d7m0avfzcljb89hbdc0c4zjxdy-ghc-9.6.6/lib/ghc-9.6.6/lib/template-hsc.h:45:10: note: in definition of macro ‘hsc_const’
hz3>    45 |     if ((x) < 0)                                      \
hz3>       |          ^
hz3> C.hsc:95:16: note: each undeclared identifier is reported only once for each function it appears in
hz3> /nix/store/vpvh48d7m0avfzcljb89hbdc0c4zjxdy-ghc-9.6.6/lib/ghc-9.6.6/lib/template-hsc.h:45:10: note: in definition of macro ‘hsc_const’
hz3>    45 |     if ((x) < 0)                                      \
hz3>       |          ^
hz3> C.hsc:97:16: error: ‘Z3_FALSE’ undeclared (first use in this function); did you mean ‘Z3_L_FALSE’?
hz3> /nix/store/vpvh48d7m0avfzcljb89hbdc0c4zjxdy-ghc-9.6.6/lib/ghc-9.6.6/lib/template-hsc.h:45:10: note: in definition of macro ‘hsc_const’
hz3>    45 |     if ((x) < 0)                                      \
hz3>       |          ^
hz3>

Weird, I didn't see that failure. That seems ARM specific too.

I'd wager that one is new, though. I'll look into updating the bindings.

Thanks, I'll fix that.

Weirdly enough, nixpkgs-review didn't figure out the two Haskell packages that were affected on my runs but this should fix them. The other ones that could be affected were marked as broken.

Haskell change seems fine to me.

nixpkgs-review result
Generated using nixpkgs-review.
Command: nixpkgs-review pr 327052

aarch64-linux

:fast_forward: 27 packages marked as broken and skipped:

boogie
dafny
dotnetPackages.Boogie
python311Packages.angr
python311Packages.angr.dist
python311Packages.angrcli
python311Packages.angrcli.dist
python311Packages.angrop
python311Packages.angrop.dist
python311Packages.cynthion
python311Packages.cynthion.dist
python311Packages.luna-soc
python311Packages.luna-soc.dist
python311Packages.luna-usb
python311Packages.luna-usb.dist
python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist
python312Packages.cynthion
python312Packages.cynthion.dist
python312Packages.luna-soc
python312Packages.luna-soc.dist
python312Packages.luna-usb
python312Packages.luna-usb.dist

:fast_forward: 2 packages blacklisted:

nixos-install-tools
tests.nixos-functions.nixos-test

:x: 1 package failed to build:

fstar

:white_check_mark: 97 packages built:

acl2
alive2
circt
circt.dev
circt.lib
cynthion
cynthion.dist
glasgow
glasgow.dist
hal-hardware-analyzer
haskellPackages.hz3
haskellPackages.hz3.doc
haskellPackages.rest-rewrite
haskellPackages.smtlib-backends-z3
haskellPackages.smtlib-backends-z3.doc
haskellPackages.z3
haskellPackages.z3.doc
iprover
isabelle
isabelle-components.isabelle-linter
libbap
pony-corral
ponyc
python311Packages.amaranth
python311Packages.amaranth-boards
python311Packages.amaranth-boards.dist
python311Packages.amaranth-soc
python311Packages.amaranth-soc.dist
python311Packages.amaranth.dist
python311Packages.bap
python311Packages.bap.dist
python311Packages.claripy
python311Packages.claripy.dist
python311Packages.deal
python311Packages.deal-solver
python311Packages.deal-solver.dist
python311Packages.deal.dist
python311Packages.icontract
python311Packages.icontract.dist
python311Packages.miasm
python311Packages.miasm.dist
python311Packages.model-checker
python311Packages.model-checker.dist
python311Packages.pylddwrap
python311Packages.pylddwrap.dist
python311Packages.z3-solver (python311Packages.z3-solver.dev ,python311Packages.z3-solver.lib ,python311Packages.z3-solver.python)
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
sail-riscv-rv32
sail-riscv-rv64
sby
solc
tlaps
ugarit
vampire
z3 (z3_4_13)
z3-tptp
z3.dev (z3_4_13.dev)
z3.lib (z3_4_13.lib)
z3.python (z3_4_13.python)
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

@sternenseemann Fixed, give it another look when you have a second :-)

@sternenseemann Gentle reminder, when you have a second. :-)

I'll just PR it separately.

@paparodeo I added your changes to this PR and updated to the latest Z3 4.13.
Had a discussion with @RossComputerGuy - due to Z3 currently being partially broken in 24.11 we are going to try to prioritize getting it merged and backported. It is indeed worth leaving those patches in for now - we currently don't want to break backwards compatibility by dropping old Z3 versions though fixing them is worth it, though I will likely drop all the old versions in 25.05 if nothing else depends on them (I think it's really only fstar that's the only holdout on 4.8 now)...

nixpkgs-review result
Generated using nixpkgs-review.
Command: nixpkgs-review pr 327052

x86_64-linux

:fast_forward: 16 packages marked as broken and skipped:

python312Packages.angr
python312Packages.angr.dist
python312Packages.angrcli
python312Packages.angrcli.dist
python312Packages.angrop
python312Packages.angrop.dist
python312Packages.cynthion
python312Packages.cynthion.dist
python312Packages.luna-soc
python312Packages.luna-soc.dist
python312Packages.luna-usb
python312Packages.luna-usb.dist
python313Packages.luna-soc
python313Packages.luna-soc.dist
python313Packages.luna-usb
python313Packages.luna-usb.dist

:fast_forward: 1 package blacklisted:

nixos-install-tools

:x: 24 packages failed to build:

acl2
cynthion
cynthion.dist
glasgow
glasgow.dist
hal-hardware-analyzer
isabelle
isabelle-components.isabelle-linter
python312Packages.amaranth
python312Packages.amaranth-boards
python312Packages.amaranth-boards.dist
python312Packages.amaranth-soc
python312Packages.amaranth-soc.dist
python312Packages.amaranth.dist
python313Packages.amaranth
python313Packages.amaranth-boards
python313Packages.amaranth-boards.dist
python313Packages.amaranth-soc
python313Packages.amaranth-soc.dist
python313Packages.amaranth.dist
sby
solc
tlaps
ugarit

:white_check_mark: 68 packages built:

alive2
circt
circt.dev
circt.lib
fstar
iprover
klee
libbap
ocamlPackages.z3
pony-corral
ponyc
python312Packages.bap
python312Packages.bap.dist
python312Packages.claripy
python312Packages.claripy.dist
python312Packages.deal
python312Packages.deal-solver
python312Packages.deal-solver.dist
python312Packages.deal.dist
python312Packages.icontract
python312Packages.icontract.dist
python312Packages.miasm
python312Packages.miasm.dist
python312Packages.model-checker
python312Packages.model-checker.dist
python312Packages.pylddwrap
python312Packages.pylddwrap.dist
python312Packages.z3-solver (python312Packages.z3-solver.dev ,python312Packages.z3-solver.lib ,python312Packages.z3-solver.python)
python313Packages.bap
python313Packages.bap.dist
python313Packages.claripy
python313Packages.claripy.dist
python313Packages.deal
python313Packages.deal-solver
python313Packages.deal-solver.dist
python313Packages.deal.dist
python313Packages.icontract
python313Packages.icontract.dist
python313Packages.model-checker
python313Packages.model-checker.dist
python313Packages.pylddwrap
python313Packages.pylddwrap.dist
python313Packages.z3-solver (python313Packages.z3-solver.dev ,python313Packages.z3-solver.lib ,python313Packages.z3-solver.python)
sail-riscv-rv32
sail-riscv-rv64
symcc
vampire
z3
z3-tptp
z3.dev
z3.lib
z3.python
z3_4_11
z3_4_11.dev
z3_4_11.lib
z3_4_11.python
z3_4_12
z3_4_12.dev
z3_4_12.lib
z3_4_12.python
z3_4_8
z3_4_8.dev
z3_4_8.lib
z3_4_8.python
z3_4_8_5
z3_4_8_5.dev
z3_4_8_5.lib
z3_4_8_5.python

Those newer failures looked like compiler changes.


setup_credentials() failed

from pystatis.config import setup_credentials
setup_credentials()
fails in a local Jupyter Notebook (after entering the first username) but works in a Colab Notebook and a local py file.
Error message:
You entered: XXXXXXXXXXX (redacted)
NoSectionError                            Traceback (most recent call last)
Cell In[9], line 7
2 from pystatis.config import setup_credentials
5 # Aufrufen und die entsprechenden Logins eingeben - wenn man keine hat, einfach Enter drücken
----> 7 setup_credentials()
File ~\AppData\Roaming\Python\Python311\site-packages\pystatis\config.py:68, in setup_credentials()
66 """Setup credentials for all supported databases."""
67 for db in get_supported_db():
---> 68     config.set(db, "username", _get_user_input(db, "username"))
69     config.set(db, "password", _get_user_input(db, "password"))
71 write_config()
File [c:\Program](file:///C:/Program) Files\Python311\Lib\configparser.py:1219, in ConfigParser.set(self, section, option, value)
[1216](file:///C:/Program%20Files/Python311/Lib/configparser.py:1216) """Set an option.  Extends RawConfigParser.set by validating type and
[1217](file:///C:/Program%20Files/Python311/Lib/configparser.py:1217) interpolation syntax on the value."""
[1218](file:///C:/Program%20Files/Python311/Lib/configparser.py:1218) self._validate_value_types(option=option, value=value)
-> [1219](file:///C:/Program%20Files/Python311/Lib/configparser.py:1219) super().set(section, option, value)
File [c:\Program](file:///C:/Program) Files\Python311\Lib\configparser.py:917, in RawConfigParser.set(self, section, option, value)
[915](file:///C:/Program%20Files/Python311/Lib/configparser.py:915)         sectdict = self._sections[section]
[916](file:///C:/Program%20Files/Python311/Lib/configparser.py:916)     except KeyError:
--> [917](file:///C:/Program%20Files/Python311/Lib/configparser.py:917)         raise NoSectionError(section) from None
[918](file:///C:/Program%20Files/Python311/Lib/configparser.py:918) sectdict[self.optionxform(option)] = value
NoSectionError: No section: 'genesis'

Hi Claus,
thanks for testing! But it is very unlikely that it has anything to do with the environment, it should not matter if your are in a Notebook, Coolab or locally, in any case the config is created in the user home directory under .pystatis. The first time you load the package, it generates an empty config file that should have the three sections without credentials, mine looks like
[settings]
supported_db = genesis,zensus,regio

[genesis]
base_url = https://www-genesis.destatis.de/genesisWS/rest/2020/
username =
password =
doku = https://www-genesis.destatis.de/genesis/misc/GENESIS-Webservices_Einfuehrung.pdf

[zensus]
base_url = https://ergebnisse2011.zensus2022.de/api/rest/2020/
username =
password =
doku = https://ergebnisse2011.zensus2022.de/datenbank/misc/ZENSUS-Webservices_Einfuehrung.pdf

[regio]
base_url = https://www.regionalstatistik.de/genesisws/rest/2020/
username =
password =
doku = https://www.regionalstatistik.de/genesis/misc/GENESIS-Webservices_Einfuehrung.pdf

[data]
cache_dir = /Users/miay/.pystatis/data

I cannot reproduce your example, did you start in a fresh environment? Maybe there was a previous config and indeed if you upgraded from 0.1.X to the latest 0.2.0 version, the config has changed so the old one will not work. We should have taken better care of this, I guess.
You can try to delete the old config manually or with pystatis.config.delete_config() as shown in the Setup notebook. Can you try to run setup_credentials() again after deleting the config first?

Looks like it was a particular problme with cursor.sh, couldn't reproduce it in VS Code etc


Peer review #2 Paper 2

Firstly in your README, the LLM usage statement is there, but the location of it is not existent. You mention the chat history is available in

inputs/llms/usage.txt

However, there is no path with inputs. Instead, I think you meant to say

other/llms/usage.txt"

Another thing in the README is the title you have put for it. The title should be descriptive and relevant to your topic of the paper. It should not just only read "Starter Folder" as it isn't a starter folder in the first place.
Another thing is that there are no sketches found relevant to the research you are doing. You have the sketches that are given in the starter folder when downloaded, but non of your own. The rubric requires you to have one!
Upon looking at the paper, the first thing I noticed was the title. The title reads:

Red States = Red Flags?∗
An analysis of birth rate trends from 2001 to 2019 and an exploration of political aﬀiliation of different states and Birth rates in the United States,

I feel as though "Red States = Red Flags?∗" isn't really appropriate as the title as it is not descriptive of the paper as a whole. Rather I feel the smaller fonts under, "An analysis of birth rate trends from 2001 to 2019 and an exploration of political aﬀiliation of different states and Birth rates in the United States," would fit as the better title. Also there should not be a comma at the end of this!
Lastly, you guys should be using the reference.bib to cite your sources and have in-text citations. For example, in the paper, the introduction reads:

broader context to motivate The birth rate is one of the most important determinants of a country’s population growth, potentially impacting policy decisions about the health sys- tem, education, and economy (1). https://www.waldenu.edu/programs/health/resource/why- birth-rates-are-significant-in-health-studies-and-health-science

You should properly put the cite into references.bib and then the paper wouldn't contain of long link URLs.

Addressed: Updated ReadME, added LLM usage statement, updated title and used proper citations and references.bib


How can I train VGT?

In my case, I use command like below.
CUDA_VISIBLE_DEVICES=2 python train_VGT.py --config-file Configs/cascade/D4LA_VGT_cascade_PTM.yaml --num-gpus 1 MODEL.WEIGHTS  ./pretrained/D4LA_VGT_model.pth OUTPUT_DIR ./trained
error accured like below.
Traceback (most recent call last):
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/train_VGT.py", line 156, in
launch(
File "/home/swchoi/.conda/envs/vgt/lib/python3.9/site-packages/detectron2/engine/launch.py", line 84, in launch
main_func(*args)
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/train_VGT.py", line 131, in main
trainer = MyTrainer(cfg)
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/ditod/VGTTrainer.py", line 432, in init
model = self.build_model(cfg)
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/ditod/VGTTrainer.py", line 571, in build_model
model = build_model(cfg)
File "/home/swchoi/.conda/envs/vgt/lib/python3.9/site-packages/detectron2/modeling/meta_arch/build.py", line 22, in build_model
model = META_ARCH_REGISTRY.get(meta_arch)(cfg)
File "/home/swchoi/.conda/envs/vgt/lib/python3.9/site-packages/detectron2/config/config.py", line 190, in wrapped
init_func(self, **explicit_args)
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/ditod/VGT.py", line 48, in init
self.Wordgrid_embedding = WordnnEmbedding(vocab_size, hidden_size, embedding_dim,
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/ditod/Wordnn_embedding.py", line 39, in init
self.init_weights(bros_embedding_path)
File "/workspace/future_task/AdvancedLiterateMachinery/DocumentUnderstanding/VGT/object_detection/ditod/Wordnn_embedding.py", line 47, in init_weights
state_dict = torch.load(bros_embedding_path + "pytorch_model.bin", map_location='cpu')
File "/home/swchoi/.conda/envs/vgt/lib/python3.9/site-packages/torch/serialization.py", line 699, in load
with _open_file_like(f, 'rb') as opened_file:
File "/home/swchoi/.conda/envs/vgt/lib/python3.9/site-packages/torch/serialization.py", line 231, in _open_file_like
return _open_file(name_or_buffer, mode)
File "/home/swchoi/.conda/envs/vgt/lib/python3.9/site-packages/torch/serialization.py", line 212, in init
super(_open_file, self).init(open(name, mode))
FileNotFoundError: [Errno 2] No such file or directory: '/path/layoutlm-base-uncased/pytorch_model.bin'
I think FileNotFoundError: [Errno 2] No such file or directory: '/path/layoutlm-base-uncased/pytorch_model.bin' caused by Wordnn_embedding.py's init_weights method.
Please answer how I can solve the problem.

I have the same issue if you have found a work around please let me know

I solved this issue by using git clone and downloading the layoutlm tokenizer from huggingface

Actually the error is you donot have weights file which code is suppose to download on the go from http url. To be precise, code directly specifies the downloading of layoutlm-base-uncased/pytorch_model.bin from external link but unfortunately its private, so weights downloading fails

You can use this code to download weights, by creating a python file and downloading directly from library. You can then use this  directly.
# Use transformers library
from transformers import LayoutLMModel

# Load pretrained model from transformers
model = LayoutLMModel.from_pretrained("microsoft/layoutlm-base-uncased")

# Save it in local directory structure
model.save_pretrained("./weights/layoutlm/")

or  you can also try download the weights externally from Hugging Face and provide path to this model present in your directory (Not sure about this method!)


split frontend into a different repo

keep it cleaner

I thought about this, and would like to start as a single repo.
I think the frontend  will be small enough that a single repo will be ok.
A single repo will simplify keeping the ABIs up to date and will also simplify testing changes.
For example if we want to change something on the contract can test how the front end will look like right away without switching between different repositories.
If this turns out to cause other issues it will be easy to separate the repos as the frontend is all in a separate folder.

yeah, I think it's fine now, but I say we leave it open to switch when it's live because I know from a best practices stand point, someone wanting to pull in the code and actually use it on the soldity side won't want all the extra baggage to dig through

Yep I am thinking the same, but I am quite positive we can really keep it in a single folder somplitely separate from the solidity code, if it turns out impossible will definitely split it.
https://github.com/tellor-io/chorus/tree/main/frontend

lets close for now and when/if needed will revisit


tere: init at 1.1.0

Description of changes
A failing test was keeping it from building. I confirmed with the
dev it's known and ignored
so I commented it out with a patch.
This app isn't that useful until some shell hooks have been
added. So I hope to add a config
option to home-manager such as:
programs.tere = {
  enabled = true;
  useBashIntegration = true;
  useFishIntegration = true;
};

Things done

Built on platform(s)

[X] x86_64-linux
[ ] aarch64-linux
[ ] x86_64-darwin
[ ] aarch64-darwin

[ ] For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
[ ] Tested, as applicable:

NixOS test(s) (look inside nixos/tests)
and/or package tests
or, for functions and "core" functionality, tests in lib/tests or pkgs/test
made sure NixOS tests are linked to the relevant packages

[ ] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
[ ] Tested basic functionality of all binary files (usually in ./result/bin/)
22.11 Release Notes (or backporting 22.05 Release notes)

[ ] (Package updates) Added a release notes entry if the change is major or breaking
[ ] (Module updates) Added a release notes entry if the change is significant
[ ] (Module addition) Added a release notes entry if adding a new NixOS module
[ ] (Release notes changes) Ran nixos/doc/manual/md-to-db.sh to update generated release notes

[X] Fits CONTRIBUTING.md.

LGTM. Tested building and running fine.

I'm sorry that was the wrong branch. Hang on

That just brought in a bunch of unrelated commiters didn't it? I'm really sorry. This happened earlier too, I'm obviously doing something wrong with my rebases. I'll try to make a new branch and cherry-pick since that worked earlier.

 Are you pointing it at a remote that points upstream?

Ok let me know if this is all correct. Looks like the participating counter is back to normal.

 Are you pointing it at a remote that points upstream?

When I started making suggested changes, I made a branch tere3. I made my changes, I did git rebase -i to squash them together, then I went to tere2 and did git reset --hard tere3 to make tere2 identical. But I'm not sure I did anything like that last time it happened. Maybe it's because I didn't git pull before pushing?

Not sure honestly, kind of hard to reproduce with just that info. Looks good now, though.

Yeah I'm not sure either. I'll have to put reading a book on Git at the top of my priority list. Sorry about the mess and thanks for the help. I'm ready when you guys are.

Hi @ProducerMatt, the failing test has now been fixed with the release of tere v1.3.0. If you want, you can remove the patch now.

Done https://github.com/NixOS/nixpkgs/pull/196177


TypeError: fetch() got an unexpected keyword argument 'now'

Hi There Everyone,
I have installed graphite and am using it as database. I am using graphite-web, whisper, go-carbon and carbon-c-relay. After careful installation and configuration. The metrics get loading into the whisper storage and is visible on graphite webapp. But no graph is showing like in below picture. Instead when to open image in new tab or check logs this error is shown which is given below. I will be very grateful to anyone helping me in resolving this issue. Thanks in advance
graphite 1.1.10
Traceback (most recent call last):
File "/usr/local/lib/python3.6/site-packages/django/core/handlers/exception.py", line 47, in inner
response = get_response(request)
File "/usr/local/lib/python3.6/site-packages/django/core/handlers/base.py", line 181, in _get_response
response = wrapped_callback(request, *callback_args, **callback_kwargs)
File "/opt/graphite/webapp/graphite/errors.py", line 17, in new_f
return f(*args, **kwargs)
File "/opt/graphite/webapp/graphite/render/views.py", line 128, in renderView
data.extend(evaluateTarget(requestContext, targets))
File "/opt/graphite/webapp/graphite/render/evaluator.py", line 19, in evaluateTarget
prefetchData(requestContext, pathExpressions)
File "/opt/graphite/webapp/graphite/render/datalib.py", line 268, in prefetchData
for result in STORE.fetch(pathExpressions, startTime, endTime, now, requestContext):
File "/opt/graphite/webapp/graphite/storage.py", line 188, in fetch
'fetch for %s' % str(patterns))
File "/opt/graphite/webapp/graphite/storage.py", line 133, in wait_jobs
raise Exception(message)
Exception: All requests failed for fetch for ['metrics.hostexample.host.serviceexample.perfdata.rta.value'] (1)
fetch for ['metrics.hostexample.host.serviceexample.perfdata.rta.value']: fetch() got an unexpected keyword argument 'now': Traceback (most recent call last):
File "/opt/graphite/webapp/graphite/node.py", line 30, in fetch
result = self.reader.fetch(startTime, endTime, now, requestContext)
File "/opt/graphite/webapp/graphite/readers/whisper.py", line 59, in fetch
data = self.fetch_data(startTime, endTime, now=now)
File "/opt/graphite/webapp/graphite/readers/whisper.py", line 55, in fetch_data
return whisper.fetch(self.fs_path, startTime, endTime, now=now)
TypeError: fetch() got an unexpected keyword argument 'now'

Hi @mohammadkashanzafar
Looks likeyou installed somehow very old whisper package, I see now parameter was backported to 0.9.x releases in Dec 2013 - https://github.com/graphite-project/whisper/commit/868a8b4ff69bf1197a383920315c730571b54819
So, it's something very old, looks like v0.9.13
You should remove it and install whisper 1.1.x

Hello @deniszh
Hope you are doing well. I have upgraded my whisper version to v1.1.10. Please check below setup.py file. However I am still facing the same issue i don't get it.
whisper setup.py file (version part only)
setup(
name='whisper',
version='1.1.10',
url='http://graphiteapp.org/',
author='Chris Davis',
<EMAIL_ADDRESS>license='Apache Software License 2.0',
description='Fixed size round-robin style database',
long_description=read('README.md'),
long_description_content_type='text/markdown',
py_modules=['whisper'],
scripts=glob('bin/') + glob('contrib/'),
install_requires=['six'],
classifiers=[
'Programming Language :: Python :: 2',
'Programming Language :: Python :: 2.7',
'Programming Language :: Python :: 3',
'Programming Language :: Python :: 3.5',
'Programming Language :: Python :: 3.6',
'Programming Language :: Python :: 3.7',
'Programming Language :: Python :: Implementation :: CPython',
'Programming Language :: Python :: Implementation :: PyPy',
],
Your kind insight is requested please. I will be very thankful.


wgpu::TextureFormat::Rgba16Float output is broken on webgl backend

Expected rendering (all-is-cubes-desktop):

Actual rendering (web):

It appears that any channel with a value above 1.0 gets 0.0 (whereas clamping might be more expected).
This is as of commit c49b52810515bcdd362e3dd4120bb68d89cfc8a1. If I revert to when all-is-cubes was using wgpu 0.13, Rgba16Float doesn't appear in the list of supported formats.
Modifying a wgpu web example to use Rgba16Float and have some over-1 values does not reproduce the problem, so there is some kind of additional factor to discover (possibly something to do with my temporary frame buffer and optional tonemapping logic?).
I am going to temporarily work around this by avoiding the Rgba16Float format in choose_surface_format().

Testing update: with wgpu 0.19.0 and the workaround code removed, colors are no longer corrupted as above. However, they appear to have incorrect gamma (and no actual HDR output to display), on both Chrome and Firefox.

This suggests that either wgpu or the browser is (inappropriately for this application) assuming the colors in the Rgba16Float texture are sRGB encoded.

Testing: Same result as previous comment with wgpu 22.0.0.


"No such file or directory" when updating

The source file is here:
RUST_BACKTRACE=1 UPDATE_EXPECT=1 cargo r

updating: testing.rs:10:5
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }', /root/.cargo/registry
/src/rsproxy.cn-8f6827c7555bfaf8/expect-test-1.4.0/src/lib.rs:539:55
stack backtrace:
   0: rust_begin_unwind
             at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/std/src/panicking.rs:584:5
   1: core::panicking::panic_fmt
             at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/core/src/panicking.rs:142:14
   2: core::result::unwrap_failed
             at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/core/src/result.rs:1814:5
   3: core::result::Result<T,E>::unwrap
             at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/core/src/result.rs:1107:23
   4: expect_test::FileRuntime::new
             at /root/.cargo/registry/src/rsproxy.cn-8f6827c7555bfaf8/expect-test-1.4.0/src/lib.rs:539:29
   5: expect_test::Runtime::fail_expect::{{closure}}
             at /root/.cargo/registry/src/rsproxy.cn-8f6827c7555bfaf8/expect-test-1.4.0/src/lib.rs:478:36
   6: std::collections::hash::map::Entry<K,V>::or_insert_with
             at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/std/src/collections/hash/map.rs:2549:43
   7: expect_test::Runtime::fail_expect
             at /root/.cargo/registry/src/rsproxy.cn-8f6827c7555bfaf8/expect-test-1.4.0/src/lib.rs:476:13
   8: expect_test::Expect::assert_eq
             at /root/.cargo/registry/src/rsproxy.cn-8f6827c7555bfaf8/expect-test-1.4.0/src/lib.rs:285:9
   9: testing::main
             at ./testing.rs:10:5
  10: core::ops::function::FnOnce::call_once
             at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/core/src/ops/function.rs:248:5
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

When I create a new cargo bin project, expect-test can update the result successfully. But for this it can't.
I tried to debug it, and I got:
(gdb) s
alloc::string::{impl#37}::deref (self=0x7fffffffdfa8) at /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/alloc/src/string.rs:2413
2413    /rustc/0b79f758c9aa6646606662a6d623a0752286cd17/library/alloc/src/string.rs: No such file or directory.

I believe you are meant to use expect! inside tests, not the main executable. cargo run doesn't set an env var expect! needs, only cargo test does.

@bjorn3
Probably not I guess.
I put expect! in a simple main.rs generated by cargo new, and it can automatically update the result with env set up.
And I turn the main function that I link into a test function, the same error pops up.

The error happens at https://github.com/rust-analyzer/expect-test/blob/9d2aa5d01b485c432b0b16c6ea6a540fcc04b5c2/src/lib.rs#L539, which could fail if to_abs_ws_path returns an incorrect path.

Thank you for pointing that out!  I should have run the command with RUST_BACKTRACE=full :)
I've read to_abs_ws_path and used
[env]
CARGO_WORKSPACE_DIR = { value = "", relative = true }

in .cargo/config.toml, and expect! goes well.


Add Readme generating

I think there will be good enchantment if we'll add readme generating.
Something like this:
Project name
Little description
Requirements

iOS 10.0+
Xcode 8.3

Before running
For install all dependencies you should open project folder in Terminal and call: make init
Module generation
Before generation you should open project folder in Terminal

Screen generation: make screen modName=[SCREEN_NAME]

I like it :)

Added in #36


Jira issue projects

Hello,
I have a question.
If I have a Jira Project proj1 and on the same project there issues from proj2. When I do the export Project1 I have proj1-1111.json and proj2-2222.json.
When I import Project1 on azure devops is it possible the proj2-2222.json to import on the project2 instead of project1 and create a link which connect the two projects??
Thank you,
George

@gekap the tool currently does not support this kind of migration. Thank you for the input.

Hello,
Is it possible to add it as feature ?

after migration to azure devops , you can move that issue to project 2  a manually using " move to Team project" option in GUI

Closing this, as we have no future plans of supporting cross-project scenarios.


improve help text

Currently, the help menu (makim --help) show all the targets from all groups together, ex:
positional arguments:
  target
    Specify the target command to be performed.
    Options are:
      default.lint => Run linter tools
      build.clean-gcda => ...
      build.clean-optional => ...
      build.install => Run linter tools
      build.build => ...
        ARGS:
          --build_type: (string) ...
      build.build-dev => Build for development (+tests +debug)
      env.create-file => Create a dont env file
      conda.build => Create the conda package for arx
      release.ci => Run semantic-release on CI
      release.dry => Run semantic-release on CI for tests in dry-run mode.
      docs.api => Run semantic-release on CI
      docs.build => Run semantic-release on CI
      docs.clean => Run semantic-release on CI
      docs.preview => Run semantic-release on CI
      tests.sanitizer => Run sanitizer tests
      tests.code-coverage => Run test code coverage
      tests.gen-object => Run test code coverage
      tests.gen-ast => Run test code coverage
      tests.gen-llvm-ir => Run test code coverage
      tests.examples => Run test code coverage
      tests.all => ...
      debug.fibonacci => Debug arx via an example file (fibonacci)

It would be nice to have the output grouped by the target groups

[ ] grouped by target groups
[ ] dependencies and their arguments and conditions
[ ] vars (names, types, default)
[ ] env (name)

Also, we need to add to the help text:

dependencies and their arguments and conditions
vars (names, types, default)
env (name)

I have two alternatives that we could use:
1
General Commands:
-----------------
  default.lint => Run linter tools

Build Commands:
---------------
  build.clean-gcda => ...
  build.clean-optional => ...
  build.install => Run linter tools
  build.build => ...
    ARGS:
      --build_type: (string) ...
  build.build-dev => Build for development (+tests +debug)

Environment Commands:
---------------------
  env.create-file => Create a dont env file

Conda Commands:
---------------
  conda.build => Create the conda package for arx

Release Commands:
-----------------
  release.ci => Run semantic-release on CI

2
default
  lint => Run linter tools

build
  clean-gcda => ...
  clean-optional => ...
  install => Run linter tools
  build => ...
    ARGS:
      --build_type: (string) ...
  build-dev => Build for development (+tests +debug)

env
  create-file => Create a dont env file

conda
  build => Create the conda package for arx

release
  ci => Run semantic-release on CI

I think we can pick the second one.

you can pick some examples of .makim.yaml from here:

https://github.com/arxlang/arx/blob/main/.makim.yaml
https://github.com/osl-incubator/makim/blob/main/tests/.makim-env.yaml

Hey @xmnlab ,
I am working on dependencies:
    tests:
    ------
      tests.linter => Run linter tools
      tests.unittest => Run tests
      tests.smoke => Run smoke tests
        DEPENDENCIES:
          --target: smoke-tests.simple
          --target: smoke-tests.complex
          --target: smoke-tests.containers
          --target: smoke-tests.unittest
          --target: smoke-tests.vars-env
          --target: smoke-tests.bash
      tests.ci => Run all targets used on CI
        DEPENDENCIES:
          --target: tests.linter
          --target: tests.unittest
          --target: tests.smoke
          --target: docs.build
          ```

is this right?

Heyy @xmnlab ,
for this yaml file:
version: 1.0
groups:
  default:
    targets:
      clean:
        help: Clean unnecessary temporary files
        run: |
          rm -fr build/
          rm -fr dist/
          rm -fr .eggs/
          find . -name '*.egg-info' -exec rm -fr {} +
          find . -name '*.egg' -exec rm -f {} +
          find . -name '*.pyc' -exec rm -f {} +
          find . -name
          find . -name '__pycache__' -exec rm -fr '*.pyo' -exec rm -f {} +
          find . -name '*~' -exec rm -f {} +{} +
          rm -f .coverage
          rm -fr htmlcov/
          rm -fr .pytest_cache

  docs:
    targets:
      build:
        help: Build documentation
        run: |
          mkdocs build --config-file docs/mkdocs.yaml

      preview:
        help: Preview documentation page locally
        run: mkdocs serve --watch docs --config-file docs/mkdocs.yaml

  release:
    vars:
      app: |
        npx --yes \
        -p semantic-release \
        -p conventional-changelog-conventionalcommits \
        -p "@semantic-release/commit-analyzer" \
        -p "@semantic-release/release-notes-generator" \
        -p "@semantic-release/changelog" \
        -p "@semantic-release/exec" \
        -p "@semantic-release/github" \
        -p "@semantic-release/git" \
        -p<EMAIL_ADDRESS>\
        semantic-release

    targets:
      ci:
        help: Run semantic release on CI
        run: {{ vars.app }} --ci

      dry:
        help: Run semantic release in dry-run mode
        run: |
          {{ vars.app }} --dry-run
          poetry build
          poetry publish --dry-run

  tests:
    targets:
      linter:
        help: Run linter tools
        run: pre-commit run --all-files --verbose

      unittest:
        help: Run tests
        run: pytest -s -vv tests

      smoke:
        help: Run smoke tests
        dependencies:
          - target: smoke-tests.simple
          - target: smoke-tests.complex
          - target: smoke-tests.containers
          - target: smoke-tests.unittest
          - target: smoke-tests.vars-env
          - target: smoke-tests.bash

      ci:
        help: Run all targets used on CI
        dependencies:
          - target: tests.linter
          - target: tests.unittest
          - target: tests.smoke
          - target: docs.build

  smoke-tests:
    targets:
      simple:
        help: Test makim using a simple makimfile
        args:
          verbose-mode:
            help: Run the all the tests in verbose mode
            type: bool
            action: store_true
        env:
          MAKIM_FILE: ./tests/.makim-simple.yaml
        shell: bash
        run: |
          export VERBOSE_FLAG='{{ "--verbose" if args.verbose_mode else "" }}'
          makim --makim-file $MAKIM_FILE --help
          makim --makim-file $MAKIM_FILE --version
          makim --makim-file $MAKIM_FILE clean $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE default.clean $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE build $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE default.build $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE build --clean $VERBOSE_FLAG

      complex:
        help: Test makim using a complex makimfile
        env:
          MAKIM_FILE: ./tests/.makim-complex.yaml
        args:
          verbose-mode:
            help: Run the all the tests in verbose mode
            type: bool
            action: store_true
        shell: bash
        run: |
          export VERBOSE_FLAG='{{ "--verbose" if args.verbose_mode else "" }}'
          makim --makim-file $MAKIM_FILE --help
          makim --makim-file $MAKIM_FILE --version
          makim --makim-file $MAKIM_FILE default.lint --verbose
          makim --makim-file $MAKIM_FILE build.clean-gcda --verbose
          makim --makim-file $MAKIM_FILE build.clean --verbose
          makim --makim-file $MAKIM_FILE build.install --verbose
          makim --makim-file $MAKIM_FILE build.release --verbose
          makim --makim-file $MAKIM_FILE build.release --build-type debug --verbose
          makim --makim-file $MAKIM_FILE build.release --extras '-D' --verbose
          makim --makim-file $MAKIM_FILE build.release --clean --verbose
          makim --makim-file $MAKIM_FILE build.dev --verbose
          makim --makim-file $MAKIM_FILE env.create-file --verbose
          makim --makim-file $MAKIM_FILE conda.build --verbose
          makim --makim-file $MAKIM_FILE release.ci --verbose
          makim --makim-file $MAKIM_FILE release.dry --verbose
          makim --makim-file $MAKIM_FILE docs.api --verbose
          makim --makim-file $MAKIM_FILE docs.build --verbose
          makim --makim-file $MAKIM_FILE docs.clean --verbose
          makim --makim-file $MAKIM_FILE docs.preview --verbose
          makim --makim-file $MAKIM_FILE tests.sanitizer --verbose
          makim --makim-file $MAKIM_FILE tests.code-coverage --verbose
          makim --makim-file $MAKIM_FILE tests.gen-object --verbose
          makim --makim-file $MAKIM_FILE tests.gen-ast --verbose
          makim --makim-file $MAKIM_FILE tests.gen-llvm-ir --verbose
          makim --makim-file $MAKIM_FILE tests.examples --verbose
          makim --makim-file $MAKIM_FILE tests.all --verbose
          makim --makim-file $MAKIM_FILE debug.fibonacci --verbose
          makim --makim-file $MAKIM_FILE print.local-env-vars --verbose
          makim --makim-file $MAKIM_FILE print.makim-env-vars --verbose
          makim --makim-file $MAKIM_FILE print.dotenv-var --verbose
          makim --makim-file $MAKIM_FILE print.nested --verbose

      containers:
        help: Test makim with containers-sugar
        env:
          MAKIM_FILE: .makim-complex.yaml
        args:
          verbose-mode:
            help: Run the all the tests in verbose mode
            type: bool
            action: store_true
        shell: bash
        run: |
          export VERBOSE_FLAG='{{ "--verbose" if args.verbose_mode else "" }}'
          cd ./tests/
          makim --makim-file $MAKIM_FILE containers.run --verbose

      unittest:
        help: Test makim using a unittest makimfile
        args:
          verbose-mode:
            help: Run the all the tests in verbose mode
            type: bool
            action: store_true
        env:
          MAKIM_FILE: ./tests/.makim-unittest.yaml
        shell: bash
        run: |
          export VERBOSE_FLAG='{{ "--verbose" if args.verbose_mode else "" }}'
          makim --makim-file $MAKIM_FILE --help
          makim --makim-file $MAKIM_FILE --version
          makim --makim-file $MAKIM_FILE tests.test-1 $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-2 --all $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-3-a $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-3-b $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-4 $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-4 --trigger-dep $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-5 $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE tests.test-6 $VERBOSE_FLAG

      vars-env:
        help: Test makim using env makimfile
        args:
          verbose-mode:
            help: Run the all the tests in verbose mode
            type: bool
            action: store_true
        env:
          MAKIM_FILE: ./tests/.makim-env.yaml
        shell: bash
        run: |
          export VERBOSE_FLAG='{{ "--verbose" if args.verbose_mode else "" }}'
          makim --makim-file $MAKIM_FILE --help
          makim --makim-file $MAKIM_FILE --version
          makim --makim-file $MAKIM_FILE global-scope.test-var-env-file $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE global-scope.test-var-env $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE group-scope.test-var-env-file $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE group-scope.test-var-env $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE target-scope.test-var-env-file $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE target-scope.test-var-env $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE rerender-env.from-global $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE rerender-env.from-group $VERBOSE_FLAG
          makim --makim-file $MAKIM_FILE rerender-env.from-target $VERBOSE_FLAG

      bash:
        help: ...
        run: |
          makim --makim-file tests/.makim-bash-main-scope.yaml main-scope.test
          makim --makim-file tests/.makim-bash-group-scope.yaml group-scope.test
          makim --makim-file tests/.makim-bash-target-scope.yaml target-scope.test

this is my help text:
usage: MakIm [--help] [--version] [--verbose] [--dry-run] [--makim-file MAKIM_FILE] [target]

MakIm is a tool that helps you to organize and simplify your helper commands.

positional arguments:
  target
    Specify the target command to be performed. Options are:

    default:
    --------
      default.clean => Clean unnecessary temporary files

    docs:
    -----
      docs.build => Build documentation
      docs.preview => Preview documentation page locally

    release:
    --------
      VARS:
        npx --yes \
    -p semantic-release \
    -p conventional-changelog-conventionalcommits \
    -p "@semantic-release/commit-analyzer" \
    -p "@semantic-release/release-notes-generator" \
    -p "@semantic-release/changelog" \
    -p "@semantic-release/exec" \
    -p "@semantic-release/github" \
    -p "@semantic-release/git" \
    -p<EMAIL_ADDRESS>\
    semantic-release

      release.ci => Run semantic release on CI
      release.dry => Run semantic release in dry-run mode

    tests:
    ------
      tests.linter => Run linter tools
      tests.unittest => Run tests
      tests.smoke => Run smoke tests
        DEPENDENCIES:
          --target: smoke-tests.simple
          --target: smoke-tests.complex
          --target: smoke-tests.containers
          --target: smoke-tests.unittest
          --target: smoke-tests.vars-env
          --target: smoke-tests.bash
      tests.ci => Run all targets used on CI
        DEPENDENCIES:
          --target: tests.linter
          --target: tests.unittest
          --target: tests.smoke
          --target: docs.build

    smoke-tests:
    ------------
      smoke-tests.simple => Test makim using a simple makimfile
        ENV:
          --MAKIM_FILE: ./tests/.makim-simple.yaml
        ARGS:
          --verbose-mode: (bool) Run the all the tests in verbose mode
      smoke-tests.complex => Test makim using a complex makimfile
        ENV:
          --MAKIM_FILE: ./tests/.makim-complex.yaml
        ARGS:
          --verbose-mode: (bool) Run the all the tests in verbose mode
      smoke-tests.containers => Test makim with containers-sugar
        ENV:
          --MAKIM_FILE: .makim-complex.yaml
        ARGS:
          --verbose-mode: (bool) Run the all the tests in verbose mode
      smoke-tests.unittest => Test makim using a unittest makimfile
        ENV:
          --MAKIM_FILE: ./tests/.makim-unittest.yaml
        ARGS:
          --verbose-mode: (bool) Run the all the tests in verbose mode
      smoke-tests.vars-env => Test makim using env makimfile
        ENV:
          --MAKIM_FILE: ./tests/.makim-env.yaml
        ARGS:
          --verbose-mode: (bool) Run the all the tests in verbose mode
      smoke-tests.bash => ...

optional arguments:
  --help, -h
    Show the help menu
  --version
    Show the version of the installed MakIm tool.
  --verbose
    Show the commands to be executed.
  --dry-run
    Show the commands but don't execute them.
  --makim-file MAKIM_FILE
    Specify a custom location for the makim file.

If you have any problem, open an issue at: https://github.com/osl-incubator/makim

can you please check it? and I don't find any file (yaml file) with conditions and more thing, that dependencies is list of dictionary. but I want to know that each dict has only one key-value pair. Is it necessary for all files?

Hey @abhijeetSaroha , thanks for working on that.
With your output example, now it is clear to me that adding var, env and dependecies will not be helpful to the user.  Because the user don't need to worry about any of that information. The only information necessary for the user are the target and the arguments. So probably it would be safe to keep it without vars, env and dependecies.
Does it make sense?


[SP-5318] Backport of BACKLOG-22742

@ppatricio
cherry-pick of 9bffc80202faa9102786c765c45a3e066c312073

Build Completed
:white_check_mark: This pull request has passed all validations.
Build Commands
ant -Dtestreports.dir=bin/reports/unit-test -f ui/build.xml clean-all resolve jacoco && ant -f ui/build.xml checkstyle publish-local

Cleanup Commands
rm -r ~/.ivy2/local || echo no publish local to remove

Changed files
  ui/src/org/pentaho/di/ui/spoon/trans/TransPreviewDelegate.java

PR Consistent with base bug.


Revert "Handle broken invalid thumbnails"

Reverts lbryio/lbry-desktop#5430

@Ruk33 I am reverting this because we just noticed that it was causing some weird behavior for thumbnails. They are loading slowly/twice in some cases when using react-image

@seanyesmunt I'm sorry to hear my PR was causing problems. Will see if I can track what's the issue.


When I compile and run RVIZ successfully, only robots are displayed but not humans. Why? I see that there is an rviz_plug that can display human beings? If so how do I use it?

Thanks for checking out our code.
I'm not completely sure given the information. Are there any warning or error messages on terminal?


Enhacement: Help message should exemplify arguments for run

Installed slsa-verifier and tried to run it without passing any flag
mihaimaruseac@ankh:/tmp$ ~/go/bin/slsa-verifier attestation.intoto.jsonl
Usage of /usr/local/google/home/mihaimaruseac/go/bin/slsa-verifier:
  -alsologtostderr
        log to standard error as well as files
  -artifact-path string
        path to an artifact to verify
  -branch string
        expected branch the binary was compiled from (default "main")
  -log_backtrace_at value
        when logging hits line file:N, emit a stack trace
  -log_dir string
        If non-empty, write log files in this directory
  -logtostderr
        log to standard error instead of files
  -print-provenance
        print the verified provenance to std out
  -provenance string
        path to a provenance file
  -source string
        expected source repository that should have produced the binary, e.g. github.com/some/repo
  -stderrthreshold value
        logs at or above this threshold go to stderr
  -tag string
        [optional] expected tag the binary was compiled from
  -v value
        log level for V logs
  -versioned-tag string
        [optional] expected version the binary was compiled from. Uses semantic version to match the tag
  -vmodule value
        comma-separated list of pattern=N settings for file-filtered logging

I managed to get a run without the help screen being shown up by passing 3 separate flags:
mihaimaruseac@ankh:/tmp$ ~/go/bin/slsa-verifier -provenance attestation.intoto.jsonl -source mihaimaruseac/slsa-lvl3-generic-provenance-with-bazel-example -artifact-path fib
Verified signature against tlog entry index 3026659 at URL: https://rekor.sigstore.dev/api/v1/log/entries/b7d5d52dfc795dddf1c03e901e96c3cb1803c9f1ecc250a13299131b2564c422
Verified build using builder<EMAIL_ADDRESS>at commit e9b5431bcfb0df5d8b2ee622bde8ec4fad9d71d3
PASSED: Verified SLSA provenance

I think the help text should display that these falgs are required and what is the format expected for them (e.g., source should not be a http link but in owner/repo format)
(Note that passing flags with -- also works)
I could work on this :)

I think the help text should display that these falgs are required and what is the format expected for them (e.g., source should not be a http link but in owner/repo format)

Good find! Agreed we need to have better doc in the help.

I could work on this :)

Thanks. Assigned to you.


[Candidate 1v1 Freezing Rain v2] Main supply cannot be boxed

Issue Description
Main supply cannot be boxed. As designed?
Screenshots

For it to be boxed, there probably would have to be some rocks or other structures at the bottom/top of the map to form a real barrier.


[WIP] Fix insert failure during global sort with huge data in new insert flow

Why is this PR needed?
What changes were proposed in this PR?
Does this PR introduce any user interface change?

No
Yes. (please explain the change and update document)

Is any new testcase added?

No
Yes

Build Success with Spark 2.3.4, Please check CI http://<IP_ADDRESS>:12545/job/ApacheCarbonPRBuilder2.3/2898/

Build Success with Spark 2.4.5, Please check CI http://<IP_ADDRESS>:12545/job/ApacheCarbon_PR_Builder_2.4.5/1182/

LGTM


Update this repo to be TALISMAN only

Still needs some updates, but this is now minimal TALISMAN importing OntoGPT


Lock ruby version

can you rebase and test the latest 2.2.X :-D @yivo

@mod
Randomized with seed 48331
....................................................*...............................................Pusher : Error : {"type":"WebSocketError","error":{"type":"PusherError","data":{"code":4001,"message":"Did you forget to specify the cluster when creating the Pusher instance?  App key 50d404c35db92d736a57 does not exist in this cluster."}}}
..............*................*......***...........*............................................................***..........................................................................*.....................................................................................................................................................................................................................................................................................................................................................................

Pending: (Failures listed here are expected and do not affect your suite's status)

  1) Private::AssetsHelper add some examples to (or delete) /Users/yaroslav/Development/my-peatio/spec/helpers/private/assets_helper_spec.rb
     # Not yet implemented
     # ./spec/helpers/private/assets_helper_spec.rb:12

  2) PartialTree add some examples to (or delete) /Users/yaroslav/Development/my-peatio/spec/models/partial_tree_spec.rb
     # Not yet implemented
     # ./spec/models/partial_tree_spec.rb:2

  3) Sign in when a user has 2-step verification setup and after signing in with email, password if he tries to perform 2-step verification after session expires, should redirect user back to login step with error message
     # No reason given
     Failure/Error: fill_in 'two_factor_otp', with: two_factor.now

     Capybara::ElementNotFound:
       Unable to find visible field "two_factor_otp" that is not disabled
     # ./spec/features/sign_in_spec.rb:37:in `block (3 levels) in <top (required)>'

  4) withdraw admin approve withdraw
     # skip withdraw dashboard
     Failure/Error:
       within '.ops' do
         expect(page).to have_content(I18n.t('layouts.admin.menus.items.operating.withdraws'))
         click_on I18n.t('layouts.admin.menus.items.operating.withdraws')
       end

     Capybara::ElementNotFound:
       Unable to find visible css ".ops"
     # ./spec/features/admin/withdraw_spec.rb:21:in `visit_admin_withdraw_page'
     # ./spec/features/admin/withdraw_spec.rb:46:in `block (2 levels) in <top (required)>'

  5) withdraw admin view withdraws
     # skip withdraw dashboard
     Failure/Error:
       within '.ops' do
         expect(page).to have_content(I18n.t('layouts.admin.menus.items.operating.withdraws'))
         click_on I18n.t('layouts.admin.menus.items.operating.withdraws')
       end

     Capybara::ElementNotFound:
       Unable to find visible css ".ops"
     # ./spec/features/admin/withdraw_spec.rb:21:in `visit_admin_withdraw_page'
     # ./spec/features/admin/withdraw_spec.rb:30:in `block (2 levels) in <top (required)>'

  6) withdraw admin reject withdraw
     # skip withdraw dashboard
     Failure/Error:
       within '.ops' do
         expect(page).to have_content(I18n.t('layouts.admin.menus.items.operating.withdraws'))
         click_on I18n.t('layouts.admin.menus.items.operating.withdraws')
       end

     Capybara::ElementNotFound:
       Unable to find visible css ".ops"
     # ./spec/features/admin/withdraw_spec.rb:21:in `visit_admin_withdraw_page'
     # ./spec/features/admin/withdraw_spec.rb:65:in `block (2 levels) in <top (required)>'

  7) show account info user can cancel his own order
     # No reason given
     Got 0 failures and 2 other errors:

     7.1) Failure/Error: click_link page.all('#my_order_tabs_wrapper li').first.text

          NoMethodError:
            undefined method `text' for nil:NilClass
          # ./spec/features/market_trade_history_spec.rb:24:in `block (3 levels) in <top (required)>'
          # ./spec/features/market_trade_history_spec.rb:23:in `block (2 levels) in <top (required)>'

     7.2) Failure/Error: AMQPQueue.expects(:enqueue).with(:matching, action: 'cancel', order: ask_order.to_matching_attributes)

          MiniTest::Assertion:
            not all expectations were satisfied
            unsatisfied expectations:
            - expected exactly once, not yet invoked: AMQPQueue.enqueue(:matching, {:action => "cancel", :order => {:id => 483, :market => "btccny", :type => :ask, :ord_type => "limit", :volume => #<BigDecimal:0x7f8ffe741d10>, :price => #<BigDecimal:0x7f8ffe741e28>, :locked => #<BigDecimal:0x7f8ffcbd1c10>, :timestamp =><PHONE_NUMBER>}})
            satisfied expectations:
            - allowed any number of times, invoked 6 times: AMQPQueue.publish(any_parameters)
            - allowed any number of times, not yet invoked: KlineDB.kline(any_parameters)
          # ./spec/features/market_trade_history_spec.rb:21:in `block (2 levels) in <top (required)>'

  8) 2-step verification allows user to set it up and disable it
     # No reason given
     Failure/Error:
       within '#two_factor_auth' do
         click_on I18n.t('private.settings.index.two_factor_auth.enable')
       end

     Capybara::ElementNotFound:
       Unable to find visible css "#two_factor_auth"
     # ./spec/features/two_factor_auth_spec.rb:12:in `block (2 levels) in <top (required)>'

  9) withdraw prevents withdraws that the account has no sufficient balance
     # No reason given
     Failure/Error: select 'Bank of China', from: 'withdraw_fund_extra'

     Capybara::ElementNotFound:
       Unable to find visible select box "withdraw_fund_extra" that is not disabled
     # ./spec/features/withdraw_spec.rb:65:in `submit_bank_withdraw_request'
     # ./spec/features/withdraw_spec.rb:57:in `block (2 levels) in <top (required)>'

  10) withdraw allows user to add a BTC withdraw address, withdraw BTC
      # No reason given
      Failure/Error: expect(page).to have_text('1000.0')
        expected #has_text?("1000.0") to return true, got false
      # ./spec/features/withdraw_spec.rb:32:in `block (2 levels) in <top (required)>'

  11) APIv2::Helpers#authentic? Authenticate using headers
     # Not yet implemented
     # ./spec/api/api_v2/helpers_spec.rb:20

Deprecation Warnings:

Using `should` from rspec-expectations' old `:should` syntax without explicitly enabling the syntax is deprecated. Use the new `:expect` syntax or explicitly enable `:should` with `config.expect_with(:rspec) { |c| c.syntax = :should }` instead. Called from /Users/yaroslav/Development/my-peatio/spec/models/worker/slave_book_spec.rb:46:in `block (3 levels) in <top (required)>'.

If you need more of the backtrace for any of these deprecations to
identify where to make the necessary changes, you can configure
`config.raise_errors_for_deprecations!`, and it will turn the
deprecation warnings into errors, giving you the full backtrace.

1 deprecation warning total

Finished in 1 minute 41.89 seconds (files took 7.34 seconds to load)
648 examples, 0 failures, 11 pending

Randomized with seed 48331

Sending build context to Docker daemon  23.02MB
Step 1/18 : FROM ruby:2.2.8
2.2.8: Pulling from library/ruby
85b1f47fba49: Pull complete
ba6bd283713a: Pull complete
817c8cd48a09: Pull complete
47cc0ed96dc3: Pull complete
00233accc944: Pull complete
79aa3a7c3577: Pull complete
364bb4dbe137: Pull complete
Digest: sha256:bdcc3204ea706a1ec42f94226a1aad52b308dc2af6464487ccfb81f793597c82
Status: Downloaded newer image for ruby:2.2.8
 ---> 4ca3e7cd3103
Step 2/18 : MAINTAINER<EMAIL_ADDRESS> ---> Running in 37e2c555b845
 ---> 4a79844ff8c4
Removing intermediate container 37e2c555b845
Step 3/18 : ENV APP_HOME /home/app
 ---> Running in 1c2291daa12d
 ---> 78a063341cba
Removing intermediate container 1c2291daa12d
Step 4/18 : RUN groupadd -r app --gid=1000
 ---> Running in c6eeadbc5db0
 ---> 4d30ad1e6e6a
Removing intermediate container c6eeadbc5db0
Step 5/18 : RUN useradd -r -m -g app -d /home/app --uid=1000 app
 ---> Running in 9aaaa994096e
 ---> f7b68f542a08
Removing intermediate container 9aaaa994096e
Step 6/18 : RUN curl -sL https://deb.nodesource.com/setup_6.x | bash -
 ---> Running in b32f1cf8a4a4

## Installing the NodeSource Node.js v6.x repo...

## Populating apt-get cache...

+ apt-get update
Get:1 http://security.debian.org jessie/updates InRelease [63.1 kB]
Get:2 http://security.debian.org jessie/updates/main amd64 Packages [614 kB]
Ign http://deb.debian.org jessie InRelease
Get:3 http://deb.debian.org jessie-updates InRelease [145 kB]
Get:4 http://deb.debian.org jessie Release.gpg [2373 B]
Get:5 http://deb.debian.org jessie Release [148 kB]
Get:6 http://deb.debian.org jessie-updates/main amd64 Packages [23.2 kB]
Get:7 http://deb.debian.org jessie/main amd64 Packages [9063 kB]
Fetched 10.1 MB in 6s (1557 kB/s)
Reading package lists...

## Installing packages required for setup: apt-transport-https lsb-release...

+ apt-get install -y apt-transport-https lsb-release > /dev/null 2>&1

## Confirming "jessie" is supported...

+ curl -sLf -o /dev/null 'https://deb.nodesource.com/node_6.x/dists/jessie/Release'

## Adding the NodeSource signing key to your keyring...

+ curl -s https://deb.nodesource.com/gpgkey/nodesource.gpg.key | apt-key add -
OK

## Creating apt sources list file for the NodeSource Node.js v6.x repo...

+ echo 'deb https://deb.nodesource.com/node_6.x jessie main' > /etc/apt/sources.list.d/nodesource.list
+ echo 'deb-src https://deb.nodesource.com/node_6.x jessie main' >> /etc/apt/sources.list.d/nodesource.list

## Running `apt-get update` for you...

+ apt-get update
Hit http://security.debian.org jessie/updates InRelease
Get:1 https://deb.nodesource.com jessie InRelease [4631 B]
Get:2 http://security.debian.org jessie/updates/main amd64 Packages [614 kB]
Ign http://deb.debian.org jessie InRelease
Hit http://deb.debian.org jessie-updates InRelease
Hit http://deb.debian.org jessie Release.gpg
Hit http://deb.debian.org jessie Release
Get:3 https://deb.nodesource.com jessie/main Sources [20 B]
Get:4 https://deb.nodesource.com jessie/main amd64 Packages [1005 B]
Get:5 http://deb.debian.org jessie-updates/main amd64 Packages [23.2 kB]
Get:6 http://deb.debian.org jessie/main amd64 Packages [9063 kB]
Fetched 9706 kB in 6s (1505 kB/s)
Reading package lists...

## Run `apt-get install nodejs` (as root) to install Node.js v6.x and npm

 ---> 3b93c8207e22
Removing intermediate container b32f1cf8a4a4
Step 7/18 : RUN apt-get update && apt-get install -y   nodejs   libmysqlclient-dev   imagemagick   gsfonts
 ---> Running in f5ad56afc507
Hit http://security.debian.org jessie/updates InRelease
Hit https://deb.nodesource.com jessie InRelease
Get:1 http://security.debian.org jessie/updates/main amd64 Packages [614 kB]
Ign http://deb.debian.org jessie InRelease
Hit http://deb.debian.org jessie-updates InRelease
Hit http://deb.debian.org jessie Release.gpg
Get:2 https://deb.nodesource.com jessie/main Sources [20 B]
Get:3 https://deb.nodesource.com jessie/main amd64 Packages [1005 B]
Hit http://deb.debian.org jessie Release
Get:4 http://deb.debian.org jessie-updates/main amd64 Packages [23.2 kB]
Get:5 http://deb.debian.org jessie/main amd64 Packages [9063 kB]
Fetched 9701 kB in 6s (1428 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
libmysqlclient-dev is already the newest version.
Suggested packages:
  imagemagick-doc autotrace cups-bsd lpr lprng enscript ffmpeg gimp gnuplot
  grads graphviz groff-base hp2xx html2ps libwmf-bin mplayer povray radiance
  sane-utils texlive-base-bin transfig ufraw-batch xdg-utils
Recommended packages:
  ghostscript netpbm
The following NEW packages will be installed:
  gsfonts nodejs
The following packages will be upgraded:
  imagemagick imagemagick-6.q16
2 upgraded, 2 newly installed, 0 to remove and 14 not upgraded.
Need to get 14.0 MB of archives.
After this operation, 49.6 MB of additional disk space will be used.
Get:1 http://security.debian.org/ jessie/updates/main imagemagick amd64 8:<IP_ADDRESS>-5+deb8u11 [160 kB]
Get:2 https://deb.nodesource.com/node_6.x/ jessie/main nodejs amd64 6.12.0-1nodesource1 [9924 kB]
Get:3 http://security.debian.org/ jessie/updates/main imagemagick-6.q16 amd64 8:<IP_ADDRESS>-5+deb8u11 [513 kB]
Get:4 http://deb.debian.org/debian/ jessie/main gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2 [3364 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 14.0 MB in 4s (3178 kB/s)
Selecting previously unselected package gsfonts.
(Reading database ... 21223 files and directories currently installed.)
Preparing to unpack .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2_all.deb ...
Unpacking gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2) ...
Preparing to unpack .../imagemagick_8%3a<IP_ADDRESS>-5+deb8u11_amd64.deb ...
Unpacking imagemagick (8:<IP_ADDRESS>-5+deb8u11) over (8:<IP_ADDRESS>-5+deb8u10) ...
Preparing to unpack .../imagemagick-6.q16_8%3a<IP_ADDRESS>-5+deb8u11_amd64.deb ...
Unpacking imagemagick-6.q16 (8:<IP_ADDRESS>-5+deb8u11) over (8:<IP_ADDRESS>-5+deb8u10) ...
Selecting previously unselected package nodejs.
Preparing to unpack .../nodejs_6.12.0-1nodesource1_amd64.deb ...
Unpacking nodejs (6.12.0-1nodesource1) ...
Processing triggers for fontconfig (2.11.0-6.3+deb8u1) ...
Processing triggers for mime-support (3.58) ...
Processing triggers for hicolor-icon-theme (0.13-1) ...
Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2) ...
Setting up imagemagick-6.q16 (8:<IP_ADDRESS>-5+deb8u11) ...
Setting up imagemagick (8:<IP_ADDRESS>-5+deb8u11) ...
Setting up nodejs (6.12.0-1nodesource1) ...
 ---> ebfed12c638f
Removing intermediate container f5ad56afc507
Step 8/18 : WORKDIR $APP_HOME
 ---> 3783cec66f3f
Removing intermediate container b12f553723f9
Step 9/18 : COPY Gemfile Gemfile.lock $APP_HOME/
 ---> 1b3238377d25
Step 10/18 : RUN mkdir -p $APP_HOME/vendor/bundle
 ---> Running in cf0f1a78963f
 ---> b98cf494dfca
Removing intermediate container cf0f1a78963f
Step 11/18 : RUN bundle install --path vendor/bundle
 ---> Running in 728174566dd7
The git source `git://github.com/peatio/unread.git` uses the `git` protocol, which transmits data without encryption. Disable this warning with `bundle config git.allow_insecure true`, or switch to the `https` protocol to keep your data secure.
Fetching gem metadata from https://rubygems.org/.........

Bundled gems are installed into `./vendor/bundle`
Post-install message from atomic:
This gem has been deprecated and merged into Concurrent Ruby (http://concurrent-ruby.com).
Post-install message from acts-as-taggable-on:
When upgrading

Re-run the migrations generator

    rake acts_as_taggable_on_engine:install:migrations

It will create any new migrations and skip existing ones
Post-install message from rubytree:
    ========================================================================
                    Thank you for installing rubytree.

    Note that the TreeNode#siblings method has changed in 0.8.3.
    It now returns an empty array for the root node.

                 WARNING: SIGNIFICANT API CHANGE in 0.8.0 !
                 ------------------------------------------

    Please note that as of 0.8.0 the CamelCase method names are DEPRECATED.
    The new method names follow the ruby_convention (separated by '_').

    The old CamelCase methods still work (a warning will be displayed),
    but may go away in the future.

    Details of the API changes are documented in the API-CHANGES file.
    ========================================================================
Post-install message from globalize:

Globalize has extracted versioning support to a separate gem named
globalize-versioning. If you are using versioning (with paper_trail
or any other versioning gem), please add the line
"gem 'globalize-versioning'" to your Gemfile and go to the github
page at globalize/globalize-versioning if you encounter any problems.

Note that the globalize-versioning gem does not delegate versions to
the translation table, so you will have to update your syntax to
the form: `post.translation.versions`. See the globalize-versioning
readme for details.

Post-install message from phonelib:
    IMPORTANT NOTICE!
    Phone types were changed from camel case to snake case!
    Example: ":tollFree" changed to ":toll_free".
    Please update your app in case you are checking types!
Post-install message from rdoc:
Depending on your version of ruby, you may need to install ruby rdoc/ri data:

<= 1.8.6 : unsupported
 = 1.8.7 : gem install rdoc-data; rdoc-data --install
 = 1.9.1 : gem install rdoc-data; rdoc-data --install
>= 1.9.2 : nothing to do! Yay!
 ---> 61f60ad7be75
Removing intermediate container 728174566dd7
Step 12/18 : COPY . $APP_HOME
 ---> 39802b57321b
Step 13/18 : RUN chown -R app:app /home/app
 ---> Running in 02b76d320362
 ---> 60e4cff2271e
Removing intermediate container 02b76d320362
Step 14/18 : USER app
 ---> Running in 287b97c253e7
 ---> f8f6c801d196
Removing intermediate container 287b97c253e7
Step 15/18 : RUN ./bin/init_config
 ---> Running in 24a1956ea43e
[INFO] config/banks.yml exist. Replacing...
> cp config/banks.yml.example config/banks.yml
[INFO] config/currencies.yml exist. Replacing...
> cp config/currencies.yml.example config/currencies.yml
[INFO] config/amqp.yml exist. Replacing...
> cp config/amqp.yml.example config/amqp.yml
[INFO] config/markets.yml exist. Replacing...
> cp config/markets.yml.example config/markets.yml
[INFO] config/application.yml exist. Replacing...
> cp config/application.yml.example config/application.yml
 ---> e57775d795c1
Removing intermediate container 24a1956ea43e
Step 16/18 : EXPOSE 8080
 ---> Running in 28f513b039e2
 ---> 624ebb46ffdf
Removing intermediate container 28f513b039e2
Step 17/18 : ENTRYPOINT bundle exec
 ---> Running in 7f5893279701
 ---> caa2954b3120
Removing intermediate container 7f5893279701
Step 18/18 : CMD rails s -p 8080 -b <IP_ADDRESS>
 ---> Running in 96937a827f54
 ---> 6c99faec268d
Removing intermediate container 96937a827f54
Successfully built 6c99faec268d
Successfully tagged peatio:latest


az vm create and HUB entitlement not clear

The documentation above for the --license-type switch says:
--license-type
License type if the Windows image or disk used was licensed on-premises.
accepted values: Windows_Client, Windows_Server

It doesn't not specifically state which value should be used to have a VM created with the HUB entitlement active.
Some googling around tells me its probably Windows_Server however finding an authoritative source from MS for this has got me nothing.
The document here should be made clearer so the reader knows which value to use for which use case.

Document Details
⚠ Do not edit this section. It is required for docs.microsoft.com ➟ GitHub issue linking.

ID: 152b549b-d4b3-13e5-081c-c604b6e4d89e
Version Independent ID: 3f79be78-ce75-ad31-304b-bad7d475ec9e
Content: az vm
Content Source: src/command_modules/azure-cli-vm/azure/cli/command_modules/vm/_help.py
Service: virtual-machines
GitHub Login: @rloutlaw
Microsoft Alias: routlaw

Hello @andrew-best-diaxion, the following link has information about using the Hybrid Benefit through the CLI. It also gives an example. This video also explains AHB. It appears that the correct option for windows server is indeed "windows_server". I will reach out to the service team to see why they also expose "windows_client" in their API, which is reflected in the CLI. It is possible that this is to support another feature or an upcoming feature.


cookiemanager

Hello, I listened to your suggestion the other day to use cookiemanager, but I passed a cefrequestcontext object to createbrowser, which has a cefrequestcontexthadler object. This object has a method that can get the cookiemanager, and then I used the method I created. However, when I call it, I will not call this custom cookiemanager. What is the possible reason, I'd appreciate it if you could help me with the answer

I would assume that the cookiemanager doesnt actually get called from cef, but the cookiemanager calls cef. This means that you probably cant alter the implementation of the cookiemanager. You can however delete and add back cookies how you wish. So you could potentially swap cookies before you create a new request in another window. If you want to discuss with other users of this library I'd recommend using the discussion section instead of the issues for the future, or use the jcef forum (linked to by the main jcef project - give it a try). :)

Some more info on this: https://www.magpcss.org/ceforum/viewtopic.php?t=17334


Archive download error

Trying to find the reason.

Can't find a way to reproduce it stably. If you meet it, you can wait for a while and delete the downloaded gallery, then re-download.

v6.0.1


activate bundle audit

For scanning of vulnerable dependencies this repository should run bundle audit within its github action.

Done with #18.


snippet transforms: upcase with replacement

Issue Type: Feature Request
Say you have a variable for which you want to replace slashes, and upper case the result. i.e.
"/path/to/file" -> PATH_TO_FILE
This doesn't appear possible.
You can either substitute slashes
${var/\//_/g}
Or apply uppercase
${var/(.*)/${1:/upcase}/}
I think you need two substitutions here. This would be possible if you allow recursive transforms: ${${...}/regex.../}
VS Code version: Code 1.27.1 (5944e81f3c46a3938a82c701f96d7a59b074cfdc, 2018-09-06T09:21:47.222Z)
OS version: Linux x64

You can combine multiple match groups. This will do it:
"${TM_FILEPATH/([^\\/])|(\\/)/${1:/upcase}${2:+_}/g}"
It matches on everything thats not the slash, captures in group 1, and applies the upcase-transform. Then there is group 2 which matches on slash only  and applies the replace with _


remoteHaulers and remoteHarvesters trying to path through a remote when non-invader rooms are available

https://screeps.com/a/#!/history/shard2/W26S32?t=42264889

Utilize remote roomType checking for remote + if there is abandonment to decide wether to avoid rooms like this


updated unicode methods

This way UnicodeEncode Errors are prevented

@benjaoming still have error
    return str(obj_name)
UnicodeEncodeError: 'ascii' codec can't encode characters in position 0-8: ordinal not in range(128) ```

Should be fixed in PR #14