 Yentl Van Tendeloo
|
03160973cf
Remove deprecated code
|
před 9 roky |
|
Yentl Van Tendeloo
|
1efd7854f5
Fixed make_parallel on Windows (I think)
|
před 9 roky |
|
Yentl Van Tendeloo
|
cad84cb40f
Delete information of removed users
|
před 9 roky |
|
Yentl Van Tendeloo
|
b5c47ddd14
Propagate line information in compiler
|
před 9 roky |
|
Yentl Van Tendeloo
|
7f5fbc7454
Patched broken user
|
před 9 roky |
|
Yentl Van Tendeloo
|
4c0a105388
Make parameters more reachable in bootstrap.py
|
před 9 roky |
|
Yentl Van Tendeloo
|
a7724783f8
Restructure bootstrap compiler to make initial code fully transparent
|
před 9 roky |
|
Yentl Van Tendeloo
|
80520d0efb
Fixed problem with newest SCCD causing deadlock on Mv
|
před 9 roky |
|
Yentl Van Tendeloo
|
eadda3c61d
Fixed minor bugs; always use PO even in make_all
|
před 9 roky |
|
Yentl Van Tendeloo
|
eeb1af309b
Store debug info at user-level
|
před 9 roky |
|
Yentl Van Tendeloo
|
9d8d97f46c
Fixed bug
|
před 9 roky |
|
Yentl Van Tendeloo
|
b100495f05
Added return at the end of every function
|
před 9 roky |
|
Yentl Van Tendeloo
|
566c364656
Fix self-removing users
|
před 9 roky |
|
Yentl Van Tendeloo
|
81d4b80b47
Take into account Windows when writing out the name of nodes
|
před 9 roky |
|
Yentl Van Tendeloo
|
cc731b5786
Fix bootstrap generation file for Windows, which doesn't like opening
|
před 9 roky |
|
Yentl Van Tendeloo
|
10633dcc22
Fixed bootstrap file
|
před 10 roky |
|
Yentl Van Tendeloo
|
a5ab6e5e6b
Fixed problem in bootstrap
|
před 10 roky |
|
Yentl Van Tendeloo
|
2b60d7d576
Fixed state selection
|
před 10 roky |
|
Yentl Van Tendeloo
|
c3e9b2ae69
Working simulation of FSA
|
před 10 roky |
|
Yentl Van Tendeloo
|
4de3aefe6d
Fixed FSA semantics
|
před 10 roky |
|
Yentl Van Tendeloo
|
10aab11e3f
Fixed protocol mismatch
|
před 10 roky |
|
Yentl Van Tendeloo
|
b5892a7495
Fixed problems in formalism
|
před 10 roky |
|
Yentl Van Tendeloo
|
b69940d398
Fixed getAttributeList library function and GUI for FSAs
|
před 10 roky |
|
Yentl Van Tendeloo
|
5a2971493d
Fixed most bugs: something starts working
|
před 10 roky |
|
Yentl Van Tendeloo
|
f84ec2eab5
Fixed many more bugs
|
před 10 roky |
|
Yentl Van Tendeloo
|
dd46c28b2d
Debugging FSA semantics
|
před 10 roky |
|
Yentl Van Tendeloo
|
f899e9d0d1
Fixed reference causing exception
|
před 10 roky |
|
Yentl Van Tendeloo
|
a2a8c398d8
Fixed UI for initial state and added some new buttons and keybindings
|
před 10 roky |
|
Yentl Van Tendeloo
|
4684b20d72
Updated FSA semantics
|
před 10 roky |
|
Yentl Van Tendeloo
|
d93ed39c51
First part of code for FSA semantics implementation
|
před 10 roky |
