Skip to content

Activity

Showing most recent first

Add a Snapcraft Build and Snap Install Instructions (#1639)

Pull request merge
vkuncakpushed 1 commit to main • 5ca2042…8fdc241 • 
on Jan 28

Remove useless old larabot file (#1634)

Pull request merge
samuelchassotpushed 1 commit to main • dc80458…5ca2042 • 
on Jan 24

Add AUR package reference and instructions (#1637)

Pull request merge
vkuncakpushed 1 commit to main • 5181f09…dc80458 • 
on Jan 24

Add Exists quantifier (axiomatized). Rename library to Quantifiers. (#…

sankalpgambhircreated deb-packaging • 5181f09 • 
on Jan 23

Add Exists quantifier (axiomatized). Rename library to Quantifiers. (#…

Pull request merge
vkuncakpushed 1 commit to main • 0dde875…5181f09 • 
on Jan 21

illustrated how to using and witnesses to prove universally quantifie…

vkuncakpushed 1 commit to vk/quantifiers • f66d394…a7a2b86 • 
on Jan 21

Updated libfiles to reflect renaming of lang/Forall.scala to lang/Qua…

vkuncakpushed 1 commit to vk/quantifiers • 84d9c45…f66d394 • 
on Jan 21

Add Exists quantifier (axiomatized). Rename library to Quantifiers.

vkuncakcreated vk/quantifiers • 84d9c45 • 
on Jan 21

Deleted branch

samuelchassotdeleted sam/debugCI • 
on Jan 15

Update inox (#1632)

Pull request merge
vkuncakpushed 1 commit to main • 233cdcd…0dde875 • 
on Jan 14

Tail recursion elimination for GenC (#1275) (#1626)

Pull request merge
vkuncakpushed 1 commit to main • c92fee2…233cdcd • 
on Jan 10

Add support for pattern alternatives (#1627)

Pull request merge
vkuncakpushed 1 commit to main • 8060b33…c92fee2 • 
on Jan 10

Ignore recently failing Princess tests (#1629)

Pull request merge
samuelchassotpushed 1 commit to main • 88e4de5…8060b33 • 
on Jan 10

Update README.md: lecture for 2nd year course

vkuncakpushed 1 commit to main • d1e4909…88e4de5 • 
on Dec 13, 2024

Remove Callback.failed (#1619)

Pull request merge
vkuncakpushed 1 commit to main • f341bcf…d1e4909 • 
on Dec 13, 2024

Update nightly to mirror ci (#1623)

Pull request merge
vkuncakpushed 1 commit to main • b1b106f…f341bcf • 
on Dec 11, 2024

Add support for extracting from Tasty (#1606)

Pull request merge
vkuncakpushed 1 commit to main • dae4288…b1b106f • 
on Dec 11, 2024

Fix path issues in stainless-CI.yml and stainless-ci.sh (#1622)

Pull request merge
vkuncakpushed 1 commit to main • 269b00d…dae4288 • 
on Dec 11, 2024

Fix LibrarySuite test

Force push
mbovelforce pushed to mb/separate-compilation • 8bf5f37…cf78885 • 
on Dec 11, 2024

Fix LibrarySuite test

Force push
mbovelforce pushed to mb/separate-compilation • 24d5f8b…8bf5f37 • 
on Dec 11, 2024

Fix LibrarySuite test

Force push
mbovelforce pushed to mb/separate-compilation • fd1a5bd…24d5f8b • 
on Dec 11, 2024

remove print that was causing errors

samuelchassotpushed 1 commit to sam/debugCI • 9a38f4f…ca02f1d • 
on Dec 11, 2024

add rm folder

samuelchassotpushed 1 commit to sam/debugCI • 4a37dbf…9a38f4f • 
on Dec 11, 2024

better temp

samuelchassotpushed 1 commit to sam/debugCI • ce6ac8b…4a37dbf • 
on Dec 11, 2024

temporary fix , with one temp folder per CI, which is cleaned up anyway

samuelchassotpushed 1 commit to sam/debugCI • d89c72a…ce6ac8b • 
on Dec 11, 2024

trying to reduce path

samuelchassotpushed 1 commit to sam/debugCI • ee92cbf…d89c72a • 
on Dec 11, 2024

debug

samuelchassotpushed 1 commit to sam/debugCI • cc07f80…ee92cbf • 
on Dec 11, 2024

debug

samuelchassotpushed 1 commit to sam/debugCI • db4d3f2…cc07f80 • 
on Dec 11, 2024

change permission of temp folder

samuelchassotpushed 1 commit to sam/debugCI • 17b8473…db4d3f2 • 
on Dec 11, 2024

print in tests

samuelchassotpushed 1 commit to sam/debugCI • 12abf38…17b8473 • 
on Dec 11, 2024