des105f16 Editor issues

des105f16 / Editor

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix highlighting "jitter"

#39 deaddog closed 8 years ago
0
Employ the associate law in joins/meets

#38 deaddog closed 8 years ago
1
Remove handling of label checks

#37 MikaelElkiaer closed 8 years ago
0
Arbitrary func and var decl order

#36 MikaelElkiaer closed 8 years ago
0
Global variables

#35 MikaelElkiaer closed 8 years ago
0
Error when adding label to struct field

#34 MikaelElkiaer closed 8 years ago
0
Label tooltips

#33 deaddog closed 8 years ago
0
Add join symbol in rendering for policies with multiple owners

#32 deaddog closed 8 years ago
0
Check if explicit label is redundant

#31 deaddog opened 8 years ago
0
Time policies

#30 MikaelElkiaer closed 8 years ago
0
Output channels

#29 MikaelElkiaer opened 8 years ago
1
Function prototypes

#28 MikaelElkiaer closed 8 years ago
0
Array/struct initialization

#27 MikaelElkiaer opened 8 years ago
0
Add keyword NULL to grammar

#26 MikaelElkiaer closed 8 years ago
0
Nested array/field access

#25 MikaelElkiaer closed 8 years ago
1
Implement char and string literals

#24 MikaelElkiaer closed 8 years ago
0
Function declarations can be nested

#23 MikaelElkiaer closed 8 years ago
0
Handle void functions

#22 deaddog opened 8 years ago
1
Change function default return label

#21 MikaelElkiaer closed 8 years ago
0
gcc doesn't throw error when using undeclared functions

#20 MikaelElkiaer closed 8 years ago
0
Implement SafeNameDictionary for declassifications and blocks

#19 MikaelElkiaer closed 8 years ago
0
Refactor CompilerExecutor

#18 MikaelElkiaer closed 8 years ago
0
Handle function call arguments labels

#17 MikaelElkiaer closed 8 years ago
1
Act for blocks without curly braces

#16 deaddog closed 8 years ago
0
Extract principals seperately

#15 MikaelElkiaer closed 8 years ago
0
Handle function calls

#14 MikaelElkiaer closed 8 years ago
0
Expand function calls to allow for authority

#13 MikaelElkiaer closed 8 years ago
0
Principal hierarchy declarations

#12 MikaelElkiaer closed 8 years ago
2
Multiple principals in "acts for"

#11 MikaelElkiaer closed 8 years ago
0
Multiple principals in one declaration

#10 MikaelElkiaer closed 8 years ago
0
Change "if acts for" first parameter

#9 MikaelElkiaer closed 8 years ago
0
List information on inference error

#8 deaddog closed 8 years ago
1
Language feature wish-list

#7 MikaelElkiaer opened 8 years ago
2
Variables in editor

#6 deaddog closed 8 years ago
0
Fix alignment of GCC errors

#5 deaddog closed 8 years ago
0
Upper/Lower bounds

#4 deaddog closed 8 years ago
0
Declassify

#3 deaddog closed 8 years ago
0
Authority stack

#2 deaddog closed 8 years ago
0
Struct element label

#1 deaddog closed 8 years ago
0