Peter W. V. Tran-Jørgensen
Peter W. V. Tran-Jørgensen
I was using this [full example](https://github.com/nextcloud/docker/blob/ac8c9984319e45fd34fa3863f82fd9063d628aa4/.examples/dockerfiles/full/apache/Dockerfile) to set up Nextcloud with preview generation enabled. However, I noticed that PDF previews weren't working. Adding ghostscript to the list of installed packages...
In some cases all menu items are not shown when the menu is activated for the bottom-most files shown using the grid view. # Actual behavior / steps to produce...
Fine-grained scrolling using the UP and DOWN keys doesn't work. The following message is shown:  Scrolling using the mouse-wheel, on the other hand, works fine. I'm using the following...
VDM-SL does not allow overloading so two operations with the same name are considered duplicate definitions. Given the spec below, Overture currently reports two warnings - once for each operation...
Recently we've experienced that tasks related to testing the tool are becoming increasingly complex. This is partly caused by the way we store and test the standard examples (those that...
It's possible to create a project with a name that prevents any launch configuration based on this project be executed. The error messages you get indicate some internal crash. To...
Consider the SL spec below: ``` operations op1: () ==> () op1() == skip; op2: () ==> () op2() == skip; traces T1: op1(); T2: op2(); ``` To produce the...
Consider the SL spec below ``` functions funUseIdFun : () -> nat funUseIdFun () == let r : [nat] = nil in idFun(r); --PO produced idFun : nat -> nat...
There seems to be a general problem with POs generated from operations. Consider the operation: ``` op : () ==> nat op () == let r = 0 in return...
Consider the specification below. Overture/VDMJ maintains two versions of the state - one for the entire state (the record value) and one for the record fields. This causes unexpected behaviour...