Ecosyste.ms: Issues

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

GitHub / GaloisInc/galois-py-toolkit issues and pull requests

#17 - Allow alloc() to specify optional alignment

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

#15 - test: enable eval server tests when CRYPTOL_SERVER is set for them

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

#14 - Add struct_type and packed_struct_type

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

#13 - Add Makefile for generating .bc files in tests/saw/test-files

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

#12 - Reach parity with SAW's other `llvm_points_to` functions

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

#11 - test: add saw client to CI

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

#10 - Implement `llvm_points_to_untyped` in SAW Python client

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 7 comments

#9 - llvm_field and llvm_elem support

Pull Request - State: closed - Opened by pnwamk almost 4 years ago - 3 comments

#8 - feat: better logging

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

#7 - Use `precondition` and `postcondition` instead of `proclaim`

Issue - State: closed - Opened by pnwamk almost 4 years ago

#6 - READMEs need more detail on setting up and running examples

Issue - State: closed - Opened by pnwamk almost 4 years ago

#5 - rerunning python saw scripts generates errors

Issue - State: closed - Opened by pnwamk almost 4 years ago - 2 comments

#4 - llvm_field for saw python client

Issue - State: closed - Opened by pnwamk almost 4 years ago - 1 comment

#3 - WIP: initial CI

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

#2 - mypy type errors

Issue - State: closed - Opened by RyanGlScott almost 4 years ago - 6 comments

#1 - Copy over some README documentation from the argo repo

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