 Yentl Van Tendeloo
|
81a0880fbb
First patches towards actual permission management
|
před 7 roky |
|
Yentl Van Tendeloo
|
5bfb0db854
Updated documentation about HTTP interface
|
před 7 roky |
|
Yentl Van Tendeloo
|
5c590f7ed1
Fixed new type of task creation
|
před 7 roky |
|
Yentl Van Tendeloo
|
e64fbaf1ae
New system to fetch taskname: task_manager generates them automatically
|
před 7 roky |
|
Yentl Van Tendeloo
|
17714ee538
Added minimal permission_modify test (failing!)
|
před 7 roky |
|
Yentl Van Tendeloo
|
02f346e0a8
Patched conformance problems and added test (including type mapping and bottom)
|
před 7 roky |
|
Yentl Van Tendeloo
|
38396c70d4
Add one more unit test
|
před 7 roky |
|
Yentl Van Tendeloo
|
929992090f
Added lots of tests (preparation for them)
|
před 7 roky |
|
Yentl Van Tendeloo
|
adad8169e0
Fixed conformance checking of global constraints
|
před 7 roky |
|
Yentl Van Tendeloo
|
773e99fc0f
Remove date from SCCD compiled
|
před 7 roky |
|
Yentl Van Tendeloo
|
34cefc51db
Make retype a compiled function
|
před 7 roky |
|
Yentl Van Tendeloo
|
974b375fcd
Make read_type compiled
|
před 7 roky |
|
Yentl Van Tendeloo
|
d449cc0843
Updated MetaDepth conformance semantics as well
|
před 7 roky |
|
Yentl Van Tendeloo
|
f2be24ac46
Updated AToMPM conformance algorithm test example
|
před 7 roky |
|
Yentl Van Tendeloo
|
863ba9fb7d
New type mapping storage method (faster and more correct)
|
před 7 roky |
|
Yentl Van Tendeloo
|
065ddb1356
Updated output __type and __id
|
před 7 roky |
|
Yentl Van Tendeloo
|
bd071b8d7e
Safer way of finding an association destination and origin
|
před 7 roky |
|
Yentl Van Tendeloo
|
9c30f5a8a9
Make sure that AL_text keeps working
|
před 7 roky |
|
Yentl Van Tendeloo
|
3bf24de9af
Remove prints
|
před 7 roky |
|
Yentl Van Tendeloo
|
5e4a80f40c
Mostly working AL_text operation
|
před 7 roky |
|
Yentl Van Tendeloo
|
43134dde3c
Added AL_text operation, which doesn't work yet
|
před 7 roky |
|
Yentl Van Tendeloo
|
c3d694ba1d
Minor patches; output AL in a different way
|
před 7 roky |
|
Yentl Van Tendeloo
|
6c3878120b
Minor bugfixes
|
před 7 roky |
|
Yentl Van Tendeloo
|
ae577b488e
Added PM to FTG transformation
|
před 7 roky |
|
Yentl Van Tendeloo
|
2b572e1f02
Added initial files for FTG generation
|
před 7 roky |
|
Yentl Van Tendeloo
|
841487fc80
Remove unnecessary prints
|
před 7 roky |
|
Yentl Van Tendeloo
|
c1a60e4b8d
Patches for tests and conformance bottom finding
|
před 7 roky |
|
Yentl Van Tendeloo
|
85151ec315
Some more explanation
|
před 7 roky |
|
Yentl Van Tendeloo
|
b65182b94d
Fixed sort algorithm
|
před 7 roky |
|
Yentl Van Tendeloo
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
před 7 roky |
