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

#46 - alternate, cleaner definition of ipv4range_split1

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

#45 - Initial work on the Haskell tool

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

#44 - [isabelle] nftables semantics

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

#43 - [isabelle] Let's go open source: Convert proprietary {Cisco, Juniper, Check Point, ...} to iptables

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

#42 - [isabelle] OpenFlow Semantics + backend

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

#41 - [haskell] Feature: visualization of service matrix output.

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

#40 - [isabelle] Feature: Packet modification

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

#39 - [isabelle] Firewall support: BSD pf

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

#38 - IP Address Space Partitioning and Service Matrices

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

#37 - Tuned Haskell Parser

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

#36 - added ctstate INVALID

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

#35 - ipsec added to parser

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

#34 - Refactoring and tcp flags parser

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

#33 - l4 flags (without parsing)

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

#32 - Refactored and simplified enum_set_to_list

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

#31 - Refactoring + interface rewrite + some tcp flags

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

#30 - Refactoring

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

#29 - Interface Constraining + debug ipassmt + Refactoring

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

#28 - Tuned haskell tool

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

#27 - indentation

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

#26 - Refactoring

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

#25 - Refactoring

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

#24 - fixed parser

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

#23 - new implementation of wordinterval_intersection - Bitmagic refactoring

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

#22 - README + cleanup + spoofing example + haskell tool

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

#21 - tuned parser to handle more tables than only filter

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

#20 - Fixed

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

#19 - Refactoring

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

#18 - simple_match_port code equation

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

#17 - added additional protocol field

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

#16 - Refactoring

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

#15 - moving files around

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

#14 - Support iprange module syntax

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

#13 - Refactoring

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

#12 - Stateful matching

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

#11 - Refactoring

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

#10 - Parser migration

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

#9 - Parser migration

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

#7 - Goto

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

#6 - Isabelle2015

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

#5 - Large refactoring

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

#4 - importer: Don't require termcolor python module

Pull Request - State: closed - Opened by jcaesar almost 10 years ago - 1 comment

#3 - lemma "Ball (set (ipv4range_split r)) valid_prefix"

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

#2 - CIDR split: Taste the magic (I haven't tested it on this branch)

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

#1 - CIDR magic

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