summaryrefslogtreecommitdiff
path: root/test/c
AgeCommit message (Expand)Author
2018-09-28Add a regression test for bug in commit 88b25e9Alasdair Armstrong
2018-09-13C: Fix an issue with assigning to unitialized variables at end of blocksAlasdair Armstrong
2018-09-10Various fixesAlasdair Armstrong
2018-09-06C: Fix a bug with shadowing in nested let-bindingsAlasdair
2018-08-30C: Fix a bug where function argument type becomes more specific due to flow t...Alasdair Armstrong
2018-08-30C: Fix an issue with struct field being generalised inside polymorphic constr...Alasdair Armstrong
2018-08-29C: Fix some issues with tuples as arguments to polymorphic constructorsAlasdair Armstrong
2018-08-24Fix rewriter issuesAlasdair Armstrong
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-22Fix a bug in nested vector concatenation patternsAlasdair Armstrong
2018-08-21C: Correctly handle the kinds of patterns generated by mappingsAlasdair Armstrong
2018-08-20Refactor tuple conversions in Sail to C compilationAlasdair Armstrong
2018-08-20Add some more test cases for C compilationAlasdair Armstrong
2018-08-18Correctly handle specialising polymorphic types in nested unionsAlasdair
2018-08-18Correctly specialise type annotation in polymorphic functionsAlasdair
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Ressurect builtin tests, and add parallel test runner scriptAlasdair Armstrong
2018-08-14Improve error messages from C backend, and fix issues with assigning to pointersAlasdair Armstrong
2018-08-13Sort ctype_defs in dependency order after specialisationAlasdair
2018-08-09Fix a bug by ensuring that monomorphic variant constructors do not get lifted...Alasdair Armstrong
2018-08-09Fix bugs involving multi-argument variant type constructorsAlasdair Armstrong
2018-08-06Add a simple test case for polymorphic variant typeAlasdair Armstrong
2018-07-24Merge remote-tracking branch 'origin/sail2' into c_fixesAlasdair Armstrong
2018-07-05Fix equality comparisons for structsAlasdair
2018-07-05Fix CHERI test that was failing when compiled to CAlasdair Armstrong
2018-07-03Fix a bug in foreach loopsAlasdair Armstrong
2018-06-30Fix an issue with vector_update_subrangeAlasdair
2018-06-27Actually fix real literals, and add a test for various propertiesAlasdair Armstrong
2018-06-27Fix reading reals from strings in C libAlasdair Armstrong
2018-06-21Simplify the ANF->IR translationAlasdair Armstrong
2018-06-15Fixes for C RTS for aarch64 no it's split into multiple filesAlasdair Armstrong
2018-06-14Refactor C backend, and split RTS into multiple filesAlasdair
2018-06-13Tracing instrumentation for C backendAlasdair Armstrong
2018-06-09Fix issue in C_backend, and run C tests with undefined behavior sanitizerAlasdair
2018-06-09Fix issue with catch block return values not being compiled correctlyAlasdair
2018-06-07Rename some functions in vector_dec library file to avoid clashes with functi...Robert Norton
2018-05-31Fixes to get ARM u-boot working in Sail.Alasdair Armstrong
2018-04-10Porting some minisail changes to sail2 branchAlasdair Armstrong
2018-03-22Fix C compilation for CHERI and MIPSAlasdair Armstrong
2018-03-14Fix toplevel pattern compilationAlasdair Armstrong
2018-03-13Polymorphic option types now compile to CAlasdair Armstrong
2018-03-12ELF loading for C backendAlasdair Armstrong
2018-03-07Make union types consistent in the ASTAlasdair Armstrong
2018-02-27Fix some bugs in C compilation, and optimise struct updatesAlasdair Armstrong
2018-02-24Fix C builtinsAlasdair Armstrong
2018-02-23Fix some bugs in C compilationAlasdair Armstrong
2018-02-22More updates to C backendAlasdair Armstrong
2018-02-21Can now compile aarch64/no_vector into CAlasdair Armstrong
2018-02-19Have generic vectors working in C backendAlasdair Armstrong
2018-02-16Can now compile aarch64/duopod to CAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 14:45:59 +0000