 Yentl Van Tendeloo
|
41ae71646e
Fixed minor bugs; always use PO even in make_all
|
пре 8 година |
|
Yentl Van Tendeloo
|
73e91e3cc2
Store debug info at user-level
|
пре 8 година |
|
Yentl Van Tendeloo
|
26f059bf12
Fix self-removing users
|
пре 8 година |
|
Yentl Van Tendeloo
|
d6a4139a3b
Fixing some more small problems
|
пре 8 година |
|
Yentl Van Tendeloo
|
f1edc918d6
Merge branch 'yentl' into DEVS
|
пре 8 година |
|
Yentl Van Tendeloo
|
e4943ca622
Remove some stupid prints; fixed some bugs in the generated
|
пре 8 година |
|
Yentl Van Tendeloo
|
056fbc27f9
Modelverse can now also output "None" in case of errors
|
пре 8 година |
|
Yentl Van Tendeloo
|
d6ea373bfb
Major rewrite to bootstrap generation:
|
пре 8 година |
|
Yentl Van Tendeloo
|
ff3d0002ee
Add wrapper for literal text reading
|
пре 8 година |
|
Yentl Van Tendeloo
|
f687eefa94
Also patched the bootstrap generator
|
пре 8 година |
|
Yentl Van Tendeloo
|
fa723c6a95
Removed all code that wrapped the R and V choices
|
пре 8 година |
|
Yentl Van Tendeloo
|
c4e3fc0dd4
Merge branch 'master' into DEVS
|
пре 8 година |
|
Yentl Van Tendeloo
|
688590997f
Remove obnoxious print again
|
пре 9 година |
|
Yentl Van Tendeloo
|
cfa5a474fc
Fixed some bugs with RDF
|
пре 9 година |
|
Yentl Van Tendeloo
|
43e50291dd
Fixed the = ? syntax in definitions: now generates a global for each user
|
пре 9 година |
|
Yentl Van Tendeloo
|
643b84b6f4
Allow the input to be JITed as well through a specific function call. It looks ugly, but it works, as shown by the construct_const compiled variant.
|
пре 9 година |
|
Yentl Van Tendeloo
|
8679f71e25
Merge branch 'yentl' into DEVS
|
пре 9 година |
|
Yentl Van Tendeloo
|
355b6ab493
Fixed problem with the model constructors: model was not saved in Mv, and thus garbage collected!
|
пре 9 година |
|
Yentl Van Tendeloo
|
7d3e25c45f
Fixed error with garbage collection
|
пре 9 година |
|
Yentl Van Tendeloo
|
ee3c688363
Merge branch 'yentl' into GC
|
пре 9 година |
|
Yentl Van Tendeloo
|
86b99926b9
Check whether instruction is None before attempting execution
|
пре 9 година |
|
Yentl Van Tendeloo
|
e0a9a465eb
Added simple GC algorithm, which still seems to throw away a bit too much
|
пре 9 година |
|
Yentl Van Tendeloo
|
8663342c2a
Add rules_per_phase parameter (not yet used)
|
пре 9 година |
|
Yentl Van Tendeloo
|
296ce1a968
Merge branch 'yentl' of msdl.uantwerpen.be:yentl/modelverse into yentl
|
пре 9 година |
|
Yentl Van Tendeloo
|
4b68fa00e0
Update model to prevent stripping of list of length 1
|
пре 9 година |
|
Yentl Van Tendeloo
|
89dd8f3e03
Made yield infrastructure more transparent by not unpacking single values from the MvS
|
пре 9 година |
|
Yentl Van Tendeloo
|
de6e14821f
Allow the "main" function to be changed to any name (to prevent possible name clashes)
|
пре 9 година |
|
Yentl Van Tendeloo
|
5549be726c
Removed some prints
|
пре 9 година |
|
Yentl Van Tendeloo
|
066a671ab2
Reinstated most constraints, except for the AL constraints on AL elements: takes too long to run
|
пре 9 година |
|
Yentl Van Tendeloo
|
6e92611f00
Remove logs
|
пре 9 година |
