mikivanousek / parity-games Goto Github PK
View Code? Open in Web Editor NEWLicense: MIT License
License: MIT License
selecting an edge without selecting both ends, will break copy deleting.
When you create multiple edges at once and undo. It is done one by one.
yes
Layout on drag only works well with the force-directed layout, so ideally we would hide or disable the button when a different layout is selected
Parsing oink files with no labels is broken.
The program should automatically rearrange the relative positions of a group of vertices (potentially all the vertices), to create a visually pleasing diagram.
The program should include an autosave feature to prevent data loss.
The program must have a manual, which allows a student or a researcher to start using the program without help within 5 minutes.
If you refresh and create a node without moving the mouse it creates the node at (0,0) (top left of screen)
now when clicking the save button, the parity game is automatically downloaded to the Downloads folder with the standard name. This should be changed such that the user can choose the name and the folder themselves.
The program could have the ability to clone a group of vertices, such that:
– Each original vertex receives a clone with identical priority.
– The clones are interconnected as the originals.
– For each parent of an original vertex, an arc is added from it and the original vertex’s clone.
– For each child of an original vertex, an arc is added from the clone vertex to the child.
The program must export a diagram to a parity game file format, supported by Oink and other
parity game programs.
The program must import a parity game file supported by Oink and create a diagram.
To recreate:
This results in the trace menu not showing up even though it should
currently, labels are only shown (if the imported file contains them)
The label and priority can now both be shown, but it would be better if the label is displayed above the vertex. Might not be worth the effort though.
window.pg_name
)if you zoom out a lot you lose your diagram, and you can now only find it again by running an automatic layout. But this also changes the layout of the graph, so we want to have a button to just reset the zoom and position
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.