summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* treewide: remove redundant recvolth2019-08-28
* Merge staging-next into stagingFrederik Rietdijk2019-08-28
|\
| * Merge master into staging-nextFrederik Rietdijk2019-08-27
| |\
| | * stp: 2.2.0 -> 2.3.3Jonathan Ringer2019-08-26
| | * vampire: 4.2.2 -> 4.4Gabriel Ebner2019-08-25
| * | Merge branch 'master' into staging-nextVladimír Čunát2019-08-24
| |\|
| | * symbiyosys: extend platformsEmily2019-08-23
* | | treewide: remove redundant quotesvolth2019-08-26
|/ /
* | Merge master into staging-nextFrederik Rietdijk2019-08-18
|\|
| * Merge #65948: tlaplusToolbox: 1.5.7 -> 1.6.0Vladimír Čunát2019-08-18
| |\
| | * tla+ toolbox: 1.5.7 -> 1.6.0Badi Abdul-Wahid2019-08-04
| * | symbiyosys: 2019.04.18 -> 2019.08.13Emily2019-08-14
| |/
* | treewide: name -> pnamevolth2019-08-17
* | treewide: name -> pname (easy cases) (#66585)volth2019-08-15
|/
* framac: 18 -> 19 and update why3Jake Waksbaum2019-08-03
* Merge master into stagingOrivej Desh2019-07-25
|\
| * cryptoverif: 2.01 -> 2.01pl1R. RyanTM2019-07-23
* | gdk-pixbuf: rename from gdk_pixbufworldofpeace2019-07-22
|/
* coq: 8.10+beta1 -> 8.10+beta2Théo Zimmermann2019-07-14
* treewide: fix redirect URLsRyan Mulligan2019-07-10
* fast-downward: init at 2019-05-13Nikolay Amiantov2019-06-24
* gappa: 1.2 -> 1.3.5Vincent Laporte2019-06-19
* treewide: remove unused variables (#63177)volth2019-06-16
* z3: 4.8.4 -> 4.8.5Will Dietz2019-06-10
* cryptoverif: 2.00 -> 2.01R. RyanTM2019-06-01
* treewide: update cargoSha256 hashes for cargo-vendor upgradeAlyssa Ross2019-06-01
* coq_8_9: 8.9.0 -> 8.9.1Vincent Laporte2019-05-29
* several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen2019-05-21
* coq: init at 8.10+β1Vincent Laporte2019-05-15
* coq: make “coq-version” more generalVincent Laporte2019-05-15
* symbiyosys: fix path to bashSebastien Bourdeauducq2019-05-12
* tptp: switch to new base URL for source tarballMichael Raskin2019-05-09
* vampire: switch off the fragile fetchSubmodules/leaveDotGitMichael Raskin2019-05-09
* cedille: fix hashMario Rodas2019-05-05
* eprover: 2.2 -> 2.3R. RyanTM2019-04-30
* cedille: 1.0.0 -> 1.1.1 (#60307)Mario Rodas2019-04-29
* Merge pull request #60010 from JohnAZoidberg/https-urlsmarkuskowa2019-04-22
|\
| * treewide: Change URLs to HTTPSDaniel Schaefer2019-04-22
* | symbiyosys: 2019.03.28 -> 2019.04.18Austin Seipp2019-04-22
|/
* petrinizer: init at 0.9.1.1Michael Raskin2019-04-16
* symbiyosys: 2018.12.09 -> 2019.03.28Austin Seipp2019-04-15
* hol_light: 2018-09-30 -> 2019-03-27Vincent Laporte2019-04-06
* elan: 0.7.4 -> 0.7.5Gabriel Ebner2019-03-22
* elan: 0.7.2 -> 0.7.4Gabriel Ebner2019-03-20
* isabelle: refactorGabriel Ebner2019-03-14
* isabelle: 2017 -> 2018Gabriel Ebner2019-03-12
* sad: Fix buildSilvan Mosberger2019-03-09
* cryptominisat: 5.6.6 -> 5.6.8R. RyanTM2019-03-01
* Merge pull request #56408 from Mic92/runtime-shellJohn Ericson2019-02-26
|\
| * treewide: use runtimeShell instead of stdenv.shell whenever possibleJörg Thalheim2019-02-26
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-26 16:13:30 +0000