-
Notifications
You must be signed in to change notification settings - Fork 10
Pull requests: HarvardPL/formulog
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump rexml from 3.3.7 to 3.3.9 in /docs
dependencies
Pull requests that update a dependency file
ruby
Pull requests that update Ruby code
#96
by dependabot
bot
was merged Oct 28, 2024
Bump google-protobuf from 4.28.1 to 4.28.2 in /docs
dependencies
Pull requests that update a dependency file
ruby
Pull requests that update Ruby code
#91
by dependabot
bot
was merged Oct 17, 2024
Loading…
Bump webrick from 1.8.1 to 1.8.2 in /docs
dependencies
Pull requests that update a dependency file
ruby
Pull requests that update Ruby code
#90
by dependabot
bot
was merged Oct 17, 2024
Loading…
Better error reporting for type arity mismatch.
#86
by aaronbembenek
was merged Sep 2, 2024
Loading…
Update to match "Making Formulog Fast" artifact
#83
by aaronbembenek
was merged Aug 27, 2024
Loading…
Fix lexing of arithmetic expressions without spaces
#81
by aaronbembenek
was merged Aug 16, 2024
Loading…
Distinguish between solver var IDs and term IDs.
#75
by aaronbembenek
was merged Aug 21, 2023
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.