GaloisInc/pirate issues and pull requests

#100 - libpirate Windows implementation

Pull Request - State: closed - Opened by mspiegel almost 4 years ago - 1 comment

#99 - libpirate nonblocking IO

Pull Request - State: closed - Opened by mspiegel almost 4 years ago - 1 comment

#98 - idl C++ code generation

Pull Request - State: closed - Opened by mspiegel almost 4 years ago

#97 - Add aadl models of word_filter and pnt_demo

Pull Request - State: closed - Opened by protoben almost 4 years ago

#96 - Fix typo in readobj command in build docs

Pull Request - State: closed - Opened by matt-dees almost 4 years ago

#95 - O_NONBLOCK on stream-based channels

Issue - State: closed - Opened by mspiegel about 4 years ago

#94 - Harmonize close() semantics on unix pipe, unix socket, and tcp socket

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 1 comment

#93 - antlr README fix typo

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#92 - Fix Ninja builds by declaring libcyaml.so as build byproduct

Pull Request - State: closed - Opened by matt-dees about 4 years ago - 1 comment

#91 - Refresh docs explaining how to build PIRATE LLVM

Pull Request - State: closed - Opened by matt-dees about 4 years ago

#90 - Restructure pnt demo files.

Pull Request - State: closed - Opened by joehendrix about 4 years ago

#89 - Initial version of PIRATE architecture plugin.

Pull Request - State: closed - Opened by joehendrix about 4 years ago

#88 - Make sure dummy resource sections are empty by default

Pull Request - State: closed - Opened by protoben about 4 years ago

#87 - Hamlinb/better pal logging

Pull Request - State: closed - Opened by protoben about 4 years ago

#86 - IDL code generator

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 11 comments

#85 - Add pal word_filter tutorial

Pull Request - State: closed - Opened by protoben about 4 years ago

#84 - Cleanup PNT example

Pull Request - State: closed - Opened by joehendrix about 4 years ago

#83 - object-model exploration initial commit

Pull Request - State: closed - Opened by glguy about 4 years ago

#82 - Add 'drop=N' configuration parameter

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 1 comment

#81 - Remove constructor from PR 80

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#80 - Added function pointer-based support for GAPS channels. Removed case …

Pull Request - State: closed - Opened by vitalytka about 4 years ago - 1 comment

#79 - PAL with channels

Pull Request - State: closed - Opened by joehendrix about 4 years ago

#78 - Change `len - 1` to `len` in libpirate `*_get_channel_description`

Pull Request - State: closed - Opened by protoben about 4 years ago - 1 comment

#77 - datagram semantics on all channel types

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 4 comments

#76 - Pirate tools tutorial

Pull Request - State: closed - Opened by glguy about 4 years ago

#75 - First pass at adding gaps tag parameter to the pirate read and write …

Pull Request - State: closed - Opened by vitalytka about 4 years ago - 1 comment

#74 - Vitaly/channel demo

Pull Request - State: closed - Opened by vitalytka about 4 years ago - 3 comments

#73 - Create common_ctx with flags and fd

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#72 - Introduce src= and dst= configuration paramters

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#71 - benchmark cleanup

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 1 comment

#70 - WIP simplified benchmarks

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 5 comments

#69 - channel configuration key=value pairs

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 3 comments

#68 - WIP: Add pal/libpirategetopt to Github actions.

Pull Request - State: closed - Opened by joehendrix about 4 years ago

#67 - improved benchmarks

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 3 comments

#66 - Vitaly/timestamp demo

Pull Request - State: closed - Opened by vitalytka about 4 years ago - 1 comment

#65 - Switch GE CRC to CRC-16/X-25

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#64 - Mercury use level instead of source id

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 1 comment

#63 - WIP: time demo poll responses

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#62 - udp ignore ECONNREFUSED

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#61 - Vitaly/arm build

Pull Request - State: closed - Opened by vitalytka about 4 years ago - 1 comment

#60 - RHEL gcc fixes

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#59 - Replace azure.archive.ubuntu.com with us.archive.ubuntu.com

Pull Request - State: closed - Opened by mspiegel about 4 years ago

#58 - UDP channel zero byte first message

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 1 comment

#57 - Add release github action

Pull Request - State: closed - Opened by joehendrix about 4 years ago - 1 comment

#56 - UDP channel store previous write contents

Pull Request - State: closed - Opened by mspiegel about 4 years ago - 2 comments

#55 - Add libpirate API to unparse a pirate_channel_param_t

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#54 - Added pirate channel description function

Pull Request - State: closed - Opened by vitalytka over 4 years ago

#53 - Move build.sh

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#52 - timedemo command line channel configuration

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#51 - libpirate cooperative multitasking

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#50 - Added script for running PNT demo with Mercury and GE channels.

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 1 comment

#49 - Replace semaphore and sleep with pthread barrier

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#48 - Get CMakeLists.txt working with CMake 3.5

Pull Request - State: closed - Opened by glguy over 4 years ago - 4 comments

#47 - Update library path in Docker image

Pull Request - State: closed - Opened by joehendrix over 4 years ago - 1 comment

#46 - Switch to use separate demos cmake files.

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#45 - Mercury integration

Pull Request - State: closed - Opened by vitalytka over 4 years ago

#44 - Added message ID parameter to the GE channel

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 1 comment

#43 - libpirate cleanup

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#42 - Vitaly/pirate open return gaps

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 1 comment

#41 - pirate open/close API change

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 3 comments

#40 - Change demo to use single gps timer for synchonization.

Pull Request - State: closed - Opened by joehendrix over 4 years ago - 2 comments

#39 - Split mercury ilip into userspace header file

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#38 - Deterministic ngc demo

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#37 - Mercury integration

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 1 comment

#36 - Reduce risk of race conditions in target messages.

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#35 - Add missing header files

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#34 - Replace GAPS_ENABLE with GAPS_DISABLE

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#33 - pnt demo using libpirate channels

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#32 - Minor cleanups to NGC demo

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#31 - Replace INADDR_ANY with ip address parameter

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#30 - Add ngc_demo

Pull Request - State: closed - Opened by joehendrix over 4 years ago - 1 comment

#29 - Anonymous union fix

Pull Request - State: closed - Opened by vitalytka over 4 years ago

#28 - Move uio into the SHMEM_BUFFER optional compilation

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#27 - Restore errno instead of setting it to 0

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#26 - Mercury integration

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 4 comments

#25 - Set default value of GAPS_ENABLE to empty string

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#24 - Set CMAKE_C_COMPILER in a single location

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#23 - Add docker description to readme

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#22 - Restore errno instead of setting it to 0

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#21 - Build dockerhub image and artifacts.

Pull Request - State: closed - Opened by joehendrix over 4 years ago - 1 comment

#20 - Add file for building documentation

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#19 - Refactor channel parameter configuration

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#18 - Pirate api dev

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 1 comment

#17 - WIP: Release prep

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#16 - Rename gaps annotations to pirate annotations

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#15 - Update documentation.

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#14 - Merge documentation in

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#13 - Build libpirate independently of demos.

Pull Request - State: closed - Opened by joehendrix over 4 years ago

#12 - Use new docker image.

Pull Request - State: closed - Opened by joehendrix over 4 years ago - 1 comment

#11 - Hw integration

Pull Request - State: closed - Opened by vitalytka over 4 years ago

#10 - add support for C++ language

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#9 - use webcam to capture video stream data

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#8 - Gaps time demo

Pull Request - State: closed - Opened by vitalytka over 4 years ago - 1 comment

#7 - libpirate: allow optional port numbers for TCP and UDP sockets

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#6 - Reduce timestamp response size

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#5 - time_demo: make single binary an optional target

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#4 - Initial github actions

Pull Request - State: closed - Opened by mspiegel over 4 years ago - 1 comment

#3 - Adapt to build simple_demo both with and with gaps extensions

Pull Request - State: closed - Opened by glguy over 4 years ago - 5 comments

#2 - Feature/libpirate support different devices

Pull Request - State: closed - Opened by mspiegel over 4 years ago

#1 - simple_demo: refactor load_web_content

Pull Request - State: closed - Opened by mspiegel over 4 years ago

GitHub / GaloisInc/pirate issues and pull requests