Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Mar 17, 2026

• Merge pull request #3 from Kiguli/fix/jinja2-cve

  Show description for 149298f
  Kiguli

  authored
  149298f

  Copy full SHA for 149298f

• Upgrade Jinja2 to 3.1.6 to fix 4 moderate CVEs

  Show description for 07e4bca
  

  [email protected]

  and

  claude

  committed
  07e4bca

  Copy full SHA for 07e4bca

• Add ICCPS 2025 citation to documentation

  Show description for 2a1296a
  

  Kiguli

  and

  claude

  committed
  2a1296a

  Copy full SHA for 2a1296a

Commits on Mar 4, 2026

• Add Sphinx documentation site with Furo theme

  Show description for f672fab
  Kiguli

  committed
  f672fab

  Copy full SHA for f672fab

Commits on Feb 28, 2026

• Merge branch 'main' of github.com:Kiguli/PRoTECT

  Kiguli

  committed
  ace7389

  Copy full SHA for ace7389

Commits on Feb 10, 2026

• SymPy .subs() bug fixed via dummy variables

  Show description for 7a1f7bb
  Kiguli

  authored
  7a1f7bb

  Copy full SHA for 7a1f7bb

• Merge branch 'hotfix/dt_barrier_f_composition'

  Kiguli

  committed
  5281e75

  Copy full SHA for 5281e75

Commits on Feb 6, 2026

• Update variable creation in dt_SS.py

  Show description for f6e6a47
  Zinoex

  authored
  f6e6a47

  Copy full SHA for f6e6a47

• Change y variable to use Dummy symbols

  Zinoex

  authored
  551d399

  Copy full SHA for 551d399

• Fix substitution in dt systems

  Zinoex

  committed
  2527fb5

  Copy full SHA for 2527fb5

Commits on Dec 11, 2025

• Update related paper links and citation information

  Show description for c70d121
  Kiguli

  authored
  c70d121

  Copy full SHA for c70d121

• ICTAC 2025 Conference Paper

  Kiguli

  authored
  f46f919

  Copy full SHA for f46f919

Commits on Sep 5, 2025

• Remove Python 3.9 from workflow matrix

  Kiguli

  authored
  781c3ee

  Copy full SHA for 781c3ee

• Add sys import to test_gui.py

  Kiguli

  authored
  5e16093

  Copy full SHA for 5e16093

• Modify test_gui.py to include main.py import path

  Show description for 0658ef8
  Kiguli

  authored
  0658ef8

  Copy full SHA for 0658ef8

• Enhance Python package workflow with PyQt6 dependencies

  Kiguli

  authored
  7bb3666

  Copy full SHA for 7bb3666

• Refactor GUI test to use launch_app function

  Kiguli

  authored
  857d4d6

  Copy full SHA for 857d4d6

• Update system dependencies for PyQt6 installation

  Kiguli

  authored
  1a16b2c

  Copy full SHA for 1a16b2c

• Enhance Python workflow for PyQt6 support

  Kiguli

  authored
  9fc7f75

  Copy full SHA for 9fc7f75

• new test for GUI.

  Kiguli

  committed
  e45a834

  Copy full SHA for e45a834

• new main to run tests in workflow.

  Kiguli

  committed
  bb21d5c

  Copy full SHA for bb21d5c

• Add Python version badge to README

  Kiguli

  authored
  8bb3b9f

  Copy full SHA for 8bb3b9f

• Merge pull request #1 from Kiguli/workflow-test

  Show description for 1f2dd6e
  Kiguli

  authored
  1f2dd6e

  Copy full SHA for 1f2dd6e

• Update test to include PYTHONPATH environment variable

  Kiguli

  authored
  c916f5d

  Copy full SHA for c916f5d

• Rename test and check benchmark script execution

  Kiguli

  authored
  9a5f1f6

  Copy full SHA for 9a5f1f6

• Create test for main.py execution

  Kiguli

  authored
  8770039

  Copy full SHA for 8770039

• Modify linting and testing to exclude FOSSIL parts

  Kiguli

  authored
  58133db

  Copy full SHA for 58133db

• update installation details

  Kiguli

  authored
  36c361f

  Copy full SHA for 36c361f

• Testing Workflow for versions

  Show description for b1697b8
  Kiguli

  authored
  b1697b8

  Copy full SHA for b1697b8

Commits on Aug 14, 2025

• Update README.md

  Kiguli

  authored
  a69d544

  Copy full SHA for a69d544

Commits on May 29, 2025

• ARCH-COMP 2025 benchmarks

  Kiguli

  committed
  b109c46

  Copy full SHA for b109c46

Commits on Oct 23, 2024

• Repeatability: Instructions for Repeatability

  

  Ben Wooding

  authored and

  Ben Wooding

  committed
  d79d3de

  Copy full SHA for d79d3de

Commits on Oct 17, 2024

• Repeatability: new AE instructions

  

  Ben Wooding

  committed
  b3cb589

  Copy full SHA for b3cb589

• Repeatability: old shell scripts not needed.

  

  Ben Wooding

  committed
  064993d

  Copy full SHA for 064993d

• Repeatability: one shot code to make all tables

  

  Ben Wooding

  committed
  7df89df

  Copy full SHA for 7df89df