-
Uppsala University
- Sweden
- https://www.it.uu.se/katalog/zafes790
Block or Report
Block or report zafer-esen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
log2yml Public
Parses monolithic log files (of benchmark runs) and converts them into YAML for further processing.
Scala BSD 3-Clause "New" or "Revised" License UpdatedApr 2, 2024 -
-
tricera Public
Forked from uuverifiers/triceraTriCera: a model checker for C programs
Scala BSD 3-Clause "New" or "Revised" License UpdatedMar 15, 2024 -
yml2stats Public
Parse .yml files (by log2yml) and produce stats for benchmark runs.
Scala BSD 3-Clause "New" or "Revised" License UpdatedMar 15, 2024 -
eldarica Public
Forked from uuverifiers/eldaricaThe Eldarica model checker
Scala Other UpdatedMar 14, 2024 -
-
-
-
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedSep 11, 2023 -
OutputCheck Public
Forked from stp/OutputCheckA tool for checking tool output inspired by LLVM's FileCheck
Python BSD 3-Clause "New" or "Revised" License UpdatedJul 27, 2023 -
-
eldarica.g8 Public
Forked from scala/hello-world.g8 -
-
-
nano-symex Public
Forked from pruemmer/nano-symexA tiny symbolic execution engine
Scala BSD 3-Clause "New" or "Revised" License UpdatedJan 11, 2022 -
dockuwiki Public
Forked from ericbarch/dockuwikiA wiki that syncs with git...in a box!
Shell UpdatedApr 28, 2021 -
-
sv-benchmarks Public
Forked from sosy-lab/sv-benchmarksCollection of Verification Tasks
UpdatedJan 19, 2021 -
-
typescript-react.g8 Public
Forked from ddanielbee/typescript-react.g8A giter8 template for a React application with Typescript
TypeScript UpdatedJun 5, 2020 -
-
-
-
-
-
-
-
contiki-topology-control Public archive
Forked from apanouso/contiki-topology-controlDistributed Topology Control in Contiki
C UpdatedJan 25, 2018