 Yentl Van Tendeloo
|
d1be97e5c1
Minor tweaks again; mainly affecting the parser
|
преди 8 години |
|
Yentl Van Tendeloo
|
303a135b66
Fixed reverse dictionary
|
преди 8 години |
|
Yentl Van Tendeloo
|
faf6f5d955
Fixed bug in invocation of make_reverse_dictionary
|
преди 8 години |
|
Yentl Van Tendeloo
|
d280994cc2
Fixed syntax errors
|
преди 8 години |
|
Yentl Van Tendeloo
|
7c4d3814d7
Add reverse dictionary capabilities
|
преди 8 години |
|
Yentl Van Tendeloo
|
262ee0bfc7
Optimized allInstances with faster reverseKeyLookupMulti
|
преди 8 години |
|
Yentl Van Tendeloo
|
75b1815c96
Added the dict_add_fast operation
|
преди 8 години |
|
Yentl Van Tendeloo
|
ff022dea2e
Print out the reachability graph before doing the matching
|
преди 8 години |
|
Yentl Van Tendeloo
|
320ffd3b32
Fix reachability graph construction and printing
|
преди 8 години |
|
Yentl Van Tendeloo
|
348fe8d0d3
Added a test for PM execution (and reachability graph construction)
|
преди 8 години |
|
Yentl Van Tendeloo
|
b2f0bc0469
Naively changed user to task in all files
|
преди 8 години |
|
Yentl Van Tendeloo
|
f0737cf22f
Added hash function (for passwords etc.)
|
преди 8 години |
|
Yentl Van Tendeloo
|
9687c992f6
Fixed compilation problem with bootstrap/*.alc
|
преди 8 години |
|
Yentl Van Tendeloo
|
f1a4ee7500
Made core algorithm compile again
|
преди 8 години |
|
Yentl Van Tendeloo
|
7583036293
Added basics of FTG code
|
преди 8 години |
|
Yentl Van Tendeloo
|
19b276e16c
Fixed NACs
|
преди 8 години |
|
Yentl Van Tendeloo
|
de1e9decf4
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
преди 8 години |
|
Yentl Van Tendeloo
|
2e2ddb31b7
Added yet some more "primitives" and fixed minor problems with matching function
|
преди 8 години |
|
Yentl Van Tendeloo
|
b73bdfbdf0
Make a nicer version of the transformation engine, which calls an
|
преди 8 години |
|
Yentl Van Tendeloo
|
70221cf4e0
Creation of simple schedule seems to work mostly
|
преди 8 години |
|
Yentl Van Tendeloo
|
45b6b74a7f
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
преди 8 години |
|
Yentl Van Tendeloo
|
4a0e64447f
Debugging FSA semantics
|
преди 8 години |
|
Yentl Van Tendeloo
|
a1403491f0
Fixed string_substr and also all uses of it (e.g., user_manager)
|
преди 8 години |
|
Yentl Van Tendeloo
|
f553dbfb3a
Added new function to poll for input
|
преди 8 години |
|
Yentl Van Tendeloo
|
aed0d19f50
Fixed string_substr primitive
|
преди 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
|
acaca273c4
Updated all integration test code as well
|
преди 8 години |
|
Yentl Van Tendeloo
|
427339d4ca
Make pn_interface compile everything again without errors
|
преди 9 години |
|
Yentl Van Tendeloo
|
de6e14821f
Allow the "main" function to be changed to any name (to prevent possible name clashes)
|
преди 9 години |
