Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / diekmann/iptables_semantics issues and pull requests

#145 - Fix sctp parsing

Pull Request - State: open - Opened by l-jonas 8 months ago

#144 - Spelling

Pull Request - State: open - Opened by jsoref over 3 years ago

#143 - Run fw scheme

Pull Request - State: closed - Opened by diekmann over 7 years ago

#142 - Dinks

Pull Request - State: closed - Opened by jcaesar almost 8 years ago

#141 - Isabelle2016 1

Pull Request - State: closed - Opened by diekmann about 8 years ago

#140 - Output Interface Rewriting

Pull Request - State: closed - Opened by jcaesar about 8 years ago - 1 comment

#139 - preparing OF submission

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#138 - Multiport Ports Support

Pull Request - State: closed - Opened by diekmann over 8 years ago

#137 - bump Stack LTS to 7

Pull Request - State: closed - Opened by larsrh over 8 years ago

#136 - Refactoring

Pull Request - State: closed - Opened by diekmann over 8 years ago

#135 - iptables multiport --ports

Issue - State: closed - Opened by comel over 8 years ago - 5 comments
Labels: enhancement

#134 - Fix OpenFlow Doc

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#133 - Refactoring

Pull Request - State: closed - Opened by diekmann over 8 years ago

#132 - tool does not compile with Isabelle-generated Haskell

Issue - State: closed - Opened by jcaesar over 8 years ago
Labels: bug

#131 - Refactoring and cleanup

Pull Request - State: closed - Opened by diekmann over 8 years ago

#130 - Some examples by eval

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#129 - forgotten stuff

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#128 - Refactoring

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#127 - Refactoring…

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#126 - Refactored and tuned protocol optimization

Pull Request - State: closed - Opened by diekmann over 8 years ago

#125 - tuned fffuu readme

Pull Request - State: closed - Opened by diekmann over 8 years ago

#124 - Refactoring and tuned output ordering (interfaces, protocols first)

Pull Request - State: closed - Opened by diekmann over 8 years ago

#123 - Fixing the Ports Bug [change in model!]

Pull Request - State: closed - Opened by diekmann over 8 years ago

#122 - Improve protocol optimization

Issue - State: closed - Opened by diekmann over 8 years ago - 3 comments
Labels: enhancement, help wanted

#121 - unyolo

Pull Request - State: closed - Opened by larsrh over 8 years ago

#120 - Add forgotten ROOT for Routing

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#119 - Move Routing to own folder

Pull Request - State: closed - Opened by jcaesar over 8 years ago - 1 comment

#118 - stack support

Pull Request - State: closed - Opened by larsrh over 8 years ago - 1 comment

#117 - Refactoring + IPv6 Support + ghc8 upgrade + documenting fails

Pull Request - State: closed - Opened by diekmann over 8 years ago

#116 - GHC 8.0.x support

Pull Request - State: closed - Opened by larsrh over 8 years ago

#115 - Rewrite Rooting{Set,Range}, Refactor everything around it.

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#113 - Port numbers belong to a specific protocol

Issue - State: closed - Opened by diekmann over 8 years ago - 5 comments
Labels: bug, enhancement

#112 - Native word

Pull Request - State: closed - Opened by diekmann over 8 years ago

#111 - Still no IPv6; cutting off rulesets after default rule

Pull Request - State: closed - Opened by diekmann over 8 years ago

#110 - $stuff

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#109 - IP_Addresses now in the afp

Pull Request - State: closed - Opened by diekmann over 8 years ago

#108 - Metric ton of makeup for CIDR_Split

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#107 - Dudelidudelidud

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#106 - Geting closer to IPv6 - Still no IPv6 support

Pull Request - State: closed - Opened by diekmann over 8 years ago

#105 - [Haskell][Isabelle] Improving performance

Issue - State: open - Opened by diekmann over 8 years ago - 2 comments
Labels: enhancement, help wanted

#104 - OpenFlow + generalized extensible packet + updated l4v

Pull Request - State: closed - Opened by diekmann over 8 years ago

#103 - no_spoof uses simple_packet_scheme now

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#102 - l4v cleanup forgotten thys

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#101 - Pull Request 1

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#100 - Isabelle is not Haskell

Issue - State: closed - Opened by diekmann over 8 years ago

#99 - OpenFlow proof cosmetics

Pull Request - State: closed - Opened by jcaesar over 8 years ago

#97 - Tune smtoms_eq_hlp

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#96 - Ipv6

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#95 - Openflow simplified

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#94 - Parsing actions ULOG and NFLOG

Issue - State: open - Opened by diekmann almost 9 years ago

#93 - Fix font in FUA document.

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#92 - Fix -o document=pdf -D . build

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#91 - Fix Parser_Test

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#90 - AppArmor profile for fffuu

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#89 - Openflow

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#88 - Openflow simplified

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#87 - Openflow simplified

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#86 - Fffuu: testing of the binary and checking for theorems

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#85 - Openflow simplified

Pull Request - State: closed - Opened by jcaesar almost 9 years ago

#84 - fffuu Improvements

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#83 - Renaming partitions in service matrix

Pull Request - State: closed - Opened by larsrh almost 9 years ago

#82 - Theorem to_simple_firewall_without_interfaces

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#81 - Cleanup

Pull Request - State: closed - Opened by larsrh almost 9 years ago

#80 - Fffuu -- tuned

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#79 - [Isabelle + Haskell] Routing Semantics

Issue - State: closed - Opened by diekmann almost 9 years ago - 3 comments

#78 - Provide pre-compiled binaries of fffuu

Issue - State: closed - Opened by diekmann almost 9 years ago
Labels: enhancement, help wanted, question

#77 - Fffuu improvements

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#76 - refactoring towards Ipv6 and cleaning nospoof

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#75 - [Isabelle + Haskell] Reasonable error messages

Issue - State: open - Opened by diekmann almost 9 years ago - 2 comments
Labels: enhancement

#74 - Transforming a stateful firewall ruleset into a stateless ruleset.

Issue - State: open - Opened by diekmann almost 9 years ago
Labels: enhancement, help wanted

#73 - Fffuu: unnamed command line argument for ruleset

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#72 - Fffuu

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#71 - Wf chains

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#70 - Wordintervalsort

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#69 - move Haskell sources into folders

Pull Request - State: closed - Opened by larsrh almost 9 years ago

#68 - haskell_tool: tab completion for file names does not work

Issue - State: closed - Opened by diekmann almost 9 years ago - 1 comment
Labels: bug

#67 - haskell tool small set of test cases

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#66 - Parser breaks on windows line endings

Issue - State: closed - Opened by diekmann almost 9 years ago - 2 comments
Labels: bug

#65 - tuned stateful semantics

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#64 - Isabelle2016

Pull Request - State: closed - Opened by diekmann almost 9 years ago

#63 - Refactoring

Pull Request - State: closed - Opened by diekmann about 9 years ago

#62 - tuned haskell_tool README

Pull Request - State: closed - Opened by diekmann about 9 years ago

#61 - Service matrix performance improvement

Pull Request - State: closed - Opened by diekmann about 9 years ago

#60 - README and CLI parsing

Pull Request - State: closed - Opened by larsrh about 9 years ago - 1 comment

#59 - Simplified proof for groupF_cong

Pull Request - State: closed - Opened by ammbauer about 9 years ago

#58 - Refactoring: rename ipv4range_set_from_{bitmask => prefix} (and friends)

Pull Request - State: closed - Opened by diekmann about 9 years ago

#57 - Refactoring: generalizing CIDR split to arbitrary machine words

Pull Request - State: closed - Opened by diekmann about 9 years ago

#56 - rename ipv4range_set_from_{bitmask => prefix} (and friends)

Pull Request - State: closed - Opened by jcaesar about 9 years ago

#55 - [isabelle] IPv6 Support

Issue - State: closed - Opened by diekmann about 9 years ago - 5 comments
Labels: enhancement

#54 - [isabelle] Firewall best practices

Issue - State: open - Opened by diekmann about 9 years ago
Labels: enhancement, help wanted

#53 - Refactoring: normalizing match conditions

Pull Request - State: closed - Opened by diekmann about 9 years ago

#52 - [isabelle] Access control summary

Issue - State: open - Opened by diekmann about 9 years ago
Labels: enhancement, help wanted

#51 - [isabelle] Counterexample generation

Issue - State: closed - Opened by diekmann about 9 years ago - 1 comment
Labels: enhancement, help wanted

#50 - added documentation and all "lowerclosure is analogue"-sthings

Pull Request - State: closed - Opened by diekmann about 9 years ago

#49 - Change to optimize_matches_option

Pull Request - State: closed - Opened by diekmann about 9 years ago

#48 - Refactoring and compress_normalize_interfaces

Pull Request - State: closed - Opened by diekmann about 9 years ago

#47 - Ippart performance tuning

Pull Request - State: closed - Opened by diekmann about 9 years ago