GaloisInc/BESSPIN-Environment issues and pull requests

#86 - Merge from develop for release 1.1

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#85 - Minor cheri freertos docker update

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#84 - Add bash completion to CHERI freertos Dockerfile

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#83 - Update demo branch

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#82 - Enable cheri freertos with iic sensors

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#81 - Minor cheri fixes

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#80 - Add FreeRTOS CHERI image

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#79 - Post-release fixes

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#78 - Post release fixes due to public releasing

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#77 - Add DISTAR boilerplate

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#76 - Add DISTAR boilerplate

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#75 - update the bsc ref after re-writing the repo history

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#74 - update the bsc ref after re-writing the repo history

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#73 - fix a typo in docker push Command

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#72 - Release Merge besspin-v1.0 05/18/2021

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#71 - fix a typo in docker push Command

Pull Request - State: closed - Opened by rtadros125 over 3 years ago - 1 comment

#70 - Add transitions python package

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#69 - apply the Apache license

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#68 - Remove gitlab and ssh dependencies from docker

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#67 - Update nix to use github links for ported repos

Pull Request - State: closed - Opened by bboston7 over 3 years ago - 1 comment
Labels: nix

#66 - Prepare repo for purge of verific

Pull Request - State: closed - Opened by bboston7 over 3 years ago

#65 - Add vivado sdk + Besspin UI

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#64 - Add voting systems

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#63 - Add the firesim and chisel dockers

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#62 - Unify docker builds

Pull Request - State: closed - Opened by rtadros125 over 3 years ago - 1 comment

#61 - Add Docker builds to Environment

Pull Request - State: closed - Opened by rtadros125 over 3 years ago - 1 comment

#60 - Environment PR -- rename fett to besspin

Pull Request - State: closed - Opened by rtadros125 over 3 years ago - 1 comment

#59 - Add zmq to the python3 packages

Pull Request - State: closed - Opened by podhrmic over 3 years ago

#58 - Release Merge 4.2 3/12

Pull Request - State: closed - Opened by rtadros125 over 3 years ago

#57 - Patch to remove rsyslog

Pull Request - State: closed - Opened by podhrmic almost 4 years ago - 6 comments

#56 - Add python can library

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

#55 - Add python can library

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

#54 - Merge for release 4.1

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

#53 - Get the keyring souce from the archives instead of the snapshots mirror

Pull Request - State: closed - Opened by rtadros125 almost 4 years ago - 2 comments

#52 - Ugly workaroung to add gdb on freebsd

Pull Request - State: closed - Opened by rtadros125 almost 4 years ago - 2 comments

#51 - Add lcrypto to cached binaries

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

#50 - Periodic Merge to Master

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

#49 - add cross-compiled opensslv.1.1.1c

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

#48 - use a string with the max IP length and do not hardcode any specific IP

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

#47 - Remove netbootLoader

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

#46 - Add PyUsb to python3

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

#45 - update FPGA -> VCU118

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

#44 - Fix debian firesim poweroff

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

#43 - Adding `pygit2` Python Package to Environment

Pull Request - State: closed - Opened by lyellread about 4 years ago
Labels: Enhancement

#42 - Merge to Master

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

#41 - Add PAM and libkeyutils headers to CPATH

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

#40 - Merge to Master

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

#39 - Adding `termcolor` Python Module to Nix Shell

Pull Request - State: closed - Opened by lyellread over 4 years ago
Labels: Enhancement, FETT, Ready for Review, Target, UI/UX, Software, nix

#38 - FreeBSD Cross Build Update

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago - 1 comment
Labels: FreeBSD

#37 - Add feature model tools necessary for buffer errors test generation

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

#36 - Update FreeBSD to Include Rebootability

Pull Request - State: closed - Opened by lyellread over 4 years ago
Labels: Enhancement, FreeBSD, Ready for Review, Target

#35 - Documentation for building OS images

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

#34 - Add environmental variables for Testgen on FETT

Pull Request - State: closed - Opened by bboston7 over 4 years ago
Labels: FETT

#33 - Adding socat to nix

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

#32 - Update Freebsd Images

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago - 2 comments
Labels: FETT, FreeBSD, AWS

#31 - Install extra packages on Debian

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

#30 - Build disk image for Debian on FireSim

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

#29 - Update riscv-linux source

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

#28 - Add Libelf

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: AWS

#27 - Add ZStandard Program and Python Package

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, AWS

#26 - Add lynx

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

#25 - Use hardware RNG on FireSim

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

#24 - Debian and OpenSSH updates

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

#23 - Add boto3 to python3

Pull Request - State: closed - Opened by rtadros125 over 4 years ago
Labels: DevOps, AWS

#22 - Sysroot for building FreeRTOS with clang

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

#21 - Prepare merge rel 2.0 take-3

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

#20 - Add the loose commit: update testgen nix rev for release 1.4

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

#19 - Merge from develop to master for release

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

#18 - Build Debian image for FireSim

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

#17 - Add dosfstools package

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

#16 - Expose FreeBSD sysroot in Nix shell

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

#15 - Add curl to nix shell

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

#14 - Update FreeBSD

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

#13 - Add bitfile directory and cachePackages to nix shell

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

#12 - add pynacl to fettPython3

Pull Request - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, FreeRTOS, Target, nix

#11 - Add libexpat dep for voting system

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

#10 - Merge to master. Initial release.

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

#9 - Nix Package OpenSSH v7.3 with Clang

Issue - State: closed - Opened by EthanJamesLew over 4 years ago - 5 comments
Labels: FETT, nix

#8 - Install OpenSSH v7.3 in FETT Debian Image

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, Target, nix

#7 - Install OpenSSH v7.3 in FETT FreeBSD Image

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago - 1 comment
Labels: FETT, FreeBSD, Target

#6 - Cleanup FETT CI/Markdown Files

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago - 1 comment
Labels: Documentation, DevOps, Target

#5 - RISCV OpenSSH Nix Package

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, Target, nix

#4 - Package OpenSSH Cross Build

Issue - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, DevOps, Target, nix

#3 - Copy all standard labels to this board

Issue - State: closed - Opened by andrew-bivin over 4 years ago - 2 comments

#2 - Change OpenSSH version on Debian/FreeBSD Images

Issue - State: closed - Opened by EthanJamesLew over 4 years ago - 2 comments
Labels: FETT, DevOps, Target, nix

#1 - Cleanup FETT Environment from Tool-Suite Fork

Issue - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: Documentation, FETT, DevOps, Target

GitHub / GaloisInc/BESSPIN-Environment issues and pull requests