Yentl Van Tendeloo
|
7b2c2594c1
Updated link to get-pip to something local
|
8 rokov pred |
Yentl Van Tendeloo
|
eadda3c61d
Fixed minor bugs; always use PO even in make_all
|
8 rokov pred |
Yentl Van Tendeloo
|
eeb1af309b
Store debug info at user-level
|
8 rokov pred |
Yentl Van Tendeloo
|
9d8d97f46c
Fixed bug
|
8 rokov pred |
Yentl Van Tendeloo
|
b100495f05
Added return at the end of every function
|
8 rokov pred |
Yentl Van Tendeloo
|
566c364656
Fix self-removing users
|
8 rokov pred |
Yentl Van Tendeloo
|
81d4b80b47
Take into account Windows when writing out the name of nodes
|
8 rokov pred |
Yentl Van Tendeloo
|
cc731b5786
Fix bootstrap generation file for Windows, which doesn't like opening
|
8 rokov pred |
Yentl Van Tendeloo
|
10633dcc22
Fixed bootstrap file
|
8 rokov pred |
Yentl Van Tendeloo
|
a5ab6e5e6b
Fixed problem in bootstrap
|
8 rokov pred |
Yentl Van Tendeloo
|
2b60d7d576
Fixed state selection
|
8 rokov pred |
Yentl Van Tendeloo
|
c3e9b2ae69
Working simulation of FSA
|
8 rokov pred |
Yentl Van Tendeloo
|
4de3aefe6d
Fixed FSA semantics
|
8 rokov pred |
Yentl Van Tendeloo
|
10aab11e3f
Fixed protocol mismatch
|
8 rokov pred |
Yentl Van Tendeloo
|
b5892a7495
Fixed problems in formalism
|
8 rokov pred |
Yentl Van Tendeloo
|
b69940d398
Fixed getAttributeList library function and GUI for FSAs
|
8 rokov pred |
Yentl Van Tendeloo
|
5a2971493d
Fixed most bugs: something starts working
|
8 rokov pred |
Yentl Van Tendeloo
|
f84ec2eab5
Fixed many more bugs
|
8 rokov pred |
Yentl Van Tendeloo
|
dd46c28b2d
Debugging FSA semantics
|
8 rokov pred |
Yentl Van Tendeloo
|
f899e9d0d1
Fixed reference causing exception
|
8 rokov pred |
Yentl Van Tendeloo
|
a2a8c398d8
Fixed UI for initial state and added some new buttons and keybindings
|
8 rokov pred |
Yentl Van Tendeloo
|
4684b20d72
Updated FSA semantics
|
8 rokov pred |
Yentl Van Tendeloo
|
d93ed39c51
First part of code for FSA semantics implementation
|
8 rokov pred |
Yentl Van Tendeloo
|
dd65be3b07
Changes to interface
|
8 rokov pred |
Yentl Van Tendeloo
|
7bf1fbf8ef
Updated first version of FSA semantics; still not fixed
|
8 rokov pred |
Yentl Van Tendeloo
|
617e772473
Added FSA metamodels
|
8 rokov pred |
Yentl Van Tendeloo
|
c015a370bc
Fixed FSA interface to show X, S and Y
|
8 rokov pred |
Yentl Van Tendeloo
|
9f6558cd64
Added place to store the text on labels
|
8 rokov pred |
Yentl Van Tendeloo
|
42f2ab33d3
Removed debugging prints
|
8 rokov pred |
Yentl Van Tendeloo
|
10d540c7f0
Added code to send event to Mv
|
8 rokov pred |