- Queries
- All Changesets
- Search
- Advanced Search
All Changesets
All Changesets
| Change | Path | |
|---|---|---|
| Modified | cad/PrusaSlicer/Makefile | |
| Modified | cad/yosys/Makefile | |
| Modified | devel/cbmc/Makefile | |
| Modified | lang/solidity/Makefile | |
| Modified | math/py-claripy/Makefile | |
| Modified | math/py-pysmt/Makefile | |
| Modified | math/vampire/Makefile | |
| Modified | math/z3/Makefile | |
| Modified | math/z3/distinfo | |
| Modified | math/z3/pkg-plist | |
| Modified | security/hs-cryptol/Makefile | |
| Modified | security/klee/Makefile | |
| Modified | security/py-ailment/Makefile | |
| Modified | security/py-angr/Makefile | |
| Modified | security/py-pyvex/Makefile | |
| Modified | sysutils/triton/Makefile |