Contribute to Open Source. Search issue labels to find the right project for you!

[x86][LEGACY_BACKEND] Assertion failed 'spill->spillVarDsc'

dotnet/coreclr

Tests: ``` Assert failure(PID 11832 [0x00002e38], Thread: 14312 [0x37e8]): Assertion failed ‘spill->spillVarDsc’ in ‘u8rem:Main():int’ (IL size 27711)

JIT\Methodical\divrem\rem\u8rem_cs_ro\u8rem_cs_ro.cmd

Assert failure(PID 6924 [0x00001b0c], Thread: 4012 [0x0fac]): Assertion failed ‘spill->spillVarDsc’ in ‘u8rem:Main():int’ (IL size 27711)

JIT\Methodical\divrem\rem\u8rem_cs_do\u8rem_cs_do.cmd run with: set COMPLUS_AltJit= set COMPLUS_AltJitNgen= set COMPLUS_AltJitName=legacyjit.dll set COMPLUS_NoGuiOnAssert=1 set COMPLUS_AltJitAssertOnNYI=1 ```

Updated 27/06/2017 01:40

db:migrate fails

curationexperts/MIRA

STEPS TO REPRODUCE bundle exec rake db:drop bundle exec rake db:setup bundle exec rake db:migrate

EXPECTED RESULT db:migrate exits successfully with no migrations.

ACTUAL RESULT ``` $ bundle exec rake db:migrate == 20130410184814 UserRoles: migrating ======================================== – create_table(:roles, {}) rake aborted! StandardError: An error has occurred, all later migrations canceled:

Mysql2::Error: Table ‘roles’ already exists: CREATE TABLE roles (id int AUTO_INCREMENT PRIMARY KEY, name varchar(255)) ENGINE=InnoDB … ```

CONTEXT Branch: develop Commit: 8192af632c60f78002cd4fdf6ba521660efd824a

Updated 27/06/2017 01:39

Wonky form inputs on extensions page

autolab/Autolab

On the extensions page for an assessment, the input text fields exhibit wonky visual behavior and aren’t uniform with the rest of the input fields. To recreate, go to

http://localhost:3000/courses/AutoPopulated/assessments/lab5/extensions

and click ‘Start typing student name or email’. The inputs should instead look like the input fields at

http://localhost:3000/courses/AutoPopulated/assessments/lab5/edit

They should also have hints that are more symmetrical with those on the edit page.

<img width=“1440” alt=“screen shot 2017-06-26 at 9 31 51 pm” src=“https://user-images.githubusercontent.com/1356687/27567049-550704b8-5ab7-11e7-8706-6248d942df7c.png”>

Updated 27/06/2017 01:38

[x86][LEGACY_BACKEND] Assertion failed 'TypeOfVN(argVN) == TYP_DOUBLE'

dotnet/coreclr

Tests: ``` Assert failure(PID 8656 [0x000021d0], Thread: 7044 [0x1b84]): Assertion failed ‘TypeOfVN(argVN) == TYP_DOUBLE’ in ‘ILGEN_0x372a9ae6:Method_0xdc6ff1a4(byte,byte,int,int,char,double,long,long):int’ (IL size 11052)

JIT\Regression\CLR-x86-JIT\V1-M12-Beta2\b59782\b59782\b59782.cmd run with: set COMPLUS_AltJit= set COMPLUS_AltJitNgen= set COMPLUS_AltJitName=legacyjit.dll set COMPLUS_NoGuiOnAssert=1 set COMPLUS_AltJitAssertOnNYI=1 ```

Updated 27/06/2017 01:38

[x86][LEGACY_BACKEND] Assertion failed 'arg0VNtyp == arg1VNtyp'

dotnet/coreclr

Tests: ``` Assert failure(PID 4640 [0x00001220], Thread: 10932 [0x2ab4]): Assertion failed ‘arg0VNtyp == arg1VNtyp’ in ‘ILGEN_0x65088b5c:Method_0x5ad2583a(long,char,int,ubyte,byte,short,ubyte):long’ (IL size 440)

JIT\Regression\CLR-x86-JIT\V1-M12-Beta2\b77304\b77304\b77304.cmd run with: set COMPLUS_AltJit= set COMPLUS_AltJitNgen= set COMPLUS_AltJitName=legacyjit.dll set COMPLUS_NoGuiOnAssert=1 set COMPLUS_AltJitAssertOnNYI=1 ```

Updated 27/06/2017 01:36

[x86][LEGACY_BACKEND] Assertion failed 'compiler->opts.compDbgCode'

dotnet/coreclr

Tests: ``` Assert failure(PID 11760 [0x00002df0], Thread: 5836 [0x16cc]): Assertion failed ‘compiler->opts.compDbgCode’ in ‘Microsoft.CodeAnalysis.CSharp.Symbols.Metadata.PE.PEMethodSymbol:GetAppliedConditionalSymbols():struct:this’ (IL size 137)

managed\Compilation\Compilation\Compilation.cmd

Assert failure(PID 6608 [0x000019d0], Thread: 12716 [0x31ac]): Assertion failed ‘compiler->opts.compDbgCode’ in ‘Microsoft.CodeAnalysis.CSharp.Symbols.Metadata.PE.PEMethodSymbol:GetAppliedConditionalSymbols():struct:this’ (IL size 137)

JIT\Performance\CodeQuality\Roslyn\CscBench\CscBench.cmd

Assert failure(PID 13732 [0x000035a4], Thread: 14084 [0x3704]): Assertion failed ‘compiler->opts.compDbgCode’ in ‘Repro:Method()’ (IL size 40)

JIT\Methodical\flowgraph\dev10_bug679008\GCOverReporting\GCOverReporting.cmd run with: set COMPLUS_AltJit= set COMPLUS_AltJitNgen= set COMPLUS_AltJitName=legacyjit.dll set COMPLUS_NoGuiOnAssert=1 set COMPLUS_AltJitAssertOnNYI=1 ```

Updated 27/06/2017 01:33

Drawing tiles outside of the tilemap bounds throws an error

PixelVision8/GameCreator

Ran into an error where trying to draw tiles outside of the tilemap’s bounds throws an error.

image

Here is the full output from Unity: IndexOutOfRangeException: Array index is out of range. PixelVisionSDK.Chips.TilemapChip.ReadDataAt (int,int,int) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/Graphics/TileMapChip.cs:294) PixelVisionSDK.Chips.TilemapChip.ReadDataAt (PixelVisionSDK.Chips.TilemapChip/Layer,int,int) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/Graphics/TileMapChip.cs:287) PixelVisionSDK.Chips.TilemapChip.ReadSpriteAt (int,int) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/Graphics/TileMapChip.cs:349) PixelVisionSDK.Chips.GameChip.Tile (int,int,System.Nullable`1<int>,System.Nullable`1<int>,System.Nullable`1<int>) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/Game/GameChip.cs:1310) PixelVisionSDK.Chips.GameChip.UpdateTiles (int,int,int,int[],System.Nullable`1<int>,System.Nullable`1<int>) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/Game/GameChip.cs:1412) (wrapper dynamic-method) System.Runtime.CompilerServices.ExecutionScope.lambda_method (System.Runtime.CompilerServices.ExecutionScope,object,object[]) <IL 0x00089, 0x00300> MoonSharp.Interpreter.Interop.MethodMemberDescriptor.Execute (MoonSharp.Interpreter.Script,object,MoonSharp.Interpreter.ScriptExecutionContext,MoonSharp.Interpreter.CallbackArguments) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Interop/StandardDescriptors/ReflectionMemberDescriptors/MethodMemberDescriptor.cs:195) MoonSharp.Interpreter.Interop.FunctionMemberDescriptorBase/<GetCallback>c__AnonStorey0.<>m__0 (MoonSharp.Interpreter.ScriptExecutionContext,MoonSharp.Interpreter.CallbackArguments) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Interop/StandardDescriptors/MemberDescriptors/FunctionMemberDescriptorBase.cs:83) MoonSharp.Interpreter.CallbackFunction.Invoke (MoonSharp.Interpreter.ScriptExecutionContext,System.Collections.Generic.IList`1<MoonSharp.Interpreter.DynValue>,bool) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/DataTypes/CallbackFunction.cs:58) MoonSharp.Interpreter.Execution.VM.Processor.Internal_ExecCall (int,int,MoonSharp.Interpreter.CallbackFunction,MoonSharp.Interpreter.CallbackFunction,bool,string,MoonSharp.Interpreter.DynValue) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Execution/VM/Processor/Processor_InstructionLoop.cs:720) MoonSharp.Interpreter.Execution.VM.Processor.Processing_Loop (int) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Execution/VM/Processor/Processor_InstructionLoop.cs:115) MoonSharp.Interpreter.Execution.VM.Processor.Call (MoonSharp.Interpreter.DynValue,MoonSharp.Interpreter.DynValue[]) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Execution/VM/Processor/Processor.cs:67) MoonSharp.Interpreter.Script.Call (MoonSharp.Interpreter.DynValue,MoonSharp.Interpreter.DynValue[]) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Script.cs:483) MoonSharp.Interpreter.Script.Call (MoonSharp.Interpreter.DynValue) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Script.cs:442) MoonSharp.Interpreter.Script.Call (object) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Script.cs:513) PixelVisionRunner.Chips.LuaGameChip.Init () (at Assets/UnityRunner/Assets/Runner/Scripts/Chips/LuaGameChip.cs:44) PixelVisionSDK.Chips.ChipManager.Init () (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/ChipManager.cs:96) PixelVisionSDK.PixelVisionEngine.RunGame () (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/PixelVisionEngine.cs:173) GameCreator.GameCreatorRunner.RunGame () (at Assets/GameCreator/Scripts/GameCreator/GameCreatorRunner.cs:649) GameCreator.GameCreatorRunner.RunLoadedGame () (at Assets/GameCreator/Scripts/GameCreator/GameCreatorRunner.cs:605) GameCreator.GameCreatorRunner.PreloaderComplete () (at Assets/GameCreator/Scripts/GameCreator/GameCreatorRunner.cs:341) GameCreator.Services.RunnerService.PreloaderComplete () (at Assets/GameCreator/Scripts/GameCreator/Services/RunnerService.cs:141) GameCreator.Bridges.EditorBridge.PreloaderComplete () (at Assets/GameCreator/Scripts/GameCreator/Bridges/EditorBridge.cs:422) (wrapper dynamic-method) System.Runtime.CompilerServices.ExecutionScope.lambda_method (System.Runtime.CompilerServices.ExecutionScope,object,object[]) <IL 0x0000b, 0x0009d> MoonSharp.Interpreter.Interop.MethodMemberDescriptor.Execute (MoonSharp.Interpreter.Script,object,MoonSharp.Interpreter.ScriptExecutionContext,MoonSharp.Interpreter.CallbackArguments) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Interop/StandardDescriptors/ReflectionMemberDescriptors/MethodMemberDescriptor.cs:195) MoonSharp.Interpreter.Interop.OverloadedMethodMemberDescriptor.PerformOverloadedCall (MoonSharp.Interpreter.Script,object,MoonSharp.Interpreter.ScriptExecutionContext,MoonSharp.Interpreter.CallbackArguments) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Interop/StandardDescriptors/ReflectionMemberDescriptors/OverloadedMethodMemberDescriptor.cs:153) MoonSharp.Interpreter.Interop.OverloadedMethodMemberDescriptor/<GetCallback>c__AnonStorey0.<>m__0 (MoonSharp.Interpreter.ScriptExecutionContext,MoonSharp.Interpreter.CallbackArguments) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Interop/StandardDescriptors/ReflectionMemberDescriptors/OverloadedMethodMemberDescriptor.cs:425) MoonSharp.Interpreter.CallbackFunction.Invoke (MoonSharp.Interpreter.ScriptExecutionContext,System.Collections.Generic.IList`1<MoonSharp.Interpreter.DynValue>,bool) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/DataTypes/CallbackFunction.cs:58) MoonSharp.Interpreter.Execution.VM.Processor.Internal_ExecCall (int,int,MoonSharp.Interpreter.CallbackFunction,MoonSharp.Interpreter.CallbackFunction,bool,string,MoonSharp.Interpreter.DynValue) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Execution/VM/Processor/Processor_InstructionLoop.cs:720) MoonSharp.Interpreter.Execution.VM.Processor.Processing_Loop (int) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Execution/VM/Processor/Processor_InstructionLoop.cs:115) MoonSharp.Interpreter.Execution.VM.Processor.Call (MoonSharp.Interpreter.DynValue,MoonSharp.Interpreter.DynValue[]) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Execution/VM/Processor/Processor.cs:67) MoonSharp.Interpreter.Script.Call (MoonSharp.Interpreter.DynValue,MoonSharp.Interpreter.DynValue[]) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Script.cs:483) MoonSharp.Interpreter.Script.Call (MoonSharp.Interpreter.DynValue,object[]) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Script.cs:502) MoonSharp.Interpreter.Script.Call (object,object[]) (at Assets/UnityRunner/Assets/Plugins/MoonSharp/Interpreter/Script.cs:525) PixelVisionRunner.Chips.LuaGameChip.Update (single) (at Assets/UnityRunner/Assets/Runner/Scripts/Chips/LuaGameChip.cs:55) PixelVisionSDK.Chips.ChipManager.Update (single) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/Chips/ChipManager.cs:112) PixelVisionSDK.PixelVisionEngine.Update (single) (at Assets/UnityRunner/Assets/PixelVisionSDK/Engine/PixelVisionEngine.cs:190) BaseRunner.Update () (at Assets/UnityRunner/Assets/Runner/Scripts/BaseRunner.cs:331) GameCreator.GameCreatorRunner.Update () (at Assets/GameCreator/Scripts/GameCreator/GameCreatorRunner.cs:838)

Updated 27/06/2017 01:32 1 Comments

can't pick up item

ChildrenOfUr/cou-issues

Chelseathing

I mined and revealed a showy sapphire. trued repeatedly but can’t pick it up. I suspect old command is still playing somehow (to mine the rock that used to be there)

User Agent

Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:54.0) Gecko/20100101 Firefox/54.0

Ping

117 ms

Window

1242 x 675

Log

[Server Communication] Map data loaded. 0:00:03
[SoundManager] Registered services 0:00:03
[AuthManager] Setting API tokens 0:00:14
[AuthManager] Logged in 0:00:14
[StreetService] Requesting street "GHVN4R7V7OA3MFN"... 0:00:14
[StreetService] "GHVN4R7V7OA3MFN" loaded. 0:00:15
[StreetService] Assembling Street... 0:00:15
[SoundManager] SoundCloud: Your browser may or may not fully support mp3s 0:00:16
[StreetService] Street assembled. 0:00:21
Game loaded! 0:00:26
0 menu(s) destroyed 0:00:54
1 menu(s) destroyed 0:00:57
[Server Communication] Sending squeeze to entity: C914274325 (NPC) with arguments: {} 0:00:59
0 menu(s) destroyed 0:01:15
1 menu(s) destroyed 0:01:16
[Server Communication] Sending pet to entity: migrate10725 (Plant) with arguments: {} 0:01:20
0 menu(s) destroyed 0:01:30
1 menu(s) destroyed 0:01:32
[Server Communication] Sending harvest to entity: migrate10725 (Plant) with arguments: {} 0:01:35
0 menu(s) destroyed 0:01:40
1 menu(s) destroyed 0:01:41
[Server Communication] Sending pet to entity: migrate10725 (Plant) with arguments: {} 0:01:45
[StreetService] Requesting street "GHVQ48MA5GB39HE"... 0:01:59
[StreetService] "GHVQ48MA5GB39HE" loaded. 0:01:59
[Server Communication] Sending global leaveStreet with arguments: {street: LHVN4R7V7OA3MFN} 0:01:59
[StreetService] Assembling Street... 0:01:59
[StreetService] Street assembled. 0:02:02
0 menu(s) destroyed 0:02:16
1 menu(s) destroyed 0:02:18
[Server Communication] Sending pet to entity: migrate11655 (Plant) with arguments: {} 0:02:23
0 menu(s) destroyed 0:02:28
1 menu(s) destroyed 0:02:32
[Server Communication] Sending harvest to entity: migrate11655 (Plant) with arguments: {} 0:02:35
0 menu(s) destroyed 0:03:02
1 menu(s) destroyed 0:03:03
[StreetService] Requesting street "GHV7EKEL4MA3L56"... 0:03:13
[StreetService] "GHV7EKEL4MA3L56" loaded. 0:03:13
[Server Communication] Sending global leaveStreet with arguments: {street: LHVQ48MA5GB39HE} 0:03:13
[StreetService] Assembling Street... 0:03:13
[StreetService] Street assembled. 0:03:16
0 menu(s) destroyed 0:03:47
1 menu(s) destroyed 0:03:49
[StreetService] Requesting street "GHVQ48MA5GB39HE"... 0:04:20
[StreetService] "GHVQ48MA5GB39HE" loaded. 0:04:20
[Server Communication] Sending global leaveStreet with arguments: {street: LHV7EKEL4MA3L56} 0:04:20
[StreetService] Assembling Street... 0:04:20
[StreetService] Street assembled. 0:04:22
0 menu(s) destroyed 0:04:38
1 menu(s) destroyed 0:04:40
[Server Communication] Sending commune with to entity: migrate11654 (NPC) with arguments: {} 0:04:40
[Server Communication] Sending close to entity: migrate11654 (NPC) with arguments: {} 0:04:44
0 menu(s) destroyed 0:04:59
1 menu(s) destroyed 0:05:02
[Server Communication] Sending read note to entity: in677886933 (GroundItem) with arguments: {} 0:05:02
[StreetService] Requesting street "GIF6APMFJUG2AK5"... 0:05:12
[StreetService] "GIF6APMFJUG2AK5" loaded. 0:05:13
[Server Communication] Sending global leaveStreet with arguments: {street: LHVQ48MA5GB39HE} 0:05:13
[StreetService] Assembling Street... 0:05:13
[SoundManager] SoundCloud: Your browser may or may not fully support mp3s 0:05:13
[StreetService] Street assembled. 0:05:15
0 menu(s) destroyed 0:05:23
1 menu(s) destroyed 0:05:24
[Server Communication] Sending pet to entity: migrate8335 (Plant) with arguments: {} 0:05:28
0 menu(s) destroyed 0:05:39
1 menu(s) destroyed 0:05:40
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:05:45
0 menu(s) destroyed 0:05:49
1 menu(s) destroyed 0:05:50
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:05:56
0 menu(s) destroyed 0:05:57
1 menu(s) destroyed 0:05:58
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:04
0 menu(s) destroyed 0:06:04
1 menu(s) destroyed 0:06:05
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:10
0 menu(s) destroyed 0:06:10
1 menu(s) destroyed 0:06:10
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:15
0 menu(s) destroyed 0:06:16
0 menu(s) destroyed 0:06:16
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:22
1 menu(s) destroyed 0:06:25
0 menu(s) destroyed 0:06:25
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:30
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:30
0 menu(s) destroyed 0:06:40
1 menu(s) destroyed 0:06:42
[Server Communication] Sending pickup to entity: is480747873 (GroundItem) with arguments: {count: 1} 0:06:42
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:44
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:06:54
0 menu(s) destroyed 0:06:54
1 menu(s) destroyed 0:06:57
[Server Communication] Sending pickup to entity: is940819074 (GroundItem) with arguments: {count: 1} 0:06:57
0 menu(s) destroyed 0:07:02
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:07
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:08
1 menu(s) destroyed 0:07:08
[Server Communication] Sending mine to entity: migrate8332 (Plant) with arguments: {} 0:07:14
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:14
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:14
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:14
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:22
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:22
0 menu(s) destroyed 0:07:30
1 menu(s) destroyed 0:07:32
[Server Communication] Sending pickup to entity: is33522618 (GroundItem) with arguments: {count: 1} 0:07:32
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:33
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:40
0 menu(s) destroyed 0:07:44
1 menu(s) destroyed 0:07:45
[Server Communication] Sending pickup to entity: ip552473863 (GroundItem) with arguments: {count: 1} 0:07:45
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:47
[Server Communication] Sending mine to entity: migrate8333 (Plant) with arguments: {} 0:07:53
Updated 27/06/2017 01:30

Tests fail with Boot 1.5.4

spring-cloud/spring-cloud-dataflow

The spring-cloud-dataflow-shell-core tests fail when upgrading Boot dependency to 1.5.4

Tests in error: 
  testAggregateCounterInteractions(org.springframework.cloud.dataflow.shell.command.AggregateCounterCommandsTests): Failure.  CommandResult = CommandResult [success=false, result=null, exception=org.springframework.cloud.dataflow.rest.client.DataFlowClientException: Page size must not be less than one!(..)
  testCounterInteractions(org.springframework.cloud.dataflow.shell.command.CounterCommandsTests): Failure.  CommandResult = CommandResult [success=false, result=null, exception=org.springframework.cloud.dataflow.rest.client.DataFlowClientException: Page size must not be less than one!(..)
  testFVCInteractions(org.springframework.cloud.dataflow.shell.command.FieldValueCounterCommandsTests): Failure.  CommandResult = CommandResult [success=false, result=null, exception=org.springframework.cloud.dataflow.rest.client.DataFlowClientException: Page size must not be less than one!(..)
Updated 27/06/2017 01:43 1 Comments

PHOTO Property is stripped of base64 data

Kozea/Radicale

Using vdirsyncer to send the following vcard to radicale 2.0.0

$cat ~/.contacts/personal/dgv1qx53rhbj74q91nm0u5wansopz0xgrfex.vcf
BEGIN:VCARD
VERSION:4.0
UID:dgv1qx53rhbj74q91nm0u5wansopz0xgrfex
EMAIL;TYPE=home:cansado@dormire.com
FN:Dormire Cansado
N:Cansado;Dormire;;;
REV:20170626T215407Z
PHOTO:data:image/jpeg;base64,/9j/4AAQSkZJRgABAQEASABIAAD/4XYsRXhpZgAATU0AKgAAAAgACQEPAAIAAAAJAAAAegEQAAIAAAAHAAAAhA......
.....98UqVKh+wnu//9k=
END:VCARD

I get this on the server: ```

cat personal/dgv1qx53rhbj74q91nm0u5wansopz0xgrfex.vcf

BEGIN:VCARD VERSION:4.0 UID:dgv1qx53rhbj74q91nm0u5wansopz0xgrfex EMAIL;TYPE=home:cansado@dormire.com FN:Dormire Cansado N:Cansado;Dormire;;; PHOTO:data:image/jpeg\;base64 REV:20170626T215407Z END:VCARD ``` And of course the photo is not seen on any client synchronizing this. I do not know if this should be posted in vobject or here.

Updated 27/06/2017 01:53 1 Comments

CasbahPersistenceReadJournaller robustness of live events under DB failure

scullxbones/akka-persistence-mongo

Bringing discussion over from #156

This seems to be the case also for read journaller, the code does not have any error handling so it’s not very resilient.

This line appears to be only executed once:

https://github.com/scullxbones/akka-persistence-mongo/blob/master/casbah/src/main/scala/akka/contrib/persistence/mongodb/CasbahPersistenceReadJournaller.scala#L137

So if the cursor fails it will never be recreated:

https://github.com/scullxbones/akka-persistence-mongo/blob/master/casbah/src/main/scala/akka/contrib/persistence/mongodb/CasbahPersistenceReadJournaller.scala#L122

And any new queries using the realtime stream will never receive new journal events. This should be rebuilt in a way that would recover in case of a database connection drop.

@scullxbones any preference on how this could be implemented?

There are a few options, a simple single threaded scheduled execution context that can schedule recreation of the cursor on failures with a delay, or an actor based one that keeps the state of the connection/cursor running, or whatever…

Updated 27/06/2017 01:19

Account delta migration is broken

forcedotcom/scmt-server

If I select migrate data range for accounts, I don’t get a different search url. Here’s an example:

https://zzz-minjunyang.desk.com/api/v2/companies/search?q=(created_at:[1%20TO%201498525952])&per_page=500&page=1&sort_field=created_at&sort_direction=asc

The minimum created at date here is 1, but it should be the date I select in the UI.

Updated 27/06/2017 01:18

Shader bug I must remember to fix eventually

godotengine/godot

this shader compiles without problem, it shouldn’t reminding me to fix it later

shader_type canvas_item;

uniform vec4 base : hint_color;

void fragment() {
    vec3 c = textureLod(SCREEN_TEXTURE,SCREEN_UV,0.0); //should be wrong

    //float v = max(c.r,max(c.g,c.b));
    float v = dot(c,vec3(0.33333,0.33333,0.33333));
    v=sqrt(v);
    //v*=v;
    COLOR.rgb= base.rgb*v;


}
Updated 27/06/2017 01:29

EnvironmentView permission dictates which environment-scoped variables in a set that a user can access

OctopusDeploy

When a team has the EnvironmentView permission scoped to multiple environments, they are able to view and edit variables in a variable set which are scoped to environments that VariableView and VariableEdit should allow for. Variable permissions scoped to a single environment should limit access to variables within a set to only those scoped to that single environment.

Scenario: A user has the following permissions.

variable_set_permissions

The user can view and edit variables scoped to environments as determined by their EnvironmentView permissions. VariableEdit permission is only for Development environment, and they should only be able to edit variables within a set that are scoped to Development. Here’s the result from the permissions.

variable_set_environment_scope

Sources: http://help.octopusdeploy.com/discussions/problems/55279 http://help.octopusdeploy.com/discussions/questions/12074

Updated 27/06/2017 01:02

Error

karagenit/forks
Something went wrong while executing your query. 
This is most likely a GitHub bug. 
Please include "8E46:3D27:642487C:805FD29:5951ACE7" when reporting this issue.

Owner: mangini Name: gdocs2md Count: Default (20)

Updated 27/06/2017 01:03

Default eventhubs batchsize is incorrect

Azure/azure-webjobs-sdk-script

The default batchsize for eventhubs in Azure Functions is supposed to match the defaults that were changed in webjobs in this commit. However in practice these defaults are not honored. This results in the default batchsize being 1000.

The configuration code needs to be fixed to allow the defaults specified by webjobs to take effect unless the user overrides them.

Updated 27/06/2017 00:50

fix: allow multiple assets with different types

storybooks/storybook

Issue: CSS not displaying when using the exract-text-webpack-plugin

What I did

Upgraded from @kadira/storybook@1.x and had the extract-text-webpack-plugin enabled.

Unfortunately my CSS didn’t load, encountering the same issue as described in #1104 and most likely #388 and #708.

Using the extract-text-webpack-plugin creates a new entry point however, making the asset list look something like this: js { manager: 'static/manager.02f732c9002a59214667.bundle.js', preview: [ 'static/preview.352040d027a7c22331ae.bundle.js', 'static/preview.1f62768c19a65e75e4259a4c418d292d.css', 'static/preview.1f62768c19a65e75e4259a4c418d292d.css.map' ] } and due to https://github.com/storybooks/storybook/blob/34b96aae764a386c35d4db2a057e85236bd8ddfe/app/react/src/server/iframe.html.js#L33 only ever taking the very first asset, the CSS never makes it into iframe.html.

How to test

I added new tests :)

fixes #388 fixes #708 fixes #1104

Updated 27/06/2017 01:19 1 Comments

Uncaught TypeError: GetDataActions.clearPreviousData is not a function

unfoldingWord-dev/translationCore

View details in Rollbar: https://rollbar.com/ihoegen/translationCore/items/336/


TypeError: GetDataActions.clearPreviousData is not a function
  File "x86\translationCore\resources\app.asar\src\js\actions\LoginActions.js", line 76, in C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\redux-thunk\lib\index.js", line 11, in C:\Program Files
  File "x86\translationCore\resources\app.asar\src\js\containers\home\UsersManagementContainer.js", line 148, in Object.logoutUser (C:\Program Files
  File "x86\translationCore\resources\app.asar\src\js\components\home\usersManagement\Logout.js", line 64, in onClick (C:\Program Files
  File "https://d37gvrvc0wt4s1.cloudfront.net/js/v1.9/rollbar.min.js", line 1, in HTMLUnknownElement.e._wrapped
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactErrorUtils.js", line 70, in Object.ReactErrorUtils.invokeGuardedCallback (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\EventPluginUtils.js", line 85, in executeDispatch (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\EventPluginUtils.js", line 108, in Object.executeDispatchesInOrder (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\EventPluginHub.js", line 43, in executeDispatchesAndRelease (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\EventPluginHub.js", line 54, in executeDispatchesAndReleaseTopLevel (C:\Program Files
Updated 27/06/2017 00:45

I cannot open my menu in the navigation bar

neomad-team/neomad.org

When clicking on my avatar in the top right of the website, a submenu appears: screen shot 2017-06-27 at 2 43 05 am

However it does not display on other pages.

I also have the following error except on the /around page which I suspect may be related:

TypeError: poisCards is null[En savoir plus]  utils.js:22:3
    window.onload https://neomad.org/static/js/utils.js:22:3
Updated 27/06/2017 00:44

swss loses netlink messages

Azure/sonic-swss-common

When netlink sends big amount of netlink messages, swss is not capable to transform and save them into the DB. Currently we can increase netlink receive buffer, but it can’t prevent us of loosing some of them in time when there’re a pike of messages. We need better netlink messages management code.

Updated 27/06/2017 00:45

Uncaught TypeError: Cannot read property 'direction' of undefined

unfoldingWord-dev/translationCore

View details in Rollbar: https://rollbar.com/ihoegen/translationCore/items/335/


TypeError: Cannot read property 'direction' of undefined
  File "x86\translationCore\resources\app.asar\tC_apps\ScripturePane\components\Pane.js", line 55, in Pane.render (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactCompositeComponent.js", line 796, in C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactCompositeComponent.js", line 75, in measureLifeCyclePerf (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactCompositeComponent.js", line 795, in ReactCompositeComponentWrapper._renderValidatedComponentWithoutOwnerOrContext (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactCompositeComponent.js", line 822, in ReactCompositeComponentWrapper._renderValidatedComponent (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactCompositeComponent.js", line 362, in ReactCompositeComponentWrapper.performInitialMount (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactCompositeComponent.js", line 258, in ReactCompositeComponentWrapper.mountComponent (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactReconciler.js", line 46, in Object.mountComponent (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactMultiChild.js", line 238, in ReactDOMComponent.mountChildren (C:\Program Files
  File "x86\translationCore\resources\app.asar\node_modules\react-dom\lib\ReactDOMComponent.js", line 697, in ReactDOMComponent._createInitialChildren (C:\Program Files
Updated 27/06/2017 00:41

Contributing is overwritten

jhochwald/ExchangeNodeMaintenanceMode

<!— Provide a general summary of the issue in the Title above –>

Expected Behavior

Contributing should be updated, or at least not overwritten!

Current Behavior

Old Contributing overwrites the new one, no automated Update!

Possible Solution

No Idea yet! Look like an issue with the ModuleBuild Module.

Steps to Reproduce

<!— Provide a link to a live example, or an unambiguous set of steps to –> <!— reproduce this bug. Include code to reproduce, if relevant –> 1. Invoke the Build

Your Environment

<!— Include as many relevant details about the environment you experienced the bug in –> * Operating System: Windows 10 (Build 1703 / OS Build 10.0.15063.413) Professional * PowerShell version: 5.1.15063.413 Desktop * ModuleBuild: 0.0.8 (Gallery)

Updated 27/06/2017 00:47

[Bug] Homepage Rail times out

artsy/force

When visiting artsy.net (production) it appears as though the homepage rail times out due to a regression in Metaphysics:

[{"message":"https://api.artsy.net/api/v1/gene/undefined? - {\"error\":\"Gene Not Found\"}"}]

I can no longer get to that rail view (not sure how I was there to begin with) so unfortunately I can’t provide any more info!

Updated 27/06/2017 00:40

Index.md os overwritten

jhochwald/ExchangeNodeMaintenanceMode

<!— Provide a general summary of the issue in the Title above –>

Expected Behavior

Index.md should be updated, or at least not overwritten!

Current Behavior

Old Index.md overwrites the new one, no automated Update!

Possible Solution

No Idea yet! Look like an issue with the ModuleBuild Module.

Steps to Reproduce

<!— Provide a link to a live example, or an unambiguous set of steps to –> <!— reproduce this bug. Include code to reproduce, if relevant –> 1. Invoke the Build

Your Environment

<!— Include as many relevant details about the environment you experienced the bug in –> * Operating System: Windows 10 (Build 1703 / OS Build 10.0.15063.413) Professional * PowerShell version: 5.1.15063.413 Desktop * ModuleBuild: 0.0.8 (Gallery)

Updated 27/06/2017 00:47

My username is constantly changing

neomad-team/neomad.org

After logging into the website (https://neomad.org/login), access my page but my slug (and username) is incrementing always. I’m currently at 28 (https://neomad.org/@vinyll28). Therefore I sometime see a page 404 if I refresh my profile page. I need to get to https://neomad.org/ when logged in to know what is my current username.

Updated 27/06/2017 00:40

ReleaseNotes are overwritten

jhochwald/ExchangeNodeMaintenanceMode

<!— Provide a general summary of the issue in the Title above –>

Expected Behavior

ReleaseNotes should be updated, or at least not overwritten!

Current Behavior

Old ReleaseNotes overwrites the new one, no automated Update!

Possible Solution

No Idea yet! Look like an issue with the ModuleBuild Module.

Steps to Reproduce

<!— Provide a link to a live example, or an unambiguous set of steps to –> <!— reproduce this bug. Include code to reproduce, if relevant –> 1. Invoke the Build

Your Environment

<!— Include as many relevant details about the environment you experienced the bug in –> * Operating System: Windows 10 (Build 1703 / OS Build 10.0.15063.413) Professional * PowerShell version: 5.1.15063.413 Desktop * ModuleBuild: 0.0.8 (Gallery)

Updated 27/06/2017 00:47

ChangeLog.md is overwriten

jhochwald/ExchangeNodeMaintenanceMode

<!— Provide a general summary of the issue in the Title above –>

Expected Behavior

Changelog should be updated, or at least not overwritten!

Current Behavior

Old ChangeLog overwrites the new one, no automated Update!

Possible Solution

No Idea yet! Look like an issue with the ModuleBuild Module.

Steps to Reproduce

<!— Provide a link to a live example, or an unambiguous set of steps to –> <!— reproduce this bug. Include code to reproduce, if relevant –> 1. Invoke the Build

Your Environment

<!— Include as many relevant details about the environment you experienced the bug in –> * Operating System: Windows 10 (Build 1703 / OS Build 10.0.15063.413) Professional * PowerShell version: 5.1.15063.413 Desktop * ModuleBuild: 0.0.8 (Gallery)

Updated 27/06/2017 00:48

Old URL overwrites the new URL

jhochwald/ExchangeNodeMaintenanceMode

<!— Provide a general summary of the issue in the Title above –>

Expected Behavior

The new URL is https://github.com/jhochwald/ExchangeNodeMaintenanceMode

Current Behavior

The new URL is replaced by the Old URL https://github.com/jhochwald/PowerShell-collection

Possible Solution

Re Initialize the Module Look like an issue with the ModuleBuild Module.

Steps to Reproduce

<!— Provide a link to a live example, or an unambiguous set of steps to –> <!— reproduce this bug. Include code to reproduce, if relevant –> 1. Invoke the Build

Your Environment

<!— Include as many relevant details about the environment you experienced the bug in –> * Operating System: Windows 10 (Build 1703 / OS Build 10.0.15063.413) Professional * PowerShell version: 5.1.15063.413 Desktop * ModuleBuild: 0.0.8 (Gallery)

Updated 27/06/2017 00:48

Linux + clang build failure

sxs-collaboration/spectre

I am trying to compile SpECTRE with clang on a Linux machine. The machine is set up according to the installation notes:

  • llvm & SpECTRE deps installed using Spack
  • Charm++ compiled using ./build charm++ multicore-linux64 clang -j8 --with-production and patched

I am running the following CMake command for SpECTRE: cmake -D CMAKE_CXX_COMPILER=clang++ -D CMAKE_C_COMPILER=clang -D CMAKE_Fortran_COMPILER=gfortran -D CHARM_ROOT=/home/francois/code/charm/multicore-linux64-clang ..

I get the following error: [snip] -- CMAKE_BUILD_TYPE: Debug CMake Error at /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:137 (message): Could NOT find LIBCXX (missing: LIBCXX_INCLUDE_DIRS) Call Stack (most recent call first): /usr/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:377 (_FPHSA_FAILURE_MESSAGE) cmake/FindLIBCXX.cmake:68 (FIND_PACKAGE_HANDLE_STANDARD_ARGS) cmake/SetupLibCXX.cmake:5 (find_package) CMakeLists.txt:31 (include)

I am able to compile other projects with clang++ -stdlib=libc++ ..., so the library should be findable.

Updated 27/06/2017 01:10 1 Comments

Too many emails about new client access if user agent is ""

zammad/zammad

Infos:

  • Used Zammad version: 1.5
  • Used Zammad installation source: any
  • Operating system: any
  • Browser + version: any

Expected behavior:

  • Get only once a email notification if I use the api with a new http client

Actual behavior:

  • If user agent is “” I get an email notification on any http client call (many emails)
Updated 27/06/2017 00:26

Brecha nas interfaces

Eddyosos/integracao201701

Retirar das interfaces o getInstance e outros métodos que expõem as classes thrift; De acordo com o fábio devemos usar cast ou reflexão para garantir que a interface continue “Limpa”

Updated 27/06/2017 00:25

Fix fog to update with time of day

aaronfrazer/GameEngine

Currently fog values are not updated properly depending on the time of night/day. Fix the fog variables to look aesthetically pleasing when switching from day to night. This will need to be changed in SkyboxRenderer.java file.

Updated 27/06/2017 00:22

GUID in the Files is crappy

jhochwald/ExchangeNodeMaintenanceMode

<!— Provide a general summary of the issue in the Title above –>

Expected Behavior

The Guis should be 1293bb34-f68a-46cb-ad98-11ab9dff2f07

Current Behavior

In most cases after a build it is 00000000-0000-0000-0000-000000000000. Sometimes it contains both (1293bb34-f68a-46cb-ad98-11ab9dff2f07_00000000-0000-0000-0000-000000000000)

Possible Solution

No Idea yet! Look like an issue with the ModuleBuild Module.

Steps to Reproduce

<!— Provide a link to a live example, or an unambiguous set of steps to –> <!— reproduce this bug. Include code to reproduce, if relevant –> 1. Invoke the Build

Your Environment

<!— Include as many relevant details about the environment you experienced the bug in –> * Operating System: Windows 10 (Build 1703 / OS Build 10.0.15063.413) Professional * PowerShell version: 5.1.15063.413 Desktop * ModuleBuild: 0.0.8 (Gallery)

Updated 27/06/2017 00:48

Fix unnecessary resampling of uniform input data

opensim-org/opensim-core

Fixes issue with reported start and end-times that are slightly off from their range specified in the Tool setup file.

Noticed this running ISB 2017 example running SO in both 3.3 and 4.0. SO start time is being changed to -3.04423e-13 when both the user specified start time and the experimental data start at 0.0. The problem is that during filtering the data is re-sampled according to the minimum step-size (intended to accurately sample simulation results) but this applied to evenly sampled data where you end up with a minim step size that differs from the typical/average just due to round-off error. That causes all data points to be shifted by the that round-off.

Brief summary of changes

Check if the data is uniformly sampled and do not re-sample the data if it is uniform. This fixes the side-effect of having user-specified start and end-times shifted due to round-off when uniform timeline is provided but re-sampling with the min step size.

Testing I’ve completed

All tests passed locally.

Looking for feedback on…

CHANGELOG.md (choose one)

  • no need to update because because this is a minor bug fix
Updated 27/06/2017 01:52

Insercion de producto existente

llamas77/PAV1_Proyecto

Al querer insertar un producto existente, causa la modificacion del producto almacenado sin ninguna advertencia y permitiendo la pérdida de datos (borrar valores).

La solución seria redefinir el frm_generico para que no chequee si existe y decida si insertar o actualizar, sino que lo haga a traves de un estado que indique si se quiere insertar o modificar (como hicimos en clase).

Updated 26/06/2017 23:54 1 Comments

Assertion `!crete_tci_is_current_block_symbolic()' failed

SVL-PSU/crete-dev
  • Found by Chris and Raghu
  • Description: Along the tracing in qemu, a set of sanity checks are performed between the execution of each TB. A sanity check failed in the test with signmsg.
  • Cause: A PAGE fault exception caused by tracing on the translation context of QEMU-IR, which breaks the tracing flow and a sanity check property.
  • Fix: Avoid PAGE fault exception caused by tracing.
Updated 27/06/2017 00:03 1 Comments

Infinite renaming tippers apply

SpartanRefactoring/Main

MethodDeclarationRenameSingleParameter and ParameterAbbreviate don’t stop being applied (in guava project). @dormaayan You worked on renaming These tippers change some names alternately, try this: public String join(Iterable<? extends Entry<?, ?>> es) { return join(es.iterator()); } (from guava->Joiner)

Updated 26/06/2017 23:39

Rework Lead Link as default role-filler

holacracyone/Holacracy-Constitution

There are edge-cases where the current default of a lead link filling roles that are unfilled run into lack of clarity or just don’t make sense, such as in cases where a role assignment domain has been delegated to another role (e.g. should the lead link still fill it by default? and should the accountability for filling that role move with the domain in this case, or not?). Clarify how this works, perhaps by having the role-assignment domain move as a complete package with related accountabilities and defaults, or by removing it entirely instead (this may require reworking the default of a lead link holding accountabilities not delegated to a role to apply to filled roles, so the lead link would still hold any on an unfilled role and couldn’t decline actions/projects due to an unfilled role existing).

Updated 26/06/2017 23:38

Bokeh reset button causes loss of axes in HoloMap

ioam/holoviews

Using the following code for a repro, the attached animated gif shows that if you set the kdim to non-zero and hit the reset button, the x- and y- axes and their ticks/labels are removed. This is using latest master.

import holoviews as hv
hv.extension('bokeh')
hv.HoloMap({p: hv.Curve([(0,0),(1,1),(2,p)]) for p in np.linspace(0, 1, 17)}).collate()

reset_button_loss_axes

Updated 26/06/2017 23:54 6 Comments

Propagate kubectl settings through exec commands

chrisbarrett/kubernetes-el

Currently, the kubectl exec popup ignores the configuration popup’s KUBECONFIG setting.

This means that when execing into pods, we will fail if we need to use a non-default kubeconfig file.

Setting this to point to a file will only update the configurations window (which will work fine). When running the exec commands, we can see all the running pods, but the actual exec command will not run with the –kubeconfig option enabled.

I fix this in my own environment by adding (push ‘“–kubeconfig=/path/to/my/kubecofig/kubeconfig.yaml” args) at line 121 …. But there must be a better way! Rocking package, by the way! I’m the envy of the office!

Updated 27/06/2017 01:57 1 Comments

Tilesets no longer keep its collisions, with either CollisionPolygon2D or CollisionShape2D and character goes right through them

godotengine/godot

Operating system or device - Godot version: Windows 10 64bit Godot 3.0 commit 90592ccf03521cda14ee3a9576b671136da2021d

Issue description: New Tilesets or old Tilesets with collisions defined and re-exported, loose their collisions and KinematicBody2D (character) goes right through, also their collisions are not being drawn

Steps to reproduce: Get a Tileset scene from a couple of days ago that have working collisions or create a new one with a Sprite+StaticBody2D+CollisionPolygon2D, save the scene, export the scene as a Tileset The collisions dont work anymore and the character can go right through the Tiles

Updated 26/06/2017 23:53 1 Comments

Migrate from Argon2 to Bcrypt

bbuck/dragon-mud

Due to potential security threats against the current implementation of Argon2 in Go, and the alternatives depending on CGo to compile (which I do not wish to introduce into this project) I am choosing to forgo Argon2 support in favor of Bcrypt.

Google’s bcrypt library should be sufficient.

Updated 26/06/2017 23:27 1 Comments

Q.GENL generalises in wrong order

HOL-Theorem-Prover/HOL

As reported by Chun Tian (@binghe):

Recently I found that, GENL and Q.GENL has different generalization orders:

GENL [``x``, ``y``, ``z``] (SPEC_ALL EQ_TRANS);
val it =
   |- ∀x y z. (x = y) ∧ (y = z) ⇒ (x = z):
   thm

Q.GENL [`x`, `y`, `z`] (SPEC_ALL EQ_TRANS);
val it =
   |- ∀z y x. (x = y) ∧ (y = z) ⇒ (x = z):
   thm

see the differences: “!x y z” and “!z y x”. It seems that Q.GENL processes the variable list in a reverted order.

Updated 26/06/2017 23:25

Fork me on GitHub