summaryrefslogtreecommitdiff
path: root/src/jib
AgeCommit message (Expand)Author
2021-03-05Add more location information to IRAlasdair
2021-01-05Fix some cases when monomorphising vectors containing variable-length bitvectorsAlasdair
2020-11-21Make coverage support look a little harder for location informationBrian Campbell
2020-11-20Add coverage output to short-circuiting operatorsBrian Campbell
2020-11-18Fix coverage information in case branches that immediately returnBrian Campbell
2020-10-14Support C coverage when sail_exit is usedBrian Campbell
2020-09-29Refactor: Change AST type from a union to a structAlasdair
2020-09-28Refactor: Rename 'a defs to 'a astAlasdair
2020-09-28Move the ast defs wrapper into it's own fileAlasdair
2020-09-16C codegen: remove an unnecessary declaration in the header fileJulien Freche
2020-08-25Add function sail_set_coverage_file to sail_coverage headerAlasdair
2020-08-24Merge pull request #83 from julienfreche/configure_get_setAlasdair Armstrong
2020-08-21C generation tweaksAlasdair
2020-08-21c2: make the global state API configurable for externally defined get/set fun...Julien Freche
2020-08-18Move sail_state declaration into it's own fileAlasdair
2020-08-10Fix a C backend bug with letbindings in guards shadowing body definitionsAlasdair
2020-08-06Fix a small bug with nested structs test in -c2 state apiAlasdair
2020-08-05Generate accessors for scalar types, array of scalars and scalars in struct i...Julien Freche
2020-07-15Update duplicate ctor warningAlasdair
2020-07-14c2: primop: -O: make sure to pick global or name correctlyJulien Freche
2020-06-23Fix bug with duplicate enum identifiers in patternsAlasdair
2020-06-12Use output file for generated branch information.Prashanth Mundkur
2020-05-22Fix atomicity of register field writesAlasdair
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-15C backend: Only add static to model_{init,fini} if -static is passedAlex Richardson
2020-05-15C backend: Add a static () helperAlex Richardson
2020-05-15Add static to registers if -static is passedAlex Richardson
2020-05-15Also make the letbinding C variables staticAlex Richardson
2020-05-15Also allow adding static to model_{init,fini,main}()Alex Richardson
2020-05-15Add static to more C functionsAlex Richardson
2020-05-15Add coverage tracking toolAlasdair
2020-05-14Output INT64_MIN in code generator for min 64-bit integer literalAlasdair
2020-05-14Merge remote-tracking branch 'origin' into codegenAlasdair
2020-05-14Various bugfixes and improvements for updated codegenAlasdair
2020-05-12Add support for instrumenting generated C with branch coverage metricsAlasdair
2020-05-12Support for user-defined state and headers in new codegenAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2020-04-27Fix try in exception handler jib bugBrian Campbell
2020-04-21Add more SMT builtinsThomas Bauereiss
2020-03-13SMT fixes for some corner cases of vector updatesThomas Bauereiss
2020-03-02Add arith_shiftr to SMT and interpreterThomas Bauereiss
2020-02-21SMT: Implement a few more primopsThomas Bauereiss
2020-02-20More list C codegen fixes for issue #59Alasdair Armstrong
2020-02-20Fix missing code generation builtins for lists. Fixes #59Alasdair Armstrong
2020-01-17Keep track of source locations for all IR branchesAlasdair
2020-01-16Allow effects on mappingsAlasdair Armstrong
2020-01-16Keep track of (non-bit) vectors known to be fixed size in JibAlasdair Armstrong
2020-01-14Basic support to track uncaught exceptions in Sail->CAlasdair
2020-01-10Don't do any C specific name mangling for the cons operator in jib_compileAlasdair Armstrong
2019-12-18Make sure we generate literals of precisely the right length for symbolic exe...Alasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:06:50 +0000