Support for parsing extended assembly code including `asm goto`#161

Open

WernerDrasche wants to merge 27 commits intogoblint:developfrom

N0W0RK:second_try

Commits on Nov 16, 2023

support for asm goto; untested but compiles
Simon Tietz
committed

Commits on Nov 17, 2023

intermidiary commit, so that everyone has same type definition
Simon Tietz
committed
todo: move all asm instr matches to stmt matches
Simon Tietz
committed
ich hab absolut keinen bock mehr
Simon Tietz
committed
proposal to solve dInstr problem
Simon Tietz
committed
why goblint no work???
Simon Tietz
committed
normal gobint-cil main.exe works but from gobint --justcil doesn't
Simon Tietz
committed

Commits on Jan 14, 2024

fixed most complaints; (dummy instruction still todo)
Simon Tietz
committed

Commits on Jan 15, 2024

Update cparser.mly
WernerDrasche
authored
Update cparser.mly
WernerDrasche
authored
have to commit to test in goblint I think
Simon Tietz
committed
test
Simon Tietz
committed
Merge branch 'second_try' of github.com:N0W0RK/goblint-cil into second_try
Simon Tietz
committed
apparently asm goto ("nop") compiles
Simon Tietz
committed

Commits on Jan 29, 2024

to test inside analyzer
Simon Tietz
committed
testing cprint because bug I think??????????
Simon Tietz
committed
???????????????????????????????????/
Simon Tietz
committed
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Simon Tietz
committed
wtf
Simon Tietz
committed
I think I found the bug?
Simon Tietz
committed
suicide commit (debugging ocaml is so fun :) :) :) :) :)
Simon Tietz
committed

Commits on Jan 30, 2024

fixed the expected : before bug; todo fix label printing in cil.ml
Simon Tietz
committed

Commits on Feb 1, 2024

commiting to test in goblint
Simon Tietz
committed
repo is broken?
Simon Tietz
committed

Commits on Feb 7, 2024

fixed bug
Simon Tietz
committed
dummy instruction deleted, revert if necessary
Simon Tietz
committed
removed zrapp asm; revert if necessary
Simon Tietz
committed