issues
search
sybila
/
biodivine-aeon-sketchbook
AEON Sketchbook is a multi-platform application for designing and analysing large-scale logical models.
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Generic static properties + asynchronous inference algorithm
#48
ondrej33
closed
1 week ago
0
Prototype for analysis workflow
#47
ondrej33
closed
1 month ago
0
Loading/exporting models in AEON format
#46
ondrej33
opened
1 month ago
1
Sketch consistency check (before analysis)
#45
ondrej33
opened
1 month ago
1
Documenting project structure, state management, and event hierarchy
#44
ondrej33
opened
2 months ago
0
Robust ID generating
#43
ondrej33
closed
2 months ago
0
Error handling for composite events
#42
ondrej33
opened
3 months ago
0
Interaction/cooperation between sketch modules
#41
ondrej33
opened
3 months ago
0
Robust ID generating
#40
ondrej33
closed
1 month ago
1
[Feature spec] Regulations import dialog
#39
daemontus
opened
3 months ago
1
Some finishing touches
#38
daemontus
closed
3 months ago
0
Fix FE issues
#37
ivicic-petr
closed
3 months ago
0
Adding static and dynamic properties
#36
ondrej33
closed
4 months ago
0
Merge similar functionality into generics, remove redundancy
#35
ondrej33
opened
4 months ago
0
Language and parser for static properties
#34
ondrej33
opened
4 months ago
1
Import and export of the sketch
#33
ondrej33
closed
4 months ago
0
FE fixes for observations backend
#32
ivicic-petr
closed
5 months ago
0
Backend support for datasets and observations
#31
ondrej33
closed
4 months ago
1
Function editor bugfixes
#30
ivicic-petr
closed
5 months ago
0
Feat/observations
#29
ivicic-petr
closed
6 months ago
0
Backend support for update and uninterpreted functions
#28
ondrej33
closed
6 months ago
0
WIP: Feat/functions editor
#27
ivicic-petr
closed
6 months ago
0
Backend for the state of the regulation editor
#26
ondrej33
closed
7 months ago
3
added communication between tabs
#25
ivicic-petr
closed
9 months ago
0
Updated Reg. editor rename dialog
#24
ivicic-petr
closed
9 months ago
0
Groundwork for application state
#23
daemontus
closed
9 months ago
1
Improvements to regulations editor
#22
ivicic-petr
closed
9 months ago
0
Initial implementation of regulations editor
#21
ivicic-petr
closed
9 months ago
0
Tab UI improvements
#20
ivicic-petr
closed
10 months ago
0
Feat/tab splitting
#19
ivicic-petr
closed
10 months ago
0
Updated web components to use Lit framework
#18
ivicic-petr
closed
10 months ago
0
Window session mechanism
#17
daemontus
opened
10 months ago
1
Backend state of the Regulations editor
#16
daemontus
closed
4 months ago
1
Prototype of the regulations editor
#15
daemontus
closed
4 months ago
1
Allow multiple tabs to be open
#14
daemontus
opened
10 months ago
2
First implementation of tab switching
#13
ivicic-petr
closed
10 months ago
1
Create demo for an undo/redo stack
#12
daemontus
closed
4 months ago
1
Create a demo component using Web Components
#11
daemontus
closed
10 months ago
1
Analysis tab for sketch editor
#10
daemontus
opened
1 year ago
1
Properties and assertions tab for sketch editor
#9
daemontus
opened
1 year ago
0
Datasets tab for sketch editor
#8
daemontus
opened
1 year ago
2
Update rules tab for sketch editor
#7
daemontus
opened
1 year ago
1
Regulatory network tab in the sketch editor
#6
daemontus
opened
1 year ago
0
Annotations tab in the sketch editor
#5
daemontus
opened
1 year ago
0
Tab navigation for model window
#4
daemontus
opened
1 year ago
0
Model/Sketch editor window
#3
daemontus
opened
1 year ago
0
Signpost window
#2
daemontus
opened
1 year ago
0
Initial release
#1
daemontus
opened
1 year ago
0