Commits

Commits on Feb 20, 2024

Fix the codemeta.json file
damaramad
committedFeb 20, 2024
Fix the codemeta.json file
damaramad
committedFeb 20, 2024
Fix the codemeta.json file
damaramad
committedFeb 20, 2024

Commits on Feb 19, 2024

Create a codemeta.json file
damaramad
committedFeb 19, 2024

Commits on Jan 31, 2024

Update the README.md file
damaramad
committedJan 31, 2024
Update the AUTHORS file
damaramad
committedJan 31, 2024
Update of the link to the Pip website
damaramad
committedJan 31, 2024
Rename Readme.md to README.md
damaramad
committedJan 31, 2024
Create an AUTHORS file
damaramad
committedJan 31, 2024
Update copyright headers
damaramad
committedJan 31, 2024

Commits on Oct 24, 2022

Fix proof compilation on Coq 8.16
debilausaure
committedOct 24, 2022

Commits on Jun 29, 2022

CI: Follow Coq docker images evolution
Samuel Hym
committedJun 29, 2022

Commits on Jun 23, 2022

CI: Log the URL for dx artifact
Samuel Hym
committedJun 23, 2022
CI: Log Coq version before building
Samuel Hym
committedJun 23, 2022
CI: Unzip artifacts quietly
Samuel Hym
committedJun 23, 2022
CI: Add variables for digger and dx branches
Samuel Hym
committedJun 23, 2022

Commits on Jun 8, 2022

Add a different make target to run QEMU with GDB
Samuel Hym
committedJun 8, 2022
Use short command names in CI (gcc, ld) on x86
Samuel Hym
committedJun 8, 2022
Fix path to partition elf (if it exists) in GDB args
Samuel Hym
committedJun 8, 2022
Use $(MAKE) instead of make for sub-builds
Samuel Hym
committedJun 8, 2022
Build only the image in root partition repository
Samuel Hym
committedJun 8, 2022

Commits on Jun 1, 2022

Trigger nanny_beaver CI tests on pipeline
debilausaure
committedJun 1, 2022

Commits on May 31, 2022

Switch monadic primitive operations to Notations
Samuel Hym
committedMay 31, 2022
CI: Log the version of digger
Samuel Hym
committedMay 31, 2022

Commits on May 30, 2022

Remove some dead code
Samuel Hym
committedMay 30, 2022
Remove malinternal.c
Samuel Hym
committedMay 30, 2022
Remove addressEquals
Samuel Hym
committedMay 30, 2022
Remove some duplicate code
Samuel Hym
committedMay 30, 2022

Commits on May 25, 2022

Remove remaining glue #defines
Samuel Hym
committedMay 25, 2022
Remove obsolete MALInternal module
Samuel Hym
committedMay 25, 2022
Replace all mentions of MALInternal in comments
Samuel Hym
committedMay 25, 2022
Remove all uses of MALInternal
Samuel Hym
committedMay 25, 2022
Remove some stale dead code
Samuel Hym
committedMay 25, 2022
Standardize the toolchain.mk
Samuel Hym
committedMay 25, 2022
Remove stale simulation mode
Samuel Hym
committedMay 25, 2022