issues
search
spirali
/
kaira
Main repository of project Kaira
http://verif.cs.vsb.cz/kaira
GNU General Public License v3.0
5
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix a potential variable misuse bug
#31
LostBenjamin
closed
2 years ago
1
Fix/matmul
#30
msurkovsky
closed
8 years ago
4
some fixes
#29
msurkovsky
closed
8 years ago
0
FIX: waf clang problem
#28
msurkovsky
closed
8 years ago
0
Import project fail
#27
msurkovsky
opened
8 years ago
2
Exchange buttons list in objectlist
#26
msurkovsky
opened
9 years ago
0
Diff of Control Sequences
#25
msurkovsky
opened
9 years ago
0
Rc/export ctrlseq
#24
msurkovsky
closed
8 years ago
1
Bug: drawing blue are
#23
msurkovsky
opened
9 years ago
0
FIX: run edit code editor
#22
msurkovsky
closed
9 years ago
1
Problem with MPI version of worker sample
#21
msurkovsky
closed
9 years ago
5
Inconsistent behavior of pausing the app and connecting via telnet
#20
msurkovsky
opened
9 years ago
1
Bug: Simulation allows fiire phase 2 through out all processes even though a specific one is selected
#19
msurkovsky
opened
9 years ago
0
Grouping sources in tools (tracelog postprocessing)
#18
msurkovsky
opened
9 years ago
3
Shortcuts
#17
msurkovsky
closed
9 years ago
0
Propagate transition names into xdot state-space.
#16
msurkovsky
opened
9 years ago
0
Make PID always visible on token
#15
MartinBeseda
opened
9 years ago
0
Add a minimap to the net editor
#14
MartinBeseda
opened
9 years ago
1
Graphical comment in the net editor
#13
MartinBeseda
opened
9 years ago
1
Add the possibility of a visible grid in the net editor
#12
MartinBeseda
opened
9 years ago
5
Make the collective component removal possible
#11
MartinBeseda
opened
9 years ago
1
Moved all processes method
#10
msurkovsky
closed
9 years ago
2
Incorrect/incomplete sample -- barier
#9
msurkovsky
closed
9 years ago
0
Wrong click area of collective transitions in simulation.
#8
msurkovsky
opened
9 years ago
0
Abstract base class for all types that are used as place types.
#7
msurkovsky
opened
9 years ago
8
Move ca::all_process to Contex
#6
msurkovsky
closed
9 years ago
1
Combine (replace) token_name with overloaded operator <<
#5
msurkovsky
opened
9 years ago
1
ENH: Removed obsolete tracing in transitions
#4
spirali
closed
9 years ago
0
Remove methods for tracing values within transitions
#3
msurkovsky
closed
9 years ago
3
added cabuf class
#2
Kobzol
closed
9 years ago
1
Added installation instructions for Arch Linux
#1
elieux
closed
10 years ago
11