| #
47328f93 |
|
08-Dec-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: reorg C code gen part
[skip lemma]
|
| #
f0ace17c |
|
29-Aug-2019 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: eliminate trailing spaces
[skip lemma][skip ci]
|
| #
bb762f8f |
|
01-Jul-2019 |
vjackson725 <vjackson725@users.noreply.github.com> |
dargent-merge: merge dargent c generation
|
| #
849a5f89 |
|
08-Nov-2018 |
Matthew Di Meglio <mdimeglio@optusnet.com.au> |
Getting codegen to happen in tests is in progress:
* Have swapped out the code for setter/getters to use the code which generates the setter/getter functions
* Have already done a lot of debugging to get to this point
BUGS REMAINING:
* Need to ignore the source pos in DataLayout for equality, need to ignore the taken in Cogent types for equality in comparing structural
types - to avoid generating duplicate types and C compile errors when assigning the wrong type to a variable
|
| #
fb860f50 |
|
30-Oct-2018 |
Matthew Di Meglio <mdimeglio@optusnet.com.au> |
Reorganising Cogent.C so that Cogent.C.Compile can import Cogent.DataLayout.CodeGen
|
| #
14ac39ad |
|
29-Nov-2018 |
Liam O’Connor <liamoc@cse.unsw.edu.au> |
No more stack rebuilding
[skip lemma]
|
| #
454b6372 |
|
10-Sep-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: fix breakage on ghc-8.2 compilers
NOTE: it may still fail to compile due to
<https://ghc.haskell.org/trac/ghc/ticket/14777>
[skip lemma]
|
| #
2fd8872a |
|
10-Sep-2018 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
compiler: [major] refactor C-gen code
|