asajeffrey

{-# OPTIONS --rewriting #-}

open import Agda.Builtin.Nat using (Nat ; suc ; zero)
open import Agda.Builtin.Equality using (_≡_ ; refl)
open import Agda.Builtin.Equality.Rewrite using ()

sym : ∀ {A : Set} {a b : A} → (a ≡ b) → (b ≡ a)
sym refl = refl

trans : ∀ {A : Set} {a b c : A} → (a ≡ b) → (b ≡ c) → (a ≡ c)

asajeffrey

Change channel: #general SidebarChat.js:63:16
Fetching chat token for r:ad74b58fa4af00daa4bea4024fd80609c65e51dc6b85c9fc, T014FKBGPL3 ChatClient.js:91:20
Change channel: undefined SidebarChat.js:63:16
Object { country_code: "US", country_name: "United States", city: "Chicago", OMG OMG }
You are logged in and ready to go to slackToVideo.js:43:24
Object { id: "6tMGeRCXT4", _localId: undefined, _objCount: 172, className: "BreakoutRoom" }
slackToVideo.js:44:24
undefined slackToVideo.js:45:24
Clearing state... VideoRoom.js:207:24
Current room: null VideoRoom.js:71:16

asajeffrey

$ ./mach run -d  --pref dom.webgl2.enabled   https://servo.org/hl-home/wip.html
libEGL warning: FIXME: egl/x11 doesn't support front buffer rendering.
Babylon.js v4.2.0-alpha.10 - WebGL2
assertion failed: location >= 0 (thread WebGL thread, at components/canvas/webgl_thread.rs:2430)
stack backtrace:
   0: servo::backtrace::print
   1: servo::main::{{closure}}
   2: std::panicking::rust_panic_with_hook
   3: std::panicking::begin_panic
   4: canvas::webgl_thread::WebGLImpl::uniform_location

asajeffrey

C:\Users\ajeffrey\github\asajeffrey\servo>c:\Python27\python.exe mach build -d --uwp
info: component 'rust-src' is up to date
   Compiling mozjs_sys v0.68.1 (https://github.com/servo/mozjs?rev=d4370798ee17ad16d52ff2e83c9055d19a98b26f#d4370798)
error: failed to run custom build command for `mozjs_sys v0.68.1 (https://github.com/servo/mozjs?rev=d4370798ee17ad16d52ff2e83c9055d19a98b26f#d4370798)`

Caused by:
  process didn't exit successfully: `C:\Users\ajeffrey\github\asajeffrey\servo\target\debug\build\mozjs_sys-77b2af7ad7304d51\build-script-build` (exit code: 101)
--- stdout
cargo:outdir=C:\Users\ajeffrey\github\asajeffrey\servo\target\x86_64-uwp-windows-msvc\debug\build\mozjs_sys-2153329b700e2809\out\build
[[ 'C:\Users\ajeffrey\.cargo\git\checkouts\mozjs-fa11ffc7d4f1cc2d\d437079\mozjs'/js/src/configure -ot 'C:\Users\ajeffrey\.cargo\git\checkouts\mozjs-fa11ffc7d4f1cc2d\d437079\mozjs'/js/src/configure.in ]] && touch 'C:\Users\ajeffrey\.cargo\git\checkouts\mozjs-fa11ffc7d4f1cc2d\d437079\mozjs'/js/src/configure 

asajeffrey

(gdb) bt
#0  0x00007ffff4b92657 in  () at /usr/lib/x86_64-linux-gnu/dri/swrast_dri.so
#1  0x00007ffff4b936f6 in  () at /usr/lib/x86_64-linux-gnu/dri/swrast_dri.so
#2  0x00007ffff4b9753d in  () at /usr/lib/x86_64-linux-gnu/dri/swrast_dri.so
warning: (Internal error: pc 0x55555e4cc690 in read in psymtab, but not in symtab.)

warning: (Internal error: pc 0x55555e4cc6e5 in read in psymtab, but not in symtab.)

#3  0x00007ffff4b87740 in  () at /usr/lib/x86_64-linux-gnu/dri/swrast_dri.so
warning: (Internal error: pc 0x55555e4cc6e5 in read in psymtab, but not in symtab.)

asajeffrey

mach test-wpt --release --pref gfx.texture-swizzling.enabled=false /_webgl/conformance2/rendering/ --no-pause
Running 40 tests in web-platform-tests

  ▶ CRASH [expected ERROR] b'/_webgl/conformance2/rendering/uniform-block-buffer-size.html'
  │ 
  │ DESCRIPTION: This test verifies an active UniformBlock should be populated with a large enough buffer object
  │ 
  │ PASS WebGL context exists
  │ 
  │ Testing drawArrays and drawArraysInstanced

asajeffrey

$ ./mach run -d https://threejs.org/examples/webxr_vr_rollercoaster.html
THREE.WebGLRenderer: WEBGL_depth_texture extension not supported.
THREE.WebGLRenderer: EXT_frag_depth extension not supported.
THREE.WebGLRenderer: WEBGL_draw_buffers extension not supported.
assertion failed: `(left == right)`
  left: `1282`,
 right: `0` (thread main, at /home/ajeffrey/github/asajeffrey/webxr/webxr/glwindow/mod.rs:203)
stack backtrace:
   0: servo::backtrace::print
   1: servo::main::{{closure}}

asajeffrey

$ ./mach test-wpt /_webgl/conformance2/context
Warning: Cannot set the path to OSMesa library.
Running 9 tests in web-platform-tests

  ▶ CRASH [expected ERROR] /_webgl/conformance2/context/context-sharing-texture2darray-texture3d-data-bug.html
  │ 
  │ internal error: entered unreachable code (thread ScriptThread PipelineId { namespace_id: PipelineNamespaceId(1), index: PipelineIndex(1) }, at components/script/dom/bindings/trace.rs:896)
  │ stack backtrace:
  │    0: servo::backtrace::print
  │    1: servo::main::{{closure}}

asajeffrey

Attempting to gather dependency information for package 'ANGLE.WindowsStore.Servo.2.1.19' with respect to project 'ServoApp', targeting 'native,Version=v0.0'
Gathering dependency information took 155.57 ms
Attempting to resolve dependencies for package 'ANGLE.WindowsStore.Servo.2.1.19' with DependencyBehavior 'Lowest'
Resolving dependency information took 0 ms
Resolving actions to install package 'ANGLE.WindowsStore.Servo.2.1.19'
Resolved actions to install package 'ANGLE.WindowsStore.Servo.2.1.19'
Adding package 'ANGLE.WindowsStore.Servo.2.1.19' to folder 'C:\Users\ajeffrey\github\asajeffrey\servo\support\hololens\packages'
Added package 'ANGLE.WindowsStore.Servo.2.1.19' to folder 'C:\Users\ajeffrey\github\asajeffrey\servo\support\hololens\packages'
Install failed. Rolling back...

asajeffrey

   Compiling simpleservo_capi v0.0.1 (C:\Users\ajeffrey\github\asajeffrey\servo\ports\libsimpleservo\capi)              error: linking with `lld-link.exe` failed: exit code: 1                                                                   |                                                                                                                       = note: "lld-link.exe" "/LIBPATH:C:\\Program Files (x86)\\Microsoft Visual Studio\\2017\\BuildTools\\VC\\Tools\\MSVC\\14.16.27023\\lib\\x64\\store"