sail/src/jib, branch sail2

Add more location information to IR

2021-03-05T17:13:07+00:00

Fix some cases when monomorphising vectors containing variable-length bitvectors

2021-01-05T14:36:21+00:00

Make coverage support look a little harder for location information

2020-11-21T21:29:44+00:00

Add coverage output to short-circuiting operators

2020-11-20T18:14:10+00:00

Fix coverage information in case branches that immediately return

2020-11-18T11:04:12+00:00

Support C coverage when sail_exit is used

2020-10-14T21:46:27+00:00

Refactor: Change AST type from a union to a struct

2020-09-29T15:32:24+00:00

Refactor: Rename 'a defs to 'a ast

2020-09-28T14:57:17+00:00

Change internal terminology so we more clearly distinguish between a list of
definitions 'defs' and functions that take an entire abstract syntax
trees 'ast'.

Move the ast defs wrapper into it's own file

2020-09-28T14:34:06+00:00

This refactoring is intended to allow this type to have more than just a
list of definitions in future.

C codegen: remove an unnecessary declaration in the header file

2020-09-17T00:52:48+00:00