Commits · main · Christoph Reichenbach / EDAP15 2025 Exercise 3 · GitLab

Snippets Groups Projects

Feb 26, 2025
- Documentation and code-prober.sh now correctly use nullReports() · 622b7f68
  Christoph Reichenbach authored 3 months ago
  622b7f68
Feb 20, 2025
- More documentation updates · ee371437
  Christoph Reichenbach authored 3 months ago
  
  ee371437
- Split TestNullReports and TestIntervalReports · 4caf4303
  Christoph Reichenbach authored 3 months ago
  
  4caf4303
- Added possible workaround for junit bug in some gradle versions · d9680b48
  Christoph Reichenbach authored 3 months ago
  
  d9680b48
Feb 19, 2025
- Split up hw3-task-3-2.teal, adding 3-3 · dc5bf93f
  Christoph Reichenbach authored 3 months ago
  
  dc5bf93f
- Removed most of Task 4 from the exercise description · 5713ef2c
  Christoph Reichenbach authored 3 months ago
  
  5713ef2c
- Fixes to fixed point processing · 6968fc89
  Christoph Reichenbach authored 3 months ago
  
  6968fc89
- Pre-implemented strategy for finding nearest constants in a set · 46e5e835
  Christoph Reichenbach authored 3 months ago
  
  46e5e835
- Moved intervalReports() out of the way · bfd128ba
  Christoph Reichenbach authored 3 months ago
  
  bfd128ba
- Removed misleading test · f99df969
  Christoph Reichenbach authored 3 months ago
  
  f99df969
- Clarifications for Task 2 · 1395a38a
  Christoph Reichenbach authored 3 months ago
  
  1395a38a
- Replaced inteval() by intervalValue() in reports · d656b81f
  Christoph Reichenbach authored 3 months ago
  
  d656b81f
Feb 18, 2025
- Test suite for VarLattice · b5c99043
  Christoph Reichenbach authored 3 months ago
  
  b5c99043
- Several bugfixes for VarLattice · dd109918
  Christoph Reichenbach authored 3 months ago
  dd109918
- Split IntervalAnalysis and OutOfBoundsDataFlow · b58a08f0
  Christoph Reichenbach authored 3 months ago
  
  b58a08f0
- Fully pre-implemented the coding parts of Task 4 · 621fb470
  Christoph Reichenbach authored 3 months ago
  
  621fb470
Feb 17, 2025
- Minor refactoring, clarification, and simplification · 8fc9e183
  Christoph Reichenbach authored 3 months ago
  
  8fc9e183
- Pre-defined helper operations · 09c3d5bc
  Christoph Reichenbach authored 3 months ago
  
  09c3d5bc
- More explicit and simpler tasks, simplified widening · debaa8a5
  Christoph Reichenbach authored 3 months ago
  
  debaa8a5
Feb 16, 2025
- Added separate Lattice and VarLattice implementations · c472df42
  Christoph Reichenbach authored 3 months ago
  
  c472df42
- Integrated 2025 lattice changes · 87812046
  Christoph Reichenbach authored 3 months ago
  
  87812046
- Cleaner SmallSet interface · 7265bdf6
  Christoph Reichenbach authored 4 months ago
  
  7265bdf6
Feb 21, 2024
- Relaxed expectations for Task 3 · 4d43a14c
  Christoph Reichenbach authored 1 year ago
  
  4d43a14c
Feb 19, 2024
- Added link to lattice slides · 5d046aac
  Christoph Reichenbach authored 1 year ago
  
  5d046aac
- Some more hints, clarifications · cb6ed866
  Christoph Reichenbach authored 1 year ago
  
  cb6ed866
Feb 16, 2024
- Updated CodeProber with upstream fix for nested probes · 720f5c59
  Christoph Reichenbach authored 1 year ago
  
  720f5c59
Feb 15, 2024
- Updated description, tests · 0a166426
  Christoph Reichenbach authored 1 year ago
  
  0a166426
- Fix: BinExpr.isBasicComparison as attribute, not method · 66c087e1
  Christoph Reichenbach authored 1 year ago
  
  66c087e1
- Remove inverted() as mandatory lattice feature · f8ac20c6
  Christoph Reichenbach authored 1 year ago
  
  f8ac20c6
- A few subtle tweaks · 0314464f
  Christoph Reichenbach authored 1 year ago
  
  0314464f
- allInverted -> inverted · 181c9310
  Christoph Reichenbach authored 1 year ago
  
  181c9310
- Further cleanup, simplification · 1ef00f80
  Christoph Reichenbach authored 1 year ago
  
  1ef00f80
- Run CodeProber with higher concurrency to ensure stack traces · 413a1a27
  Christoph Reichenbach authored 1 year ago
  413a1a27
- Generic VarDomain lattice with extended documentation · 9e9a0ee7
  Christoph Reichenbach authored 1 year ago
  
  9e9a0ee7
- Added documentation: helper functions vs tests · d60e0446
  Christoph Reichenbach authored 1 year ago
  
  d60e0446
- ExtendedLong: raise special exception on NaN · 5f7f1193
  Christoph Reichenbach authored 1 year ago
  
  5f7f1193
- Minor task description tweaks · e9b40e49
  Christoph Reichenbach authored 1 year ago
  
  e9b40e49
- Fix parts of exercise description · 2aef8dd3
  Christoph Reichenbach authored 1 year ago
  
  2aef8dd3
- Report back arrows as left-pointing arrows for visual ease · c9022065
  Christoph Reichenbach authored 1 year ago
  
  c9022065
- Updated task description · 0f240da7
  Christoph Reichenbach authored 1 year ago
  
  0f240da7