issues
search
CinRC
/
IRDC-CCSK
Java implementation of distributed reversible computation verification
https://spots.augusta.edu/caubert/cinrc/
GNU General Public License v3.0
4
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Defining simulation
#33
aubertc
closed
1 year ago
4
Ci test
#32
peterbro1
closed
1 year ago
0
Semantic versioning and coherent version number(s)
#31
aubertc
closed
1 year ago
10
Use workflow to compile remotely
#30
aubertc
closed
1 year ago
9
CSSK Axiomatisation
#29
aubertc
opened
1 year ago
1
weird / interesting corner case
#28
aubertc
closed
1 year ago
3
Document the flags
#27
aubertc
closed
1 year ago
1
Accepting processes that already started their execution
#26
aubertc
closed
1 year ago
2
Updating history by deleting events in it
#25
aubertc
closed
1 year ago
1
Differentiate visually forward and backward transitions
#24
aubertc
closed
1 year ago
1
Displaying 0 or not?
#23
aubertc
closed
2 years ago
2
Deciding if a process is reachable / well-formed
#22
aubertc
closed
1 year ago
1
Toward equivalences
#21
aubertc
closed
1 year ago
1
Prefix is removed after execution
#20
aubertc
closed
2 years ago
2
Test fails
#19
aubertc
closed
1 year ago
3
Acting on at most 1 label at a time
#18
aubertc
closed
2 years ago
1
Fix restriction
#17
aubertc
closed
2 years ago
6
Command-line argument to decide on execution choices
#16
aubertc
opened
2 years ago
0
Easily loading examples
#15
aubertc
opened
2 years ago
7
Ask to obtain all the reduction sequences from the command-line
#14
aubertc
closed
1 year ago
3
Adding identifiers mechanisms
#13
aubertc
opened
2 years ago
0
Restriction
#12
aubertc
closed
2 years ago
1
Synchronization
#11
aubertc
closed
2 years ago
1
Complement of a label?
#10
aubertc
closed
2 years ago
1
Making processes aliases for null operator
#9
aubertc
closed
2 years ago
2
Checking precedence of operators
#8
aubertc
closed
1 year ago
9
Adding handling of parenthesis
#7
aubertc
closed
2 years ago
3
Making null operators implicit
#6
aubertc
closed
2 years ago
2
Picking which label to act upon
#5
aubertc
closed
2 years ago
1
Making only one transition at a time
#4
aubertc
closed
2 years ago
1
Cannot compile project
#3
aubertc
closed
2 years ago
5
Listing requirements
#2
aubertc
closed
2 years ago
1
Granting me access
#1
aubertc
closed
2 years ago
1
Previous