v2.1.1-rc

What's Changed

• Fix "has no effect" checking on external function calls by @mikucionisaau in #76
• Added leak sanitizer and refactored test for feature-checker by @mikucionisaau in #75
• Let channel priorities disable SMC and concrete simulator by @thorulf4 in #74
• Fixed clang-tidy modernization issues by @mikucionisaau in #77
• API cleanup by @mikucionisaau in #70
• fixes build issues with recent compilers and libraries by @mikucionisaau in #82
• Add example and improve build scripts by @mikucionisaau in #83
• Upgraded compilers to the latest available versions by @mikucionisaau in #84
• Added library alias by @mikucionisaau in #85
• Added fortification for macOS GH CI by @mikucionisaau in #86

Full Changelog: v2.1.0...v2.1.1-rc

v2.1.0-coshy

What's Changed

• COSHY queries by @AsgerHB in #81
• Fix "has no effect" checking on external function calls by @mikucionisaau in #76
• Added leak sanitizer and refactored test for feature-checker by @mikucionisaau in #75
• Let channel priorities disable SMC and concrete simulator by @thorulf4 in #74

Full Changelog: v2.1.0...v2.1.0-coshy

v2.1.0

What's Changed

• Bounds query to generalize infimum and supremum by @mikucionisaau in #65
• Updated libxml2 to 2.11.5 and changed source to mirrors by @mikucionisaau in #67

Full Changelog: v2.0.3...v2.1.0

v2.0.3

What's Changed

• Fixed issue with type deduced expressions breaking ternary operators by @thorulf4 in #64

Full Changelog: v2.0.2...v2.0.3

v2.0.2

What's Changed

• Fixed precedence issues with pre-increment and subscript by @thorulf4 in #62
• Expanded structs to support clock and double fields by @thorulf4 in #60
• Allows implicit clock to double conversions in ternary conditional operators during type checking by @thorulf4 in #61

Full Changelog: v2.0.1...v2.0.2

v2.0.1

Changes:

• Fix the version number in CMakeLists.txt
• Unify libxml2 build options

v2.0.0

What's Changed

• Split and simplified build scripts by @mikucionisaau in #36
• Revert "Symbolic feature: allow assigning doubles to clocks" by @thorulf4 in #38
• Removed unnessecary xpath duplication in line_t by @thorulf4 in #42
• Allow automatic deduction of goal expression in learning queries by @thorulf4 in #39
• Feature check on clock initializers and only on instanced templates by @thorulf4 in #40
• Improve error positioning for template instantiation with unbound parameters by @thorulf4 in #41
• Add constexpr for range_t by @mikucionisaau in #37
• Reformated namespace indentation by @mikucionisaau in #44
• Refactor API and modernize build scripts by @mikucionisaau in #43
• Simplified CMake usage in README by @mikucionisaau in #45
• Moved signal flow analysis to separate utap-utils repository by @mikucionisaau in #46
• Added missing definitions by @thorulf4 in #49
• Reverted learning query changes by @thorulf4 in #50
• Fixed a double free issue with syntax errors inside functions by @thorulf4 in #54
• Added pretty printing of stratego queries by @mikucionisaau in #55
• Upgraded libxml2 and doctest library versions by @mikucionisaau in #58
• Exhausted remaining enum values in expression_t::print by @thorulf4 in #57
• Fix double free for lsc models during parsing by @thorulf4 in #47

Full Changelog: v1.1.6...v2.0.0

Relaxed {sum,forall,exists} compile-time treatement and renamed a few structures and methods

What's Changed

• Quantifier in compile time evaluations by @thorulf4 in #30
• Added a negative test case to check that quantifier expressions are analyzed fully by @mikucionisaau in #32
• Renamed basic data structures like createFrame and toString by @mikucionisaau in #33

Full Changelog: v1.1.5...v1.1.6

Fixed external function loading from dynamic library

Merge pull request #29 from mikucionisaau/dynlib

Adds dynamic library wrapper for portable treatment across platforms

Relax clock assignment expressions and change storage for edge-selected values

• Relaxes the type checking for expressions of form c = d where c is a clock and d is a double.
• Change the storage from list to vector for edge-selected values.