35 Commits (3593e41de1d0ee4753e1e6ee7b4b14ae5ef89bcb)

Author SHA1 Message Date
Radu Grigore f8aa139b88 [topl] Be more precise in extracting summaries.
4 years ago
Radu Grigore 3478a8828f [topl] Added limits, to avoid high runtimes in corner-cases.
4 years ago
Radu Grigore e00dbe46b1 [topl] Got rid of quadratic runtime for long methods.
4 years ago
Radu Grigore d652e22a0a [topl] Don't bubble up errors.
4 years ago
Radu Grigore d3ff423bb1 [topl] Don't put trivial large steps in trace.
4 years ago
Radu Grigore c829db4964 [topl] Fixed an eggregious performance issue (repeated summaries).
4 years ago
Radu Grigore 59daa1f022 [topl] Added the ArrayWrite event type.
4 years ago
Radu Grigore 33071b82b5 [topl] Interprocedural analysis (in Pulse)
4 years ago
Radu Grigore 206686718f [topl] Report error traces
4 years ago
Radu Grigore 9591276541 [topl] Cheap port to Pulse.
4 years ago
Radu Grigore 5f2849bf01 [topl] Atomic prunes.
4 years ago
Radu Grigore 9784ee0858 [topl] Prepare cheap port to pulse.
4 years ago
Jules Villard f8e71ceb1e [topl] make TOPL its own checker
5 years ago
Sungkeun Cho d2276c4975 [cost] Re-locate where to print issue with heuristics
5 years ago
Nikos Gorogiannis 86ab2d7d10 [topl] disable skip tests
5 years ago
Radu Grigore 0fc2769a65 [topl] A test for comparing arguments.
5 years ago
Radu Grigore 5a095ca411 [topl] Switched to low-level syntax.
5 years ago
Radu Grigore 2888a90e2a [topl] Added tests for inefficient iteration
5 years ago
Radu Grigore f8511c2358 [topl] Added another small test, for BAOS.
5 years ago
Jules Villard b948c3e182 [topl] delete unused test file
5 years ago
Radu Grigore fe736f4151 [topl] Added two (test) properties for ServletResponse.
5 years ago
Radu Grigore 6e6a33cd01 [topl] Added a test for ByteArrayOutputStream.
5 years ago
Radu Grigore bfdb379fe3 [topl] Added a test, for intraprocedural reasoning.
5 years ago
Jules Villard 9199aa4b24 [topl] split tests
5 years ago
Nikos Gorogiannis 1dc2e8a87c [RFC][java] kill regexp-based line number fixer
5 years ago
Radu Grigore 3554101ece [topl] Generate simpler monitor for deterministic states.
5 years ago
Radu Grigore 3e9d1bff16 [topl] Bugfix in matching constructor names.
5 years ago
Radu Grigore 4654424b03 [topl] More biabduction-friendly monitor.
5 years ago
Radu Grigore b70a0f0b65 [topl] Optimize code instrumentation.
5 years ago
Radu Grigore 91ebfe9c20 [topl] Support side conditions for transitions.
5 years ago
Radu Grigore 10d87eec4e [topl] Simple error reporting.
6 years ago
Josh Berdine cfc1c8be36 [copyright] Remove years
6 years ago
Radu Grigore d86e2f0d1c [topl] Generate monitor.
6 years ago
Radu Grigore 047c64c528 [topl] Instrument SIL.
6 years ago
Radu Grigore 8bf65086e3 [topl] Parser for temporal properties
6 years ago