pvsioweb/pvsio-web issues and pull requests

#250 - Bump express from 4.16.4 to 4.17.3

Pull Request - State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#249 - Bump qs from 6.5.2 to 6.11.0

Pull Request - State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#248 - Bump ajv from 6.12.2 to 6.12.6

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#247 - Bump hosted-git-info from 2.7.1 to 2.8.9

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#246 - Bump lodash from 4.17.15 to 4.17.21

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#245 - Bump grunt from 1.0.4 to 1.3.0

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#244 - Bump y18n from 4.0.0 to 4.0.1

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#243 - Bump lodash from 4.17.15 to 4.17.19

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago - 1 comment
Labels: dependencies

#242 - Bump websocket-extensions from 0.1.3 to 0.1.4

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago - 1 comment
Labels: dependencies

#241 - change the extension of the generated model in Alloy printer

Issue - State: closed - Opened by saulors over 7 years ago - 1 comment

#240 - Save As renames project rather than creating a new project with the given name

Issue - State: closed - Opened by PaoloMasci almost 8 years ago
Labels: bug

#239 - widgets created but not saved

Issue - State: closed - Opened by PaoloMasci almost 8 years ago
Labels: bug

#238 - Property Templates

Pull Request - State: closed - Opened by PaoloMasci almost 8 years ago

#237 - Property Templates

Pull Request - State: closed - Opened by PaoloMasci almost 8 years ago - 1 comment

#236 - Uppaal file import

Pull Request - State: closed - Opened by PaoloMasci almost 8 years ago

#235 - Uppaal import for emucharts

Pull Request - State: closed - Opened by PaoloMasci almost 8 years ago - 1 comment

#234 - MISRA-C & Android App

Pull Request - State: closed - Opened by PaoloMasci almost 8 years ago - 1 comment

#233 - splash screen is not removed

Issue - State: closed - Opened by PaoloMasci almost 8 years ago
Labels: bug

#232 - Add example PIM prototyping projects

Pull Request - State: closed - Opened by nathanielw almost 8 years ago - 1 comment

#231 - Add PIM prototyping feature

Pull Request - State: closed - Opened by nathanielw almost 8 years ago - 1 comment

#230 - [Suggestion] on Model Editor

Issue - State: closed - Opened by saulors about 8 years ago - 1 comment
Labels: enhancement request

#229 - Prototype Builder may save incorrect position and size of button widgets

Issue - State: closed - Opened by PaoloMasci about 8 years ago - 1 comment
Labels: bug

#228 - [Suggestion] on Model Editor

Issue - State: closed - Opened by saulors about 8 years ago

#227 - add support for pvs datatypes in Emucharts

Issue - State: closed - Opened by PaoloMasci about 8 years ago - 1 comment
Labels: enhancement request

#226 - Move from CSS to SCSS

Pull Request - State: closed - Opened by nathanielw over 8 years ago - 2 comments

#225 - new Emucharts feature: MISRA-C code generation

Pull Request - State: closed - Opened by PaoloMasci over 8 years ago - 1 comment

#224 - new Emucharts feature: MISRA-C code generation

Pull Request - State: closed - Opened by PaoloMasci over 8 years ago - 1 comment

#223 - Double click feature implemented

Pull Request - State: closed - Opened by hmiguim over 8 years ago

#222 - Modify file preview

Pull Request - State: closed - Opened by hmiguim over 8 years ago

#221 - Fix bug in file tree where folders immediate collapsed after opening

Pull Request - State: closed - Opened by nathanielw over 8 years ago - 1 comment

#220 - [Issue] Clicking an expander arrow in the file tree triggers the folder to expand and then instantly collapse

Issue - State: closed - Opened by nathanielw over 8 years ago

#219 - update file-browser to support drag&drop bookmarks

Pull Request - State: closed - Opened by hmiguim over 8 years ago - 1 comment

#218 - [Emucharts] state variables are not updated in the context table

Issue - State: closed - Opened by PaoloMasci over 8 years ago
Labels: bug

#217 - Add KeyHandler to RemoteFileBrowser

Pull Request - State: closed - Opened by hmiguim over 8 years ago

#216 - added project alarm clock with tick function

Pull Request - State: closed - Opened by saulors over 8 years ago

#215 - issue on edito button

Issue - State: closed - Opened by saulors over 8 years ago
Labels: bug

#214 - project name is not updated on the GUI when Prototype Builder is not loaded

Issue - State: closed - Opened by PaoloMasci over 8 years ago
Labels: bug

#213 - Labels rendered on transitions are rendered incorrectly after renaming

Issue - State: closed - Opened by PaoloMasci over 8 years ago
Labels: bug, High Priority

#212 - [Issue] Model editor: sometimes cant click in "compile" button

Issue - State: closed - Opened by saulors over 8 years ago - 1 comment

#211 - [issue] User Interface Picture in New project

Issue - State: closed - Opened by saulors over 8 years ago - 1 comment
Labels: bug

#210 - [Issue] renaming new transition

Issue - State: closed - Opened by saulors over 8 years ago - 1 comment

#209 - [Issue] In Emucharts editor

Issue - State: closed - Opened by saulors over 8 years ago - 1 comment

#208 - [issue] Saving with firefox

Issue - State: closed - Opened by saulors over 8 years ago - 1 comment
Labels: bug

#207 - [Suggestion] on Model Editor

Issue - State: closed - Opened by saulors over 8 years ago
Labels: enhancement request

#206 - [Suggestion] When adding a new state (menu)

Issue - State: open - Opened by saulors over 8 years ago
Labels: enhancement request

#205 - PIM support in Emulink

Pull Request - State: closed - Opened by nathanrobb almost 9 years ago - 2 comments

#204 - pvssocketserver uses wrong path to invoke proveit

Issue - State: closed - Opened by PaoloMasci about 9 years ago

#203 - Emucharts parser fails to parse valid arithmetic expressions

Issue - State: closed - Opened by PaoloMasci about 9 years ago
Labels: bug

#202 - Prototype Builder and Emucharts plugin need Undo Manager

Issue - State: open - Opened by thehogfather about 9 years ago
Labels: enhancement request

#201 - [Emucharts] Separate emucharts css style from Javascript code

Issue - State: closed - Opened by PaoloMasci about 9 years ago - 1 comment
Labels: enhancement request, Low Priority

#200 - Emucharts editor incorrectly loads diagrams

Issue - State: closed - Opened by PaoloMasci about 9 years ago
Labels: bug, Medium Priority

#199 - Mal printer2

Pull Request - State: closed - Opened by ruicouto over 9 years ago

#198 - Mal printer2

Pull Request - State: closed - Opened by ruicouto over 9 years ago - 1 comment

#197 - Mal printer2

Pull Request - State: closed - Opened by ruicouto over 9 years ago - 1 comment

#196 - Files in Remote File Browser are not properly sorted

Issue - State: closed - Opened by thehogfather over 9 years ago

#195 - Remote File Browser should implement a simple previewer

Issue - State: closed - Opened by thehogfather over 9 years ago
Labels: enhancement request, Medium Priority

#194 - Rendering issue with overlay areas in Prototype Builder

Issue - State: closed - Opened by PaoloMasci over 9 years ago - 2 comments
Labels: bug, Medium Priority

#193 - `/home` default directory doesnt exist on all operating systems

Issue - State: closed - Opened by thehogfather over 9 years ago - 1 comment

#192 - widget names not loaded when prototype builder panel is collapsed

Issue - State: closed - Opened by PaoloMasci over 9 years ago - 3 comments
Labels: bug, Low Priority

#191 - Implement ping function

Issue - State: closed - Opened by PaoloMasci over 9 years ago
Labels: enhancement request

#190 - Implement a remote file browser

Issue - State: closed - Opened by PaoloMasci over 9 years ago - 2 comments
Labels: enhancement request

#189 - There should be an offline mode that allows limited functionality

Issue - State: open - Opened by thehogfather over 9 years ago - 1 comment
Labels: enhancement request

#188 - The UI needs a "reconnect" button

Issue - State: closed - Opened by PaoloMasci over 9 years ago - 2 comments
Labels: enhancement request, Medium Priority

#187 - overlay areas representing widgets translated incorrectly in Prototype Builder (alpha branch)

Issue - State: closed - Opened by PaoloMasci over 9 years ago - 2 comments
Labels: bug

#186 - Model editor erroneously opens files in read-only mode

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: bug

#185 - The PVSio ready prompt "==>" is sometimes erroneously included in the PVS model state

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 2 comments
Labels: bug

#184 - [Prototype builder] Add new type of input widget: input field

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 1 comment
Labels: enhancement request

#183 - [Emuchart] Add functionality to add function definitions in the context

Issue - State: open - Opened by PaoloMasci almost 10 years ago
Labels: enhancement request

#182 - PVS Parser returns a parser error when using double quotes (for constants of type string) in transition conditions/actions

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: bug, enhancement request

#181 - Notification messages cover key parts of the PVSio-web status

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: bug

#180 - Edit dialog for button widgets does not behave correctly

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 2 comments
Labels: bug

#179 - Sometime server crashes when reloading PVSioweb

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 2 comments
Labels: bug

#178 - Automatically save project every x minutes

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: enhancement request

#177 - [Model editor] Undo function does not have the expected behaviour

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: bug

#176 - Images shown in Open Project dialog window should be clickable

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: enhancement request

#175 - Prototype builder does not load images when the panel is collapsed

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 1 comment
Labels: bug

#174 - "Compile" may take a while to provide an answer

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 1 comment
Labels: enhancement request

#173 - [Model editor] save selected file throws an exception when a folder is selected

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: bug

#172 - Merge Alpha updates into master

Pull Request - State: closed - Opened by thehogfather almost 10 years ago

#171 - [Emulink] Improve "Export as image" in Safari [was: Function "Export as image" works only in Chrome]

Issue - State: closed - Opened by PaoloMasci almost 10 years ago - 5 comments
Labels: enhancement request

#170 - [Emulink] copy the current transition into the new label box

Issue - State: closed - Opened by PaoloMasci almost 10 years ago
Labels: enhancement request

#168 - Multiple files can be added to the treeview list by clicking once on New File context menu

Issue - State: closed - Opened by thehogfather almost 10 years ago

#167 - New files created in filetreeview should be highlighted and ready to be renamed (was: New file context menu no longer shows file rename input text)

Issue - State: closed - Opened by thehogfather almost 10 years ago - 5 comments
Labels: enhancement request, Low Priority

GitHub / pvsioweb/pvsio-web issues and pull requests