Yentl Van Tendeloo
|
330fe37bf3
Fix bootstrap file not being properly uploaded
|
7 年之前 |
Yentl Van Tendeloo
|
4c82bdecab
Load an AL model at startup to potentially overwrite bootstrap files
|
7 年之前 |
Yentl Van Tendeloo
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
7 年之前 |
Yentl Van Tendeloo
|
6b9987af5d
First port to ID/value tuples instead of just IDs
|
7 年之前 |
Yentl Van Tendeloo
|
09ea9972de
Strip some unnecessary operations
|
7 年之前 |
Yentl Van Tendeloo
|
a359ed9329
New bootstrapping process: no more exec with initializers in a dictionary, but instead directly invoke the global assignment
|
7 年之前 |
Bentley James Oakes
|
7e7b45587e
Python3 changes - part 1.
|
7 年之前 |
Yentl Van Tendeloo
|
f4c0bac705
Semi-working automatically generated Modelverse Kernel
|
7 年之前 |
Yentl Van Tendeloo
|
dee4cf272f
Optimize creation of formal function signatures
|
7 年之前 |
Yentl Van Tendeloo
|
4effccfe6f
Rename casting operations
|
7 年之前 |
Yentl Van Tendeloo
|
990561a052
Added a rudimentary form of None...
|
7 年之前 |
Yentl Van Tendeloo
|
b89f748bb9
Merge branch 'master' into testing
|
8 年之前 |
Yentl Van Tendeloo
|
9c93634f3b
Added is_error primitive
|
8 年之前 |
Yentl Van Tendeloo
|
9c3f4e0f1e
Remove loader and minor fixes
|
8 年之前 |
Yentl Van Tendeloo
|
544c08519b
Lots of fixes to the new set representation
|
8 年之前 |
Yentl Van Tendeloo
|
13ad926bbd
Fixed some compilation problems
|
8 年之前 |
Yentl Van Tendeloo
|
b783507e23
Remove primitive functions
|
8 年之前 |
Yentl Van Tendeloo
|
cf33fbed38
Use interruptable_sleep as an option
|
8 年之前 |
Yentl Van Tendeloo
|
b698243fcb
WIP on testing: 00e6db4 Add instantiate which immediately fixes the location of the new elements
|
8 年之前 |
Yentl Van Tendeloo
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 年之前 |
Yentl Van Tendeloo
|
6518e8fd23
Remove unnecessary parts in bootstrap and compilers: symbols and hash
|
8 年之前 |
Yentl Van Tendeloo
|
adc1d03bcc
Remove deprecated functions
|
8 年之前 |
Yentl Van Tendeloo
|
f6f1f1205c
Force order in bootstrap.m generation, such that it should be
|
8 年之前 |
Yentl Van Tendeloo
|
286b58ad13
Make sure that the bootstrap file can be compiled
|
8 年之前 |
Yentl Van Tendeloo
|
c097c8bc1f
Bootstrap file can now be compiled (though doesn't work yet...)
|
8 年之前 |
Yentl Van Tendeloo
|
2b15a6871c
First step towards compiling models in the bootstrap file as well
|
8 年之前 |
Yentl Van Tendeloo
|
e4efadced7
Further optimizations to the bootstrap file
|
8 年之前 |
Yentl Van Tendeloo
|
75b1815c96
Added the dict_add_fast operation
|
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 年之前 |