Andrei Bondarenko - MSDL Git server

Andrei Bondarenko andrei

andrei pushed to master at andrei/MV2

811e7b1eb1 More docs

2 years ago

andrei pushed to master at andrei/MV2

7ffba9a295 More docs
04fed97deb Added docs
b604785f33 Added some documentation
View comparison for these 3 commits »

2 years ago

andrei pushed to master at andrei/MV2

5e28a8d108 Missing files and requirements

2 years ago

andrei pushed to master at andrei/MV2

cd74bb53f6 Small fixes

2 years ago

andrei pushed to master at andrei/MV2

38db3ea0f7 Small fixes

2 years ago

andrei pushed to master at andrei/MV2

d2b0bb2f55 Merge branch 'development'
6df566373d Points example working
dfcc24f487 Small bugfix
695ec6132a Nominal and structural typing seem to be fully working
f7430cceff Nominal constraints now working
View comparison for these 18 commits »

2 years ago

andrei pushed to development at andrei/MV2

6df566373d Points example working
dfcc24f487 Small bugfix
View comparison for these 2 commits »

2 years ago

andrei pushed to development at andrei/MV2

695ec6132a Nominal and structural typing seem to be fully working
f7430cceff Nominal constraints now working
6ce8a4ef5c Park structural conformance for now, finish constraints for nominal
3c1d1fa002 Working on conformance
8ddb5ac12b PN example
View comparison for these 15 commits »

2 years ago

andrei pushed to master at andrei/MV2

a915c835ff Merge branch 'development'
b9526c64ee Merge remote-tracking branch 'origin/development' into development
2264a8b02d Implemented LTM_bottom^(0)
f3680c289f rEFACTORED SOME NAMES
9ab337a6a1 Bottom service for bootstrap cycle 0 added
View comparison for these 48 commits »

2 years ago

andrei pushed to development at andrei/MV2

b9526c64ee Merge remote-tracking branch 'origin/development' into development
2264a8b02d Implemented LTM_bottom^(0)
View comparison for these 2 commits »

2 years ago

andrei pushed to development at andrei/MV2

f3680c289f rEFACTORED SOME NAMES
9ab337a6a1 Bottom service for bootstrap cycle 0 added
View comparison for these 2 commits »

2 years ago

andrei pushed to master at andrei/MV2

046266bfa4 Implemented State

2 years ago

andrei pushed to development at andrei/MV2

633aa84f39 Added back RDF and Neo4j implementations
bc57d9f5c1 Some cleanup
93ff82c2bb Corrected interface
View comparison for these 3 commits »

2 years ago

andrei pushed to development at andrei/MV2

cf2379c5ec Working on manager
597ee31c54 state now properly uses and it typed with UUID
1931020bb1 Revert "Reorganization" This reverts commit f44c888a
f44c888ace Reorganization
c64e348bf2 Clean slate
View comparison for these 6 commits »

2 years ago

andrei pushed to development at andrei/MV2

d7ba998cd7 Simple prompt implemented
65886dc694 Moved SCD bootstrap to separate file
View comparison for these 2 commits »

2 years ago

andrei pushed to development at andrei/MV2

4300783416 Moved SCD bootstrap to SCDContext
8449ec9562 Added type name to custom context mapping
add00d6f3f Added existence check
f875f700cd Implemented GenericContext
be6aeb7d0a Moved model retyping to manager
View comparison for these 12 commits »

2 years ago

andrei pushed to development at andrei/MV2

dd9c48ac81 Reverted some changes to state base
93b602a0eb Updated types
24119609b3 Updated tests
View comparison for these 3 commits »

2 years ago

andrei pushed to development at andrei/MV2

5a548d5c3e Added type value constants
f6747c6929 initial bottom implementation
6d652c213d Added Element dataclass
34881ad4f4 Fixed string dumping
6961ba97cc Removed relative imports
View comparison for these 5 commits »

2 years ago

andrei pushed to development at andrei/MV2

8905dad978 Added some packages
1ba6aecdb9 Added correct printing of type nodes
128b3ec1e4 Added support to state for type nodes
b961e91d9b Added tests for State
9a16377f30 Added DevState
View comparison for these 11 commits »

2 years ago

andrei pushed to development at andrei/MV2

f253ea9167 Added requirements.txt
e2c27b427b Initial commit

2 years ago