Ecosyste.ms: Issues

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

GitHub / cksystemsteaching/selfie issues and pull requests

#397 - Bump cryptography from 42.0.4 to 43.0.1 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#396 - docs: add bachelor thesis by Nadir Fejzić

Pull Request - State: closed - Opened by nfejzic 3 months ago - 4 comments

#395 - docs: add `CITATION.cff` to enable github citations

Pull Request - State: closed - Opened by nfejzic 3 months ago - 1 comment

#394 - Bump certifi from 2023.7.22 to 2024.7.4 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#392 - Bump certifi from 2023.7.22 to 2024.7.4 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#391 - Fix small bug with disassembly comparison

Pull Request - State: closed - Opened by andreiPoiedada 5 months ago

#390 - Add script for comparing rotor disassembly to riscv objdump

Pull Request - State: closed - Opened by andreiPoiedada 5 months ago

#389 - Bump urllib3 from 1.26.18 to 1.26.19 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#388 - feat: add option to grade a single commit link

Pull Request - State: closed - Opened by nfejzic 6 months ago - 1 comment

#387 - Only halt model evaluation on exit syscall

Pull Request - State: closed - Opened by thomaswulz 6 months ago - 3 comments

#386 - Upgrade Dockerfile to Ubuntu 23.04, GCC13, RISC-V zifencei extension

Pull Request - State: closed - Opened by EETagent 6 months ago - 4 comments

#385 - Rotor disassembly fails with "Floating point exception"

Issue - State: closed - Opened by andreiPoiedada 6 months ago - 1 comment

#384 - Bump requests from 2.31.0 to 2.32.2 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#383 - Add missing compilable check to array target

Pull Request - State: closed - Opened by SaTae66 6 months ago - 1 comment

#381 - Bump requests from 2.31.0 to 2.32.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies

#380 - Implement pseudoinstructions in Rotor disassembly

Pull Request - State: closed - Opened by andreiPoiedada 7 months ago - 1 comment

#379 - Update GitHub Actions & Python, set Dockerfile to 22 LTS

Pull Request - State: closed - Opened by EETagent 7 months ago - 1 comment

#378 - Add assembly example

Pull Request - State: closed - Opened by thomaswulz 7 months ago - 1 comment

#377 - Bump pydantic from 1.8.2 to 1.10.13 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#376 - Bump idna from 3.3 to 3.7 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies

#375 - fix: report commit hash error even in quiet mode

Pull Request - State: closed - Opened by nfejzic 8 months ago

#374 - Support multiple words for last name

Pull Request - State: closed - Opened by zSmartie 9 months ago

#373 - Collisions between student code and Rotor [cc24]

Issue - State: closed - Opened by Goubermouche 9 months ago - 5 comments

#372 - Bump cryptography from 42.0.2 to 42.0.4 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#371 - Bump cryptography from 42.0.0 to 42.0.2 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#370 - Bump cryptography from 41.0.6 to 42.0.0 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#369 - feat: support bootloading of binaries produced by gcc

Pull Request - State: closed - Opened by nfejzic 10 months ago - 1 comment

#368 - Bump cryptography from 41.0.4 to 41.0.6 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago
Labels: dependencies

#367 - Update output_processing.py

Pull Request - State: closed - Opened by ky7yk about 1 year ago - 1 comment

#366 - line 9 augmented '\s' removed from string

Pull Request - State: closed - Opened by ky7yk about 1 year ago

#365 - Bump urllib3 from 1.26.17 to 1.26.18 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#364 - Bump urllib3 from 1.26.9 to 1.26.17 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#363 - Bump cryptography from 41.0.3 to 41.0.4 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#362 - Bump cryptography from 41.0.2 to 41.0.3 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#361 - Bump certifi from 2022.12.7 to 2023.7.22 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#360 - Bump certifi from 2022.12.7 to 2023.7.22 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#359 - Bump pygments from 2.10.0 to 2.15.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#358 - Bump cryptography from 41.0.0 to 41.0.2 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#357 - Bump scipy from 1.8.1 to 1.10.0 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#356 - Bump cryptography from 39.0.1 to 41.0.0 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#355 - Bump requests from 2.28.0 to 2.31.0 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#354 - Bump requests from 2.26.0 to 2.31.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#353 - Bump mpmath from 1.2.1 to 1.3.0 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#352 - Building Docker image fixed

Pull Request - State: closed - Opened by worker247 over 1 year ago

#351 - Bump ipython from 7.31.1 to 8.10.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#350 - Bump cryptography from 38.0.3 to 39.0.1 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#349 - Naming the programming language C* causes some confusion

Issue - State: closed - Opened by pjmlp almost 2 years ago - 1 comment

#348 - Add bachelor thesis by Luis Thiele

Pull Request - State: closed - Opened by CAS-ual-TY almost 2 years ago - 1 comment

#346 - GCC RISC-V support

Pull Request - State: closed - Opened by CAS-ual-TY almost 2 years ago

#345 - Bump certifi from 2022.6.15 to 2022.12.7 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#344 - Bump certifi from 2021.5.30 to 2022.12.7 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#343 - Bump cryptography from 37.0.2 to 38.0.3 in /tools/quarc

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#342 - Bump jupyter-core from 4.8.1 to 4.11.2 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#341 - Call cygwin setup directly instead of via choco.

Pull Request - State: closed - Opened by mstarzinger about 2 years ago

#340 - selfie: Add write_synced

Pull Request - State: closed - Opened by Popax21 about 2 years ago - 8 comments

#339 - fix: Fixes 'may be uninitialized' warning reported by GCC version 12 with -O3 enabled.

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

#338 - grader: Use PTYs when executing commands on Linux

Pull Request - State: closed - Opened by Popax21 about 2 years ago - 9 comments

#337 - Small grader improvement for print-your-name

Pull Request - State: closed - Opened by CAS-ual-TY about 2 years ago - 2 comments

#336 - Add reference to beatle in README

Pull Request - State: closed - Opened by geo-bert about 2 years ago

#335 - Bump nbconvert from 6.3.0 to 6.5.1 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#334 - Add thesis on BTOR2 visualization by Markus Diller

Pull Request - State: closed - Opened by geo-bert over 2 years ago

#333 - Bump nbconvert from 6.2.0 to 6.3.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#332 - Bump numpy from 1.21.2 to 1.22.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#331 - Bump notebook from 6.4.4 to 6.4.12 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#330 - Bump ipython from 7.28.0 to 7.31.1 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#329 - QUARC + POPL

Pull Request - State: closed - Opened by smml1996 over 2 years ago

#328 - QUARC + POPL experiments

Pull Request - State: closed - Opened by smml1996 over 2 years ago

#327 - QUARC + Experiments updated for POPL

Pull Request - State: closed - Opened by smml1996 over 2 years ago

#326 - Asplos experiments

Pull Request - State: closed - Opened by smml1996 over 2 years ago

#325 - Bump numpy from 1.21.2 to 1.22.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#324 - Add hex-literal test to check if selfie can still parse 0-prefixed integer literals

Pull Request - State: closed - Opened by fischer-martin over 2 years ago - 5 comments

#323 - Bump notebook from 6.4.10 to 6.4.12 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#322 - compile_statement restructure (remake of #293)

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago - 13 comments

#320 - lazy-eval description / Show grading dependencies

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago - 3 comments

#319 - Thread-safe malloc grading task

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago - 5 comments

#318 - Showcase the use of expect_symbol as mentioned in the lecture.

Pull Request - State: closed - Opened by user-0xcafe over 2 years ago - 10 comments

#317 - Add context struct size to lib - make monster and boehm-gc context extension dynamic

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago - 1 comment

#316 - Bump notebook from 6.4.4 to 6.4.10 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#315 - Fix treiber-stack grading task

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago

#314 - 32-bit + mipster + self-self-self [+ gc] is failing

Issue - State: open - Opened by CAS-ual-TY over 2 years ago - 1 comment

#313 - Workflow improvements

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago - 6 comments

#312 - New grading tasks: logical-and-or-not and lazy-evaluation

Pull Request - State: closed - Opened by CAS-ual-TY over 2 years ago - 3 comments

#311 - Bump pillow from 8.4.0 to 9.0.1 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#310 - Change to SSH-key authentication in grader readme

Pull Request - State: closed - Opened by fischer-martin over 2 years ago

#309 - Bump pillow from 8.4.0 to 9.0.0 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#308 - Bump ipython from 7.28.0 to 7.31.1 in /tools/qubot

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#307 - add thesis on binary optimization by David Pape

Pull Request - State: closed - Opened by ariez-xyz almost 3 years ago

#306 - Refactor modeler control flow handling into methods.

Pull Request - State: closed - Opened by mstarzinger about 3 years ago - 2 comments

#305 - Increase timeout threshold of self assemblation grader task

Pull Request - State: closed - Opened by CAS-ual-TY about 3 years ago

#304 - Add Thomas Wulz's bachelor thesis

Pull Request - State: closed - Opened by thomaswulz about 3 years ago

#302 - grader: Change assembly format of test files that should fail

Pull Request - State: closed - Opened by danielkocher about 3 years ago

#301 - Fix missing register counter update in monster.

Pull Request - State: closed - Opened by mstarzinger about 3 years ago

#300 - Double the physical memory of hypster to 2MB for the os make target.

Pull Request - State: closed - Opened by danielkocher about 3 years ago

#299 - Simplify merging of symbolic memory stores.

Pull Request - State: closed - Opened by mstarzinger about 3 years ago - 1 comment

#298 - Fix warning in `vdsprintf` with bootstrap compiler.

Pull Request - State: closed - Opened by mstarzinger about 3 years ago

#297 - Fix merging of shared symbolic memory in monster.

Pull Request - State: closed - Opened by mstarzinger about 3 years ago - 2 comments

#296 - Avoid stray empty newlines in SMT-LIB output.

Pull Request - State: closed - Opened by mstarzinger about 3 years ago - 1 comment