Commits

History for

Commits on Oct 28, 2021

fix build errors

Martin-Strecker
and
anka-213
committed

Commits on Oct 1, 2021

Split out a core library with fewer dependencies (#107 )

anka-213
and
AHaliq
authored

Commits on Sep 26, 2021

renamed NewProgram to Program
Martin-Strecker
committed

Commits on Sep 22, 2021

Generalization from EF-formula generation to other temporal quantifiers. First fruitless attempt at trace generation
Martin-Strecker
committed

Commits on Sep 19, 2021

some cleaning
Martin-Strecker
committed

Commits on Sep 18, 2021

ctd automata model checking
Martin-Strecker
committed

Commits on Sep 13, 2021

generation of formulas for model checking EF goals
Martin-Strecker
committed

Commits on Sep 12, 2021

construction of transition formulas
Martin-Strecker
committed

Commits on Sep 6, 2021

reduction of lambda expressions
Martin-Strecker
committed

Commits on May 28, 2021

removed legacy BoolT and IntT, replaced by classes Boolean and Integer. Types in L4 files should now also be Boolean / Integer. Renamed UBneg to UBnot
Martin-Strecker
committed

Commits on Mar 1, 2021

essential typing (#20 )
Martin-Strecker
authored

Commits on Feb 18, 2021

Fix typo in Exec.hs
anka-213
committed

Commits on Feb 17, 2021

started typing of programs
Martin-Strecker
committed

Commits on Feb 16, 2021

some renamings (Exp --> Expr, Haskellish naming conventions)
Martin-Strecker
committed

Commits on Feb 9, 2021

started alex/happy parser for core language
Martin-Strecker
committed

Commits on Nov 9, 2020

tidied up repository; created core-language Haskell project from previous core_language directory
Martin-Strecker
committed

Loading