Andrei Bondarenko
|
7ffba9a295
|
More docs
|
2021-10-09 22:25:50 +02:00 |
|
Andrei Bondarenko
|
04fed97deb
|
Added docs
|
2021-10-09 16:55:11 +02:00 |
|
Andrei Bondarenko
|
b604785f33
|
Added some documentation
|
2021-10-09 16:25:52 +02:00 |
|
Andrei Bondarenko
|
5e28a8d108
|
Missing files and requirements
|
2021-09-28 19:53:12 +02:00 |
|
Andrei Bondarenko
|
6df566373d
|
Points example working
|
2021-08-27 09:46:44 +02:00 |
|
Andrei Bondarenko
|
695ec6132a
|
Nominal and structural typing seem to be fully working
|
2021-08-24 23:56:25 +02:00 |
|
Andrei Bondarenko
|
6ce8a4ef5c
|
Park structural conformance for now, finish constraints for nominal
|
2021-08-24 17:32:21 +02:00 |
|
Andrei Bondarenko
|
3c1d1fa002
|
Working on conformance
|
2021-08-23 15:11:25 +02:00 |
|
Andrei Bondarenko
|
8ddb5ac12b
|
PN example
|
2021-08-21 11:57:20 +02:00 |
|
Andrei Bondarenko
|
967b17c45d
|
Implemented SCD services
|
2021-08-16 14:20:34 +02:00 |
|
Andrei Bondarenko
|
938752ffe4
|
REfctored name
|
2021-08-16 09:55:02 +02:00 |
|
Andrei Bondarenko
|
3e2d0fb96a
|
Primitive type services
|
2021-08-16 09:49:35 +02:00 |
|
Andrei Bondarenko
|
f9aa6a8adf
|
Refactored some stuff
|
2021-08-16 07:59:11 +02:00 |
|
Andrei Bondarenko
|
9b3a4c5a44
|
Defined SCD services interface
|
2021-08-14 16:31:56 +02:00 |
|
Andrei Bondarenko
|
6723bd590b
|
added morphism to scd bootstrap
|
2021-08-13 20:02:28 +02:00 |
|
Andrei Bondarenko
|
4c802a6a03
|
Refactored some names again
|
2021-08-12 11:11:59 +02:00 |
|
Andrei Bondarenko
|
bc57d9f5c1
|
Some cleanup
|
2021-08-11 00:31:14 +02:00 |
|
Andrei Bondarenko
|
cf2379c5ec
|
Working on manager
|
2021-07-24 22:46:59 +02:00 |
|
Andrei Bondarenko
|
1931020bb1
|
Revert "Reorganization"
This reverts commit f44c888a
|
2021-07-24 21:50:12 +02:00 |
|
Andrei Bondarenko
|
f44c888ace
|
Reorganization
|
2021-07-24 20:59:52 +02:00 |
|