Code

Trace generation#330

Code

Merged

leventeBajczi merged 100 commits intoxta-to-xcfa-experimentftsrg/theta:xta-to-xcfa-experimentfrom trace-generationftsrg/theta:trace-generationCopy head branch name to clipboardDec 2, 2024

+3,330-223

Commits

Commits on Jun 13, 2022

• Added basic dfs trace generator; not tested yet

  AdamZsofi

  committed
  5e7b522

  Copy full SHA for 5e7b522

Commits on Jun 14, 2022

• tracgen half-done, but ran into some issues; refactor next

  AdamZsofi

  committed
  24e9ef6

  Copy full SHA for 24e9ef6

Commits on Jun 15, 2022

• no propert concretizer in progress

  AdamZsofi

  committed
  b1c120d

  Copy full SHA for b1c120d

Commits on Jun 16, 2022

• Writing generated traces into files

  AdamZsofi

  committed
  a709678

  Copy full SHA for a709678

Commits on Jun 20, 2022

• minor changes

  AdamZsofi

  committed
  585c62a

  Copy full SHA for 585c62a

Commits on Jun 23, 2022

• Generating maximal traces from xsts

  AdamZsofi

  committed
  0ad3ac9

  Copy full SHA for 0ad3ac9

Commits on Jul 2, 2022

• Deleted some commented code

  AdamZsofi

  committed
  c9bccbf

  Copy full SHA for c9bccbf

Commits on Jul 11, 2022

• Fixed xsts based bug generating extra traces

  AdamZsofi

  committed
  9d103eb

  Copy full SHA for 9d103eb

Commits on Aug 12, 2022

• Added temporary ARG to file to cegarchecker

  AdamZsofi

  committed
  130fcdf

  Copy full SHA for 130fcdf

Commits on Sep 13, 2022

• Started adding advanced arg trace for trace generation

  AdamZsofi

  committed
  cd6504c

  Copy full SHA for cd6504c

Commits on Sep 18, 2022

• iterative trace lengthening works on small example

  AdamZsofi

  committed
  4a4018c

  Copy full SHA for 4a4018c

Commits on Sep 20, 2022

• Added get full traces as an option

  AdamZsofi

  committed
  5df7980

  Copy full SHA for 5df7980

Commits on Sep 27, 2022

• Cleaning up tracegen code

  AdamZsofi

  committed
  9ed5b22

  Copy full SHA for 9ed5b22

Commits on Sep 28, 2022

• Refactored full trace generation

  AdamZsofi

  committed
  0675afb

  Copy full SHA for 0675afb

• Adding configurable initial precision

  AdamZsofi

  committed
  af92d1c

  Copy full SHA for af92d1c

Commits on Oct 2, 2022

• Added some trace gen options

  AdamZsofi

  committed
  fc2b102

  Copy full SHA for fc2b102

Commits on Oct 3, 2022

• Shortened tracegen algorithm code

  AdamZsofi

  committed
  8b6db64

  Copy full SHA for 8b6db64

• Fixed accidentally changed code

  AdamZsofi

  committed
  5225be8

  Copy full SHA for 5225be8

Commits on Oct 8, 2022

• Patched tracegen feasibility check

  AdamZsofi

  committed
  d8d0731

  Copy full SHA for d8d0731

• Patched xsts specific superfluous node removal

  AdamZsofi

  committed
  4a9ac61

  Copy full SHA for 4a9ac61

Commits on Oct 10, 2022

• Patch superfluous node filtering

  AdamZsofi

  committed
  3c40481

  Copy full SHA for 3c40481

• minor fix

  AdamZsofi

  committed
  b263b0f

  Copy full SHA for b263b0f

• Fixed typo in shortened trace containment check

  AdamZsofi

  committed
  f3f79a6

  Copy full SHA for f3f79a6

Commits on Oct 17, 2022

• Added heuristics for incomplete abstract state coverages

  AdamZsofi

  committed
  750291e

  Copy full SHA for 750291e

• added correct check inbetween abstract states

  AdamZsofi

  committed
  b553dd6

  Copy full SHA for b553dd6

Commits on Nov 13, 2022

• Fixed typo

  AdamZsofi

  committed
  7a959fd

  Copy full SHA for 7a959fd

• Added insecure delete to google recursive delete for windows

  AdamZsofi

  committed
  8e97f22

  Copy full SHA for 8e97f22

Commits on Jun 22, 2023

• Added basic dfs trace generator; not tested yet

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  008e6a5

  Copy full SHA for 008e6a5

• tracgen half-done, but ran into some issues; refactor next

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  7215db1

  Copy full SHA for 7215db1

• no propert concretizer in progress

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  1f92802

  Copy full SHA for 1f92802

• Writing generated traces into files

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  8d17fdd

  Copy full SHA for 8d17fdd

• minor changes

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  f6fc8b4

  Copy full SHA for f6fc8b4

• Generating maximal traces from xsts

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  9935a31

  Copy full SHA for 9935a31

• Deleted some commented code

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  fcee7dd

  Copy full SHA for fcee7dd

• Fixed xsts based bug generating extra traces

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  5850399

  Copy full SHA for 5850399

• Added temporary ARG to file to cegarchecker

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  5ac18f0

  Copy full SHA for 5ac18f0

• Started adding advanced arg trace for trace generation

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  3ac8c77

  Copy full SHA for 3ac8c77

• iterative trace lengthening works on small example

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  1bb9e4c

  Copy full SHA for 1bb9e4c

• Added get full traces as an option

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  ba7367e

  Copy full SHA for ba7367e

• Cleaning up tracegen code

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  ee5100d

  Copy full SHA for ee5100d

• Refactored full trace generation

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  037ff53

  Copy full SHA for 037ff53

• Adding configurable initial precision

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  e96a338

  Copy full SHA for e96a338

• Added some trace gen options

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  2754697

  Copy full SHA for 2754697

• Shortened tracegen algorithm code

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  bcf53fd

  Copy full SHA for bcf53fd

• Fixed accidentally changed code

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  1b2555b

  Copy full SHA for 1b2555b

• Patched tracegen feasibility check

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  9ac420e

  Copy full SHA for 9ac420e

• Patched xsts specific superfluous node removal

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  a0a3443

  Copy full SHA for a0a3443

• Patch superfluous node filtering

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  849cba0

  Copy full SHA for 849cba0

• minor fix

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  8d9f68d

  Copy full SHA for 8d9f68d

• Fixed typo in shortened trace containment check

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  ffc7432

  Copy full SHA for ffc7432

• Added heuristics for incomplete abstract state coverages

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  9816819

  Copy full SHA for 9816819

• added correct check inbetween abstract states

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  0f9af8d

  Copy full SHA for 0f9af8d

• Fixed typo

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  319231d

  Copy full SHA for 319231d

• Added insecure delete to google recursive delete for windows

  

  AdamZsofi

  authored and

  leventeBajczi

  committed
  7d1ce6b

  Copy full SHA for 7d1ce6b

• optimized imports after rebase

  leventeBajczi

  committed
  549d0ed

  Copy full SHA for 549d0ed

Commits on Feb 11, 2024

• Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-generation

  AdamZsofi

  committed
  3ec7f82

  Copy full SHA for 3ec7f82

• merged xcfa-refactor into tracegen

  AdamZsofi

  committed
  70b4108

  Copy full SHA for 70b4108

Commits on Feb 18, 2024

• Merge branch 'master' into trace-generation

  AdamZsofi

  committed
  b000dcf

  Copy full SHA for b000dcf

• added promela frontend project

  AdamZsofi

  committed
  24720c7

  Copy full SHA for 24720c7

Commits on Feb 19, 2024

• promela grammar can parse models now

  AdamZsofi

  committed
  cdeecb6

  Copy full SHA for cdeecb6

• solve merge conflict

  AdamZsofi

  committed
  611105f

  Copy full SHA for 611105f

Commits on Feb 23, 2024

• some promela boilerplate

  AdamZsofi

  committed
  bcace2a

  Copy full SHA for bcace2a

• adding grammar and model classes to promela frontend

  AdamZsofi

  committed
  b6465e9

  Copy full SHA for b6465e9

Commits on Feb 26, 2024

• commented out some of promela grammar

  AdamZsofi

  committed
  8b525cf

  Copy full SHA for 8b525cf

Commits on Apr 13, 2024

• promela frontend update

  AdamZsofi

  committed
  253faaa

  Copy full SHA for 253faaa

Commits on Apr 16, 2024

• started refactoring trace generation

  AdamZsofi

  committed
  a8981c9

  Copy full SHA for a8981c9

Commits on Apr 17, 2024

• refactored and minimized tracegen

  AdamZsofi

  committed
  1b9a31f

  Copy full SHA for 1b9a31f

Commits on Apr 22, 2024

• tracegen refactor wip

  AdamZsofi

  committed
  ee9d26c

  Copy full SHA for ee9d26c

Commits on Apr 29, 2024

• Merge branch 'master' into trace-generation

  AdamZsofi

  committed
  2b0587d

  Copy full SHA for 2b0587d

Commits on May 3, 2024

• adding predicates to tracegen

  AdamZsofi

  committed
  af7ce82

  Copy full SHA for af7ce82

Commits on Jul 14, 2024

• readded full traces option and started developing trace metadata

  AdamZsofi

  committed
  e7537c6

  Copy full SHA for e7537c6

Commits on Aug 19, 2024

• merge master into tracegen

  AdamZsofi

  committed
  67286f1

  Copy full SHA for 67286f1

Commits on Aug 29, 2024

• cleaning up before trace metadata

  AdamZsofi

  committed
  41f6809

  Copy full SHA for 41f6809

Commits on Sep 19, 2024

• added v0 trace metadata, wip refactor tracegen checker

  AdamZsofi

  committed
  37089d3

  Copy full SHA for 37089d3

Commits on Sep 20, 2024

• added basic trace metadata collection; tracegen refactored to clikt

  AdamZsofi

  committed
  9b8c51e

  Copy full SHA for 9b8c51e

Commits on Sep 21, 2024

• changing return value of trace generation

  AdamZsofi

  committed
  388a9cc

  Copy full SHA for 388a9cc

Commits on Sep 23, 2024

• refactor trace metadata to trace summary

  AdamZsofi

  committed
  e4adab5

  Copy full SHA for e4adab5

• basic trace summary and visualization added

  AdamZsofi

  committed
  a49a7c8

  Copy full SHA for a49a7c8

Commits on Sep 29, 2024

• trace generation checker is now a Checker

  AdamZsofi

  committed
  23301f7

  Copy full SHA for 23301f7

Commits on Oct 7, 2024

• summary concretization and least/most over approx arg node wip

  AdamZsofi

  committed
  b7df932

  Copy full SHA for b7df932

Commits on Oct 13, 2024

• working on summary concretization

  AdamZsofi

  committed
  077c7bf

  Copy full SHA for 077c7bf

Commits on Oct 14, 2024

• added feasible concretization and concrete summary

  AdamZsofi

  committed
  22d2896

  Copy full SHA for 22d2896

• clean up some templates

  AdamZsofi

  committed
  a581e5f

  Copy full SHA for a581e5f

Commits on Oct 16, 2024

• adding summary statuses

  AdamZsofi

  committed
  50672da

  Copy full SHA for 50672da

Commits on Oct 19, 2024

• basic summary concretization works

  AdamZsofi

  committed
  ef4ee50

  Copy full SHA for ef4ee50

Commits on Oct 21, 2024

• .cexs can exported, but todos for tracegen with abstraction still present

  AdamZsofi

  committed
  7c13253

  Copy full SHA for 7c13253

Commits on Oct 26, 2024

• wip tracegen to xcfa

  AdamZsofi

  committed
  aabe64e

  Copy full SHA for aabe64e

• Merge branch 'master' into trace-generation

  AdamZsofi

  committed
  8cc79dc

  Copy full SHA for 8cc79dc

Commits on Oct 27, 2024

• tracegen added to xcfa execute config

  AdamZsofi

  committed
  5520360

  Copy full SHA for 5520360

Commits on Oct 28, 2024

• xcfa-cli trace generation can be built, but not tested

  AdamZsofi

  committed
  e412918

  Copy full SHA for e412918

Commits on Nov 4, 2024

• fix config node result type

  AdamZsofi

  committed
  74d3be7

  Copy full SHA for 74d3be7

Commits on Nov 10, 2024

• added some post tracegen log

  AdamZsofi

  committed
  6c110d3

  Copy full SHA for 6c110d3

Commits on Nov 11, 2024

• added trace concretizations to xcfa tracegen

  AdamZsofi

  committed
  8f7a3b9

  Copy full SHA for 8f7a3b9

• Merge branch 'master' into trace-generation

  AdamZsofi

  committed
  7e987e8

  Copy full SHA for 7e987e8

• reformatting after merge

  AdamZsofi

  committed
  21e7acf

  Copy full SHA for 21e7acf

Commits on Nov 13, 2024

• add _ in cexs node id

  AdamZsofi

  committed
  e3503f3

  Copy full SHA for e3503f3

Commits on Nov 23, 2024

• added options to (not) get summary/trace set after tracegen for xsts

  AdamZsofi

  committed
  506f776

  Copy full SHA for 506f776

• added options to (not) get summary/trace set after tracegen for xsts

  AdamZsofi

  committed
  000ebfb

  Copy full SHA for 000ebfb

Commits on Nov 25, 2024

• fixed --traces and --summary in xsts cli

  AdamZsofi

  committed
  ec1a632

  Copy full SHA for ec1a632

Commits on Dec 2, 2024

• Merged, removed gen folder, formatted

  leventeBajczi

  committed
  a520e15

  Copy full SHA for a520e15