summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Force using .NET 4.0Gravatar Benjamin Barenblat2016-10-29
|
* Update debian/gbp.confGravatar Benjamin Barenblat2016-10-29
|
* Add Vcs-* URLs to debian/controlGravatar Benjamin Barenblat2016-10-29
|
* Update debian/changelogGravatar Benjamin Barenblat2016-10-29
|
* Merge branch 'dfsg_free'Gravatar Benjamin Barenblat2016-10-29
|\
| * Merge branch 'upstream' into dfsg_freedfsg_freeGravatar Benjamin Barenblat2016-10-29
| |\
| | * White space deltas. (I'm not sure why git thought I had changes in these ↵Gravatar Rustan Leino2016-08-17
| | | | | | | | | | | | files, but I suspect it has to do with line endings.)
| | * Merge pull request #35 from Checkmate50/masterGravatar RustanLeino2016-08-17
| | |\ | | | | | | | | Floating Point Support
| | * \ Merge pull request #42 from BarryBo/masterGravatar RustanLeino2016-08-15
| | |\ \ | | | | | | | | | | Fix deadlock in the new thread scheduler
| | | * | Fix deadlock in the new thread schedulerGravatar BarryBo2016-08-12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fix deadlock where a Boogie task schedules a task and waits on it. The .NET threadpool creates more threads than cores, up to a limit, which hides the issue. The new policy did not account for recursion and caused the newly-created tasks to wait forever for the earlier ones to complete.
| | * | | Merge pull request #41 from BarryBo/masterGravatar RustanLeino2016-08-01
| | |\| | | | | | | | | | | | Run Boogie code on threads with large stacks
| | | | * fixed an error where a -0 was not interpreted as a negative numberGravatar Checkmate502016-07-23
| | | | |
| | | * | Run Boogie code on threads with large stacksGravatar BarryBo2016-07-22
| | |/ / | | | | | | | | | | | | | | | | | | | | | | | | Replace TaskScheduler.Default by a custom TaskScheduler. The .Default uses threadpool threads whose stack size is controlled by the host EXE header. The new ThreadTaskScheduler give Boogie control over the stack size, and defaults to 16mb.
| | | * corrected minor error in testGravatar Checkmate502016-07-22
| | | |
| | | * fixed the syntax on former tests and added two fp constant translation testsGravatar Checkmate502016-07-22
| | | |
| | | * Removed automatic exponent shiftingGravatar Checkmate502016-07-22
| | | |
| | | * fixed an issue with parsing floating pointsGravatar Checkmate502016-07-19
| | | |
| | | * Modified the float tests to match the updated syntaxGravatar Checkmate502016-07-19
| | | |
| | | * fixed floatceiling functionGravatar Checkmate502016-07-19
| | | |
| | | * Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate502016-07-19
| | | |
| | * | updateGravatar Shaz Qadeer2016-07-19
| | | |
| | * | updateGravatar Shaz Qadeer2016-07-18
| | | |
| | | * Changed the syntax reading of the float typeGravatar Checkmate502016-07-16
| | | |
| | | * rebuilt scanner and parser via cocoGravatar Checkmate502016-07-16
| | | |
| | | * change to updateGravatar Checkmate502016-06-07
| | | |
| | | * removed an unnecessary type checking additionGravatar Checkmate502016-06-07
| | | |
| | | * fixed some merging issuesGravatar Checkmate502016-06-07
| | | |
| | | * resolving conflictsGravatar Checkmate502016-06-06
| | | |\ | | | |/ | | |/|
| | | * minor changesGravatar Checkmate502016-06-06
| | | |
| | | * Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
| | | |
| | | * spacing changeGravatar Checkmate502016-06-06
| | | |
| | | * removed an unnecessary text fileGravatar Checkmate502016-06-06
| | | |
| | | * Polished up the floats test folder. Preparing to rebaseGravatar Checkmate502016-06-06
| | | |
| | | * finished testing, fixed several minor compiler bugsGravatar Checkmate502016-06-06
| | | |
* | | | Release for unstable2.3.0.61016+dfsg+2.gbp4108246-1Gravatar Benjamin Barenblat2016-06-05
| | | |
* | | | Update man pagesGravatar Benjamin Barenblat2016-06-05
| | | | | | | | | | | | | | | | Add a couple of overlooked options to boogie.1 along the way.
* | | | Update debian/gbp.confGravatar Benjamin Barenblat2016-06-05
| | | |
* | | | Update debian/controlGravatar Benjamin Barenblat2016-06-05
| | | |
* | | | Update debian/changelogGravatar Benjamin Barenblat2016-06-05
| | | |
* | | | Merge branch 'dfsg_free'Gravatar Benjamin Barenblat2016-06-05
|\| | |
| * | | Merge branch 'upstream' into dfsg_freeGravatar Benjamin Barenblat2016-06-05
| |\ \ \
| | | | * moved all the tests to the testing folderGravatar Checkmate502016-05-31
| | | | |
| | | | * Initial round of testing works with new syntax. Fixed an error where ↵Gravatar Checkmate502016-05-31
| | | | | | | | | | | | | | | | | | | | floating points could not be given as a function argument
| | | * | Add links to new documentation (not yet complete).Gravatar Dan Liew2016-04-20
| | | | |
| | | * | Rename DLLs to non-generic names by prefixing "Boogie". Project names andGravatar akashlal2016-04-15
| | |/ / | | | | | | | | | | | | namespaces remain the same.
* | | | Add gbp.confGravatar Benjamin Barenblat2016-04-01
| | | |
* | | | Move release to unstableGravatar Benjamin Barenblat2016-04-01
| | | |
* | | | Package Boogie programs for experimentalGravatar Benjamin Barenblat2016-04-01
| | | |
* | | | Package Boogie library for experimentalGravatar Benjamin Barenblat2016-04-01
|/ / /
* | | Make DFSG-cleanGravatar Benjamin Barenblat2016-03-31
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-27 10:35:18 +0000