 Yentl Van Tendeloo
|
739c99fc38
Fixed Mv wrapper
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
8bb94bc2a8
Various fixes to DTCBD
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1a7d157c3f
algebraic loops seem to be solved semi-correctly now
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
170cbddc9f
CTCBD seems to be working
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
c6591c9428
DTCBD to CTCBD works, but live modelling broken for CTCBD
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
534c9d431a
Semi-working CTCBD to DTCBD
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e78cc39605
Fixed plotter such that is able to handle FSA as well (I think)
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
bbb3e90df7
Fixed FSA live modelling by falling back to the initial state
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
5456a9ddd2
Added a timer in the FSA logic
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
ca8fb0ddf8
Mostly fixed live modelling for FSA
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
27e0b0cd77
Fix some models
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
386931f8d8
Fix typo in default process_execute
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
59e789a98c
Make upload not crash
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
84590ec23f
Add basic PM for the three liveness models
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2365a683d5
Several major fixes
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
09d070bb21
Added first few transformation rules
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f083aecac4
Added some models for live modelling
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1c317d0b84
Revert "Merge branch 'DEVS' into testing"
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
89d7463e85
Merge branch 'DEVS' into testing
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
bc352bbc82
Cleaned testing branch
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
c6be801df6
Updated results to be in milliseconds
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
26be304b5f
Updated with realistic results from server
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f713d47523
Update to make the code work for any type of latency
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
72879c8d53
Fixes to parameters...
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
35d40c3827
Merge branch 'DEVS' of https://msdl.uantwerpen.be/git/yentl/modelverse into DEVS
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
b6c71115a5
Make the DEVS model take parameters
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
db310ed0f2
Fixes to plot and make DEVS model take CLI parameters
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
aae31584b6
Added output to file
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0ce96bd433
Merge branch 'DEVS' of msdl.uantwerpen.be:yentl/modelverse into DEVS
|
%!s(int64=7) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2fddde9907
Add plot file + placeholder results
|
%!s(int64=7) %!d(string=hai) anos |
