Commits

Commits on Jun 14, 2024

Add logs to lcov (#685 )
ladisgin
committedJun 14, 2024

Commits on Jun 13, 2024

Fix extern (#683 )
ladisgin
committedJun 13, 2024

Commits on Jun 6, 2024

Add run by function name in CLI (#682 )
ladisgin
committedJun 6, 2024
Test paths in makefiles have been replaced with relative ones (#681 )
ladisgin
committedJun 6, 2024

Commits on Apr 2, 2024

unsupported int128 tests (#452 )
belous-dp
committedApr 2, 2024
Fix clion (#678 )
ladisgin
committedApr 2, 2024
Path refactoring (#677 )
ladisgin
committedApr 2, 2024

Commits on Mar 26, 2024

Update wiki (#676 )
ladisgin
committedMar 26, 2024

Commits on Mar 25, 2024

Add initialize and teardown functions call (#675 )
ladisgin
committedMar 25, 2024

Commits on Mar 13, 2024

Update ubuntu version (#671 )
ladisgin
committedMar 13, 2024

Commits on Feb 2, 2024

Fix run scripts (#667 )
ladisgin
committedFeb 2, 2024

Commits on Feb 1, 2024

Add more logs for linking and CLI verbosity level (#666 )
ladisgin
committedFeb 1, 2024

Commits on Jan 15, 2024

Update to llvm 14 (#664 )
ladisgin
committedJan 15, 2024

Commits on Dec 14, 2023

Fix compare char with string literal in for (#663 )
ladisgin
committedDec 14, 2023
fix the bug log cannot send to client sometimes (#662 )
lzx2017lzx
committedDec 14, 2023

Commits on Dec 9, 2023

Add skip duplicate compile commands (#660 )
ladisgin
committedDec 9, 2023

Commits on Nov 23, 2023

Add escaping for some float typedefs (#656 )
ladisgin
committedNov 23, 2023

Commits on Nov 17, 2023

Update clion-plugin build script (#654 )
ladisgin
committedNov 17, 2023
Add option for skip precompiled objects (#652 )
ladisgin
committedNov 17, 2023

Commits on Oct 25, 2023

Fix write "extern" for stubs (#651 )
ladisgin
committedOct 25, 2023

Commits on Oct 24, 2023

Fix run ubuntu 22.04 (#649 )
ladisgin
committedOct 24, 2023

Commits on Oct 20, 2023

Update klee (#644 )
ladisgin
committedOct 20, 2023

Commits on Oct 9, 2023

Fix stubs (#648 )
ladisgin
committedOct 9, 2023

Commits on Sep 25, 2023

Add more logs (#647 )
ladisgin
committedSep 25, 2023
Updated workflow for bidirectional wiki-docs syncing (#646 )
olganaumenko
committedSep 25, 2023

Commits on Sep 21, 2023

Wiki content updated, moved to main repo, publishing GH Action added (#605 )
olganaumenko
committedSep 21, 2023

Commits on Sep 19, 2023

Don't create files outside of project and add skipping flags (#643 )
ladisgin
committedSep 19, 2023

Commits on Sep 14, 2023

Add ld to isArchiveCommand (#642 )
ladisgin
committedSep 14, 2023

Commits on Sep 13, 2023

Add set of ignored output files (#641 )
ladisgin
committedSep 13, 2023

Commits on Sep 8, 2023

Remove gradle cache after build clion plugin (#636 )
ladisgin
committedSep 8, 2023

Commits on Sep 7, 2023

Fix integration tests (#635 )
ladisgin
committedSep 7, 2023

Commits on Sep 6, 2023

Fix parameter nullpointer deref (#634 )
ladisgin
committedSep 6, 2023

Commits on Sep 5, 2023

Remove build directory in action script (#632 )
ladisgin
committedSep 5, 2023

Commits on Sep 4, 2023

Update removal of linker flags (#628 )
IDKWNTCMF
committedSep 4, 2023
Fix lazy init of multidimensional pointers to const qualified values (#620 )
IDKWNTCMF
committedSep 4, 2023