Commits

Commits on Mar 13, 2023

update README
Kraks
committedMar 13, 2023

Commits on Aug 24, 2022

Update README
Kraks
committedAug 24, 2022

Commits on Aug 14, 2022

update README
Kraks
committedAug 14, 2022

Commits on Aug 12, 2022

initial gcov integration (#123 )
Kraks
committedAug 12, 2022
Meta fs coreutils (#124 )

PROgram52bc
and
Haotian Deng
committedAug 12, 2022
reorg external functions
Kraks
committedAug 12, 2022
Branch cov (#134 )
Kraks
committedAug 12, 2022

Commits on Aug 10, 2022

move non-rep type constructs into IRUtils (#133 )
Kraks
committedAug 10, 2022

Commits on Aug 9, 2022

move push/pop, restore timing (#132 )

Tantalus13A98B5F
and
Songlin
committedAug 9, 2022
Remove capturing in CPS continuations (#127 )

Tantalus13A98B5F
and
Songlin
committedAug 9, 2022

Commits on Aug 8, 2022

misc
Kraks
committedAug 8, 2022
more scala front-end options
Kraks
committedAug 8, 2022
record internal solver time (#131 )
Kraks
committedAug 8, 2022
helper message
Kraks
committedAug 8, 2022
upgrade from clang-9 to clang-11 (#129 )
Kuigesi
committedAug 8, 2022
scala front-end
Kraks
committedAug 8, 2022

Commits on Aug 7, 2022

update workflow
Kraks
committedAug 7, 2022
renaming benchmark folders
Kraks
committedAug 7, 2022

Commits on Aug 5, 2022

fix llvm-11 string literal parser (#130 )
Kuigesi
committedAug 5, 2022

Commits on Aug 2, 2022

Add missing feature and fix for clang-11 (#128 )
Kuigesi
committedAug 2, 2022

Commits on Aug 1, 2022

add getcwd to syscall (#126 )
Kuigesi
committedAug 1, 2022

Commits on Jul 31, 2022

configure argv, envp memory layout according to uClibc standard (#125 )
Kuigesi
committedJul 31, 2022

Commits on Jul 27, 2022

Remove fs boilerplate code (#122 )
Kraks
committedJul 27, 2022
properly representing C++ ptr type (#121 )
Kraks
committedJul 27, 2022

Commits on Jul 25, 2022

use atomic datatype for several counters (#120 )
Kraks
committedJul 25, 2022

Commits on Jul 24, 2022

consolidate makefile
Kraks
committedJul 24, 2022
nofree attr keyword (#119 )
Kraks
committedJul 24, 2022

Commits on Jul 23, 2022

Misc refactor (#115 )
Kraks
committedJul 23, 2022

Commits on Jul 19, 2022

sync workflow change to benchmark server
Songlin
committedJul 19, 2022
External workflow (#117 )
PROgram52bc
committedJul 19, 2022
implement deep copy for files/tests (#111 )
PROgram52bc
committedJul 19, 2022
* add external function reallocarray (#113 )
Kuigesi
committedJul 19, 2022

Commits on Jul 18, 2022

Use simple pointers for PtrVal (#112 )

Tantalus13A98B5F
and
Songlin
committedJul 18, 2022
add SymLocV (#108 )
Kuigesi
committedJul 18, 2022

Commits on Jul 11, 2022

kind projector syntax; remove warning (#110 )
Kraks
committedJul 11, 2022