This is stars and forks stats for /GaloisInc/asl-translator repository. As of 18 Apr, 2024 this repository has 4 stars and 0 forks.
Overview This repository implements a translation of the Arm Architecture Specification Language (ASL) into a closed What4 expression using the Crucible symbolic execution library. The ASL source is extracted from the official XML specifications from ARM using a set of tools developed by Alastair Reid. This source text is converted into a parse tree by the asl parser, which is the representation used by this tool. Building The dependencies of the project that are not on Hackage are specified using...
Overview This repository implements a translation of the Arm Architecture Specification Language (ASL) into a closed What4 expression using the Crucible symbolic execution library. The ASL source is extracted from the official XML specifications from ARM using a set of tools developed by Alastair Reid. This source text is converted into a parse tree by the asl parser, which is the representation used by this tool. Building The dependencies of the project that are not on Hackage are specified using...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| 0015/ThatProject | CC++Dart | 1.5k | 0 | 852 | 0 |
| ish-app/ish | CObjective-CAssembly | 14.9k | 0 | 790 | 0 |
| foundeo/cfdocs | ColdFusionJavaScriptCSS | 175 | 0 | 324 | 0 |
| MetaCoq/metacoq | CoqOCamlMakefile | 301 | +2 | 71 | 0 |
| toddsundsted/ktistec | CrystalJavaScriptHTML | 315 | 0 | 21 | 0 |
| mabDc/eso | DartCC++ | 1.2k | 0 | 161 | 0 |
| fzyzcjy/flutter_convenient_test | DartC++CMake | 414 | 0 | 31 | 0 |
| dart-lang/http | DartJavaObjective-C | 972 | 0 | 334 | 0 |
| Al-Andrew/SmartHouse-Builder | DartJavaOther | 6 | 0 | 23 | 0 |
| slovnicki/beamer | DartHTMLOther | 551 | 0 | 131 | 0 |