draperlaboratory hope-policy-tool issues

draperlaboratory / hope-policy-tool

Policy language tools

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

"Depointer" Tags

#56 aroelke closed 1 year ago
1
Add outdated design doc for future reference.

#55 ccasin closed 4 years ago
0
Re-fix printing of an error message by tag union code

#54 amstrnad closed 4 years ago
0
Update gitignore

#53 Jesse-Millwood closed 3 years ago
0
global policies given via command line should not be sorted

#52 amstrnad opened 4 years ago
0
Exit with nonzero return code on error

#51 JohnPMerrill opened 4 years ago
0
Enables multiple policies on the command line.

#50 ccasin closed 4 years ago
0
Remove a reference to an undefined function

#49 amstrnad closed 4 years ago
0
Replace ruleLog with a field in context_t

#48 JohnPMerrill closed 4 years ago
0
Minor printing improvement requested by Silviu

#47 ccasin closed 4 years ago
0
Pr guards

#46 ccasin closed 4 years ago
0
Additional exports to SrcPrinter module

#45 thisisian closed 4 years ago
1
Allow policy-tool to build outside of a git repo

#44 amstrnad closed 5 years ago
0
Use ByteStrings rather than Strings in the parser

#43 amstrnad opened 5 years ago
0
Clean up the policy-tool source.

#42 ccasin closed 5 years ago
0
Add version info to executable

#41 amstrnad closed 5 years ago
0
Add `TagSet` type

#40 amstrnad closed 5 years ago
0
Change top-level composition rules

#39 ccasin closed 5 years ago
1
Consider renaming namespace from osv

#38 amstrnad opened 5 years ago
0
Add check for misnamed module, improve error message Scott encountered.

#37 ccasin closed 5 years ago
0
Add support for multiple policy search paths.

#36 ccasin closed 5 years ago
0
DPL Rule Macros

#35 sbrookes opened 5 years ago
1
Allow the policy tool to use source DPL from multiple repos.

#34 sbrookes closed 5 years ago
0
Look into memory usage

#33 amstrnad opened 5 years ago
19
warnings

#32 ccasin opened 5 years ago
0
Fix line numbers in error messages

#31 amstrnad closed 5 years ago
4
remove pass variable

#30 amstrnad closed 5 years ago
0
Avoid redefining policy constants

#29 amstrnad closed 5 years ago
1
remove use of `pass` variable and correct documentation

#28 ccasin closed 5 years ago
2
Duplicate definitions of success/failure values

#27 ccasin closed 5 years ago
1
Add check for missing rule result operands and default for env

#26 ccasin closed 5 years ago
2
Better ints pr

#25 ccasin closed 5 years ago
0
ctx->cached bad default error

#24 ccasin opened 5 years ago
0
update default ISP PREFIX

#23 JohnPMerrill closed 5 years ago
0
Improve debug output spacing for clarity.

#22 ccasin closed 5 years ago
0
Parser update pr

#21 ccasin closed 5 years ago
0
Fail on use of undeclared metadata

#20 sbrookes closed 5 years ago
3
Readability of debug output

#19 sbrookes closed 5 years ago
1
Cannot nest policy name definitions

#18 sbrookes closed 5 years ago
2
opgroup specification beyond instruction name

#17 sbrookes closed 5 years ago
1
Sharing metadata between policies

#16 sbrookes opened 5 years ago
0
Fix circular import bug and clean up formatting

#15 ccasin closed 5 years ago
0
Fix parsing of whitespace in policy rules

#14 ccasin closed 5 years ago
0
Adding an explicit escape hatch to the policy language

#13 ccasin closed 5 years ago
0
Update hash for stack install script

#12 ghost closed 6 years ago
0
checksum failure

#11 kalizurawski closed 5 years ago
2
unspecified result tags

#10 ccasin closed 5 years ago
7
bad assumption in translatePolicy

#9 ccasin closed 5 years ago
3
error on bad module name

#8 ccasin closed 5 years ago
0
experimental support for dots in instructions

#7 ccasin closed 6 years ago
2