Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 23, 2024

• Final version submitted to Zenodo

  praalhans

  committedJan 23, 2024
  ee63a10

Commits on Sep 3, 2023

• WIP

  praalhans

  committedSep 3, 2023
  3c93831

Commits on Sep 2, 2023

• WIP

  praalhans

  committedSep 2, 2023
  9598196

Commits on Aug 20, 2023

• Soundness frame rule for assignments

  praalhans

  committedAug 20, 2023
  75fd27f

Commits on Aug 17, 2023

• Remove crash file

  praalhans

  committedAug 17, 2023
  b2ca76f

• WIP

  praalhans

  committedAug 17, 2023
  258d09f

Commits on Jul 20, 2023

• WIP

  praalhans

  committedJul 20, 2023
  e92d2f2

Commits on Jul 4, 2023

• Standard semantics

  praalhans

  committedJul 4, 2023
  e3032f7

Commits on May 23, 2023

• Basic results about smallstep semantics

  praalhans

  committedMay 23, 2023
  0e722d4

Commits on Apr 13, 2023

• Fix directory renaming in Makefile

  praalhans

  committedApr 13, 2023
  766ffa3

• Renamed directory structure

  praalhans

  committedApr 13, 2023
  3e53346

Commits on Apr 5, 2023

• Finishes proof

  praalhans

  committedApr 5, 2023
  acd58cf

Commits on Apr 4, 2023

• Work in progress

  praalhans

  committedApr 4, 2023
  b86b20d

• All axioms formalized and proven

  praalhans

  committedApr 4, 2023
  b552fbd

• Work in progress

  praalhans

  committedApr 4, 2023
  19d24f6

Commits on Apr 3, 2023

• Work in progress

  praalhans

  committedApr 3, 2023
  b4f71f3

Commits on Mar 31, 2023

• All axioms formalized, TODO: finish proofs.

  praalhans

  committedMar 31, 2023
  10a34c4

Commits on Mar 29, 2023

• Weakest precondition shallow embedding

  praalhans

  committedMar 29, 2023
  657d4da

Commits on Jan 20, 2023

• Soundness WP with sep

  praalhans

  committedJan 20, 2023
  e5f0e65

Commits on Jan 12, 2023

• Soundness full system

  praalhans

  committedJan 12, 2023
  f178890

• Adds full proof system

  praalhans

  committedJan 12, 2023
  51a11f2

Commits on Jan 6, 2023

• WIP

  praalhans

  committedJan 6, 2023
  1a5e515

• Works for Coq 8.15.2

  praalhans

  committedJan 6, 2023
  ec648a6

Commits on Jan 4, 2023

• WIP

  praalhans

  committedJan 4, 2023
  dac8b06

• WIP

  praalhans

  committedJan 4, 2023
  7c69e58

• WIP

  praalhans

  committedJan 4, 2023
  e0b38a9

• WIP

  praalhans

  committedJan 4, 2023
  8388561

• WIP

  praalhans

  committedJan 4, 2023
  2798492

• WIP

  praalhans

  committedJan 4, 2023
  8ee1be9

• WIP

  praalhans

  committedJan 4, 2023
  5ba0cb7

• WIP

  praalhans

  committedJan 4, 2023
  041871a

Commits on Dec 22, 2022

• WIP

  praalhans

  committedDec 22, 2022
  699342f

Commits on Dec 19, 2022

• WIP

  praalhans

  committedDec 19, 2022
  bef9b86

• WIP

  praalhans

  committedDec 19, 2022
  58165dc

• WIP

  praalhans

  committedDec 19, 2022
  ccf293b

Pagination

PreviousNext