 Yentl Van Tendeloo
|
b2f0bc0469
Naively changed user to task in all files
|
8 yıl önce |
 jonathanvdc
|
8ad7b9d92d
Make unknown --kernel values warnings instead of errors
|
8 yıl önce |
|
jonathanvdc
|
683534b81c
Include a legacy interpreter for benchmarking purposes
|
8 yıl önce |
|
Yentl Van Tendeloo
|
53336c39e9
Removed from_mvi print
|
8 yıl önce |
 Simon Van Mierlo
|
11d0c45f3d
basic debugging (pause/resume)
|
8 yıl önce |
|
Yentl Van Tendeloo
|
9a39b6698c
Be more tolerant when a lot of data is transmitted
|
8 yıl önce |
|
Yentl Van Tendeloo
|
6fdb69d798
Compress the bootstrap.m and minimal.m file using gzip
|
8 yıl önce |
|
Yentl Van Tendeloo
|
e4943ca622
Remove some stupid prints; fixed some bugs in the generated
|
8 yıl önce |
|
Yentl Van Tendeloo
|
056fbc27f9
Modelverse can now also output "None" in case of errors
|
8 yıl önce |
|
Yentl Van Tendeloo
|
d7ec097456
Remove useless print
|
8 yıl önce |
|
Yentl Van Tendeloo
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
8 yıl önce |
|
Yentl Van Tendeloo
|
a64022b110
Fixed some more places with wrong ID propagation
|
8 yıl önce |
|
Yentl Van Tendeloo
|
fa723c6a95
Removed all code that wrapped the R and V choices
|
8 yıl önce |
|
Yentl Van Tendeloo
|
e41921b96d
Switch the default to the usual backend, but allow it to be switched
|
8 yıl önce |
|
Yentl Van Tendeloo
|
30a11bc60e
Precompile some RDF functions
|
8 yıl önce |
|
Yentl Van Tendeloo
|
cfa5a474fc
Fixed some bugs with RDF
|
8 yıl önce |
|
Yentl Van Tendeloo
|
65537a0d35
Removed annoying prints
|
9 yıl önce |
|
Yentl Van Tendeloo
|
7dce577a78
Added "purge", which only leaves the part of the graph that are reachable from the root.
|
9 yıl önce |
|
Yentl Van Tendeloo
|
355b6ab493
Fixed problem with the model constructors: model was not saved in Mv, and thus garbage collected!
|
9 yıl önce |
|
Yentl Van Tendeloo
|
7d3e25c45f
Fixed error with garbage collection
|
9 yıl önce |
|
Yentl Van Tendeloo
|
e0a9a465eb
Added simple GC algorithm, which still seems to throw away a bit too much
|
9 yıl önce |
|
Yentl Van Tendeloo
|
89dd8f3e03
Made yield infrastructure more transparent by not unpacking single values from the MvS
|
9 yıl önce |
|
Yentl Van Tendeloo
|
a929740f50
Fixed constraint calls
|
9 yıl önce |
|
Yentl Van Tendeloo
|
705381b7c0
Implemented reverseKeyLookup as a primitive for significant performance boost
|
9 yıl önce |
|
Yentl Van Tendeloo
|
39a631b595
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
9 yıl önce |
|
Yentl Van Tendeloo
|
0fdd15df8f
Remove long delay on timeout
|
9 yıl önce |
|
Yentl Van Tendeloo
|
1a5324d718
Seems to work
|
9 yıl önce |
|
Yentl Van Tendeloo
|
e9815870d1
Added problem in SCCD for Simon to fix
|
9 yıl önce |
|
Yentl Van Tendeloo
|
5db1749f0f
Make ports flexible and no longer restricted to 8001: mostly updated tests for this
|
9 yıl önce |
 Yentl Van Tendeloo
|
09901779c5
More user-friendly error messages when tests fail
|
9 yıl önce |
