Various tweaks for TACAS '25 artifact (#317)

* Tweak `make build`

* Remove debug-ui examples' launch.json

* Tweak debug-ui package.json

* Debug ext: tweak installed Gillian behaviour

* Add build stages to dockerfile

* Reorganise debug examples

* Tweak .gitignore

* Fix mutation bug in lifters

* Tweak path resolution in Gil_parsing

* Fix LAction bugs in GInterpreter

- Fix the first LAction success being indexed with 1
- Fix vanish when recovery gives `Ok []`

* Support include paths in Kanillian

* Add enums to Kanillian types

* Kanillian: handle `continue` statement

* Kanillian: handle +=, -=, etc.

* Kanillian: handle comma expression

* Kanillian: Fix enum casting

* Kanillian: Add some missing float operations

* Debug ext: Allow extra command-line args

* Optionally dump annots with GIL code

* Debug examples: Add collections-c, tweak others

* Make debug logging quieter

* Debug: parse and compile files via the lifter

* Kanillian: support float-to-int casting

* Kanillian: add internal calloc

* Kanillian: improve compilation logging

* pretty printing for all wisl commands

* Kanillian: fix assume_type for enum, improve compiler log

* Minor tweaks to Kani & WISL lifter behaviour

* Kani lifter: fix uneval'd funcs overriding nest for eval'd ones

* Kani lifter: Show errors encountered before canonical cmd

* WISL & Kani lifters: Address corner cases when erroring in nest

* Add fmt to makefile

* Fix collections-c debug example

* Tweak docker to not conflict with native deps

* Squash docker image

* Add CBMC to Docker image

* Reorganise examples

---------

Co-authored-by: Sacha Ayoun <[email protected]>

Ensure fixes are not lost when they lead to errors (#302)

* Ensure fixes are not lost when they lead to errors

* Derive `yojson` in for error types

In particular in `PState.m_err_t`, `CMemory.err_t`, `CState.m_err_t`, `State.m_err_t`

---------

Co-authored-by: Sacha Ayoun <[email protected]>

Update extn's package.json for unofficial release

Improv fromcav (#76)

* Makefile for C bugs

* header prettification

* syntax improvements for Gillian-C logic & preds

* stylings

* bugs in JS in Makefile

* sorting Makefiles

* more

* adding base.c for bugs

* EncryptionHeaderLogic for the bug

* concretisation

* dedicated reductions

* split Makefile for Amazon examples, put them in their respective directories

* add appropriate readmes in the amazon folders

Co-authored-by: pmaksimo <[email protected]>

initial commit