Skip to content

Activity

Showing most recent first

Problem: no way to extract full invariant / guard / after-predicate

iTituscreated eventb-improvements • c36a9f8 • 
3 days ago

Deleted branch

iTitusdeleted github-ci • 
on Nov 21, 2024

Update ci.yml

iTituspushed 1 commit to github-ci • d81d78f…491e914 • 
on Nov 21, 2024

Update ci.yml

iTituspushed 1 commit to github-ci • 76b9875…d81d78f • 
on Nov 21, 2024

Try to install lein

iTituspushed 1 commit to github-ci • 2cf59ae…76b9875 • 
on Nov 21, 2024

Add matrix build for all os

iTituspushed 1 commit to github-ci • bf525fc…2cf59ae • 
on Nov 21, 2024

Create ci.yml

iTituspushed 1 commit to github-ci • 25a1a90…bf525fc • 
on Nov 21, 2024

Problem: parentheses are missing in Event-B print of nested and/or

iTituscreated github-ci • 25a1a90 • 
on Nov 21, 2024

Problem: parentheses are missing in Event-B print of nested and/or

iTituspushed 89 commits to master • 96ec851…25a1a90 • 
on Nov 21, 2024

Deleted branch

iTitusdeleted parser-update-2 • 
on Nov 20, 2024

fix comprehension set bug

iTituscreated parser-update-2 • 2e50bb9 • 
on Nov 20, 2024

update docs

iTituspushed 1 commit to eventb-comprehension-set • 73ed841…9e9a980 • 
on Jul 8, 2024

update the included parser version

iTituspushed 1 commit to eventb-comprehension-set • d1dab29…73ed841 • 
on Jul 8, 2024

implement event b style comprehension set

iTituspushed 1 commit to eventb-comprehension-set • 086525e…d1dab29 • 
on Jun 21, 2024

Add lisb test-check generators (pkoerner#11)

iTituscreated eventb-comprehension-set • 086525e • 
on Jun 21, 2024

fix merge error

iTituspushed 1 commit to pragma • 4c47d1e…08a86de • 
on May 6, 2024

Merge remote-tracking branch 'origin/master' into pragma

iTituspushed 4 commits to pragma • ac4842e…4c47d1e • 
on May 6, 2024

Deleted branch

iTitusdeleted freetype-docs • 
on May 6, 2024

update clojure

iTituspushed 1 commit to freetype-docs • c1904e4…0ded21f • 
on May 6, 2024

Add freetype docs

iTituscreated freetype-docs • c1904e4 • 
on May 6, 2024

fix typo

iTituspushed 1 commit to pragma • 2c93453…ac4842e • 
on May 3, 2024

fix typo

iTituspushed 1 commit to pragma • 6a1c764…2c93453 • 
on May 3, 2024

Add support for label and expression predicates

iTituscreated pragma • 6a1c764 • 
on May 3, 2024

Deleted branch

iTitusdeleted fix-file-def • 
on Apr 29, 2024

Merge branch 'master' of github.com:pkoerner/lisb into fix-file-def

iTituspushed 7 commits to fix-file-def • b74fab2…fd11cf4 • 
on Apr 28, 2024

Merge branch 'fix-file-def' of https://github.com/iTitus/lisb into fi…

iTituspushed 3 commits to fix-file-def • 132693a…b74fab2 • 
on Apr 24, 2024

Add portal to gitignore

Force push
iTitusforce pushed to fix-file-def • b0d11f3…132693a • 
on Apr 24, 2024

Add portal to gitignore

iTituspushed 1 commit to fix-file-def • 19746cb…b0d11f3 • 
on Apr 20, 2024

Merge branch 'master' of github.com:pkoerner/lisb into fix-file-def

iTituspushed 6 commits to fix-file-def • 95da996…19746cb • 
on Apr 19, 2024

Fix file-definition AST generation

Force push
iTitusforce pushed to fix-file-def • 147678b…95da996 • 
on Apr 10, 2024