 Andrei Bondarenko
|
811e7b1eb1
More docs
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrei Bondarenko
|
7ffba9a295
More docs
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrei Bondarenko
|
04fed97deb
Added docs
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrei Bondarenko
|
b604785f33
Added some documentation
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrei Bondarenko
|
5e28a8d108
Missing files and requirements
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrei Bondarenko
|
cd74bb53f6
Small fixes
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
38db3ea0f7
Small fixes
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
d2b0bb2f55
Merge branch 'development'
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
6df566373d
Points example working
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
dfcc24f487
Small bugfix
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
695ec6132a
Nominal and structural typing seem to be fully working
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
f7430cceff
Nominal constraints now working
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
6ce8a4ef5c
Park structural conformance for now, finish constraints for nominal
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
3c1d1fa002
Working on conformance
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
8ddb5ac12b
PN example
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
967b17c45d
Implemented SCD services
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
afc3df071b
primitive models are now used corerctly
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
938752ffe4
REfctored name
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
3e2d0fb96a
Primitive type services
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
6dcbdbe775
Primitives are now bootstrapped as well
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
f9aa6a8adf
Refactored some stuff
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
9b3a4c5a44
Defined SCD services interface
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
6723bd590b
added morphism to scd bootstrap
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
7f7924197b
MCL graph (without morphisms done)
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
4c802a6a03
Refactored some names again
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
a915c835ff
Merge branch 'development'
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
b9526c64ee
Merge remote-tracking branch 'origin/development' into development
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
2264a8b02d
Implemented LTM_bottom^(0)
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
f3680c289f
rEFACTORED SOME NAMES
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrei Bondarenko
|
9ab337a6a1
Bottom service for bootstrap cycle 0 added
|
%!s(int64=4) %!d(string=hai) anos |
