Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 20, 2023 — Jan 20, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
sl/symproc: avoid computing bit mask on unbounded intervals
kdudka
as Kamil Dudka
More... over 10 years ago
sl/glconf: make rebuild faster when touching config.h
kdudka
as Kamil Dudka
More... over 10 years ago
sl/config.h: add option to disable state-level join
kdudka
as Kamil Dudka
More... over 10 years ago
vra: fix a build failure with gcc-4.9.x and old libgmp
Dee'Kej
More... over 10 years ago
sl/slgcc: print escape sequences only to terminals
kdudka
as Kamil Dudka
More... over 10 years ago
sl/slgcc: do not visualize graphs if gcc fails
kdudka
as Kamil Dudka
More... over 10 years ago
cl/gcc: fix a compilation failure on Fedora 21
kdudka
as Kamil Dudka
More... over 10 years ago
sl/slgcc: propagate the exit status back to shell
kdudka
as Kamil Dudka
More... over 10 years ago
README: add C++ compiler on the list of dependencies
kdudka
as Kamil Dudka
More... over 10 years ago
cl/CMakeLists: fail immediately if no C++ compiler is found
kdudka
as Kamil Dudka
More... over 10 years ago
cl,sl: make the code compile with gcc-4.1.2
kdudka
as Kamil Dudka
More... over 10 years ago
sl/fixed_point: remove also trivial conditions
kdudka
as Kamil Dudka
More... over 10 years ago
sl/fixed_point: factor out isTrivialAssignment()
kdudka
as Kamil Dudka
More... over 10 years ago
sl/fixed_point: do not create orphan components in removeDeadBranch()
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_match: improve the support for partial matches
kdudka
as Kamil Dudka
More... over 10 years ago
sl/symcmp: compare estimated type of objects, too
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_meta: fail if an abstract object suddenly appears
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_match: restrict MO_ALLOC/MO_FREE to regions
kdudka
as Kamil Dudka
More... over 10 years ago
sl/cont_shape_var: honour existing assignments in forward propagation
kdudka
as Kamil Dudka
More... over 10 years ago
sl/cont_shape_var: eliminate duplicated assignments
kdudka
as Kamil Dudka
More... over 10 years ago
sl/symbin: handle exit() as a no-op
kdudka
as Kamil Dudka
More... over 10 years ago
sl/fixed_point_rewrite: display insns being removed
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_meta: ignore non-pointer fields in diffSetField()
kdudka
as Kamil Dudka
More... over 10 years ago
sl/symutil: do not treat TS_INVALID as error
kdudka
as Kamil Dudka
More... over 10 years ago
sl/symutil: improve input validation of nextObj()
kdudka
as Kamil Dudka
More... over 10 years ago
sl/symstate: remove an invalid assumption
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_def: create a template for remove()
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_def: add support for generic insert_before()
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_match: stop searching if tgtObj is lost
kdudka
as Kamil Dudka
More... over 10 years ago
sl/adt_op_replace: do not remove destructive container operations
kdudka
as Kamil Dudka
More... over 10 years ago